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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formal specifications of railway signalling systems using Stateflow


    Additional title:

    Formale Spezifikationen für das Eisenbahn-Signalsystem unter Verwendung von Stateflow


    Contributors:
    Bacherini, S. (author) / Fantechi, A. (author) / Tempestini, M. (author) / Zingoni, N. (author)


    Publication date :

    2007


    Size :

    8 Seiten, 6 Bilder, 3 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Automatic validation of Simulink/Stateflow models - formal verification of functional requirements

    Bienmueller,T. / Brockmeyer,U. / Sandmann,G. et al. | Automotive engineering | 2005


    Formal methods for railway signalling

    Cullyer, W.J. / Wise, J.W. | Tema Archive | 1989


    Introduction to Stateflow

    Colgren, Richard | AIAA | 2007


    A formal approach to railway signalling

    Cullyer, W.J. / Wong, W. | Tema Archive | 1990


    Application of Formal Methods to the Railway Signalling Systems

    Terada, N. / Fukuda, M. | British Library Online Contents | 2002