The development of computer controlled Railway Interlocking Systems (RIS) has seen an increasing interest in the use of Formal Methods, due to their ability to precisely specify the logical rules that guarantee the safe establishment of routes for trains through a railway yard. Recently, a trend has emerged about the use of statecharts as a standard formalism to produce precise specifications of RIS. This paper describes an experience in modelling a railway interlocking system using statecharts. The study has addressed the problem from a 'geographical', distributed, point of view: that is, the model is composed by models of single physical entities (points, signals, etc..) that collectively implement the interlocking rules, without any centralized database of rules, which is on the other hand a typical way of implementing such a system (what the author call 'functional' approach). One of the main aims of the approach, is to verify its ability to reduce revalidation efforts in the case of physical modifications to the yard; it will be shown how the geographical approach may reduce this effort by requiring only the revalidation of those software modules that are actually affected by the changes.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Geographical vs. functional modelling by statecharts of interlocking systems


    Additional title:

    Vergleich der geografischen mit der funktionalen Abbildung des Zustand in gegeneinander verriegelten Bahnsystemen


    Contributors:


    Publication date :

    2004


    Size :

    16 Seiten, 8 Bilder, 1 Tabelle, 18 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Efficient Data Validation for Geographical Interlocking Systems

    Peleska, Jan / Krafczyk, Niklas / Haxthausen, Anne E. et al. | British Library Conference Proceedings | 2019


    Modelling Railway Interlocking Systems

    Lindegaard, M. P. / Viuf, P. / Haxthausen, A. E. et al. | British Library Conference Proceedings | 2001


    A supervisor of traffic light systems using statecharts

    Huang, Yi-Sheng / Lee, Shung-Shing / Liu, Yung-Kuer | Tema Archive | 2007


    COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY

    Ingram, S. / Hossain, M. A. / Cox, S. et al. | British Library Conference Proceedings | 2005


    Formal modeling and analysis of UML statecharts

    Shuzhen, Y. / Maozhong, J. | British Library Online Contents | 2007