This paper reports about the introduction of formal methods in the development process of a railway signalling manufacturer. In particular, two aspects that have benefited of the introduction of formal specification tools are discussed, as the safety analysis of the possible faults of the hardware elements of the developed system, by means of simulation of the countermeasures adopted, and the assurance of consistency of rapidly changing requirements for a completely new system. The next steps of the introduction of formal methods, namely formal verification and code generation, are also discussed.
Formal specifications of railway signalling systems using Stateflow
Formale Spezifikationen für das Eisenbahn-Signalsystem unter Verwendung von Stateflow
2007
8 Seiten, 6 Bilder, 3 Quellen
Conference paper
English
Automatic validation of Simulink/Stateflow models - formal verification of functional requirements
Automotive engineering | 2005
|Formal methods for railway signalling
Tema Archive | 1989
|AIAA | 2007
|A formal approach to railway signalling
Tema Archive | 1990
|Application of Formal Methods to the Railway Signalling Systems
British Library Online Contents | 2002
|