Dependable Software in Railway Signaling
| Authors: | Johnson Timothy, GE Global Research, United States
Sutherland Hunt A., GE Global Research, United States
Ingleston Bart, GE Global Research, United States
Krogh Bruce H., Carnegie Mellon University, United States |
|---|
| Topic: | 5.1 Manufacturing Plant Control |
|---|
| Session: | Dependable Manufacturing Systems Control I |
|---|
| Keywords: | Railways, formal verification, safety analysis, signals, software safety. |
|---|
Abstract
Abstract: Railway signalling software and safety requirements are summarized, and three short examples of the application of new methods to the assurance of dependability are provided. The strengths and shortcomings of existing methods relative to application needs are illustrated. The analogy between railway signalling and other distribution processes in manufacturing and supply chain management is noted.
