Geographical versus functional modelling by statecharts of interlocking systems

Electronic Notes in Theoretical Computer Science

Volumn 133, Issue , 2005, Pages 3-19

  Banci, Michele ^a   Fantechi, Alessandro ^b  

^a ISTI CNR   (Italy)

^b UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Formal specification; Interlocking; Railway signalling; Safety critical systems; Statecharts; Validation

Indexed keywords

ACCIDENT PREVENTION; DATABASE SYSTEMS; RAILROAD ACCIDENTS; RAILROAD TRACKS; SAFETY FACTOR; SECURITY SYSTEMS; SIGNALING; SOFTWARE ENGINEERING;

FORMAL SPECIFICATION; INTERLOCKING; RAILWAY SIGNALING; SAFETY-CRITICAL SYSTEMS; STATECHARTS;

INTERLOCKING SIGNALS;

EID: 18544379916     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.08.055     Document Type: Conference Paper

References (18)

1. S. Bacherini, S. Bianchi, L. Capecchi, A. Felleca, A. Fantechi, E. Spinicci, Modelling a railway signalling system using SDL, Symposium on Formal Methods for Railway Operation and Control Systems, (FORMS 2003), Budapest, Hungary, 15-16 May 2003
2. J. Berger, P. Middelraad, and A.J. Smith. EURIS, The European railway interlocking specification. UIC, Commission 7A/16, 1992. In IRSE Proceedings 1992/93, pages 70-82, 1993
3. A. Cimatti, F. Giunchiglia, G. Mongardi, D. Romano, F. Torielli, and P. Traverso Formal Verification of a Railway Interlocking System using Model Checking Formal Aspects of Computing Vol. 10 1998 361 380
4. P.E. Debarbieri, F. Valdambrini, E. Antonelli. A.C.E.I. Telecomandati per linee a semplice binario, schemi I-0/19. CIFI Collana di testi per la preparazione agli esami di abilitazione, Quaderno 12, 1987
5. European Committee for Electrotechnical Standardization, 2001, EN 50128, Railway applications Communications, signaling and processing systems Software for railway control and protection systems
6. W.J. Fokkink, P.R. Hollingshead, Verification of Interlockings: from Control Tables to Ladder Logic Diagrams, Proceedings of the 3rd Workshop on Formal Methods for Industrial Critical Systems - FMICS'98
7. U. Foschi, M. Giuliani, A. Morzenti, M. Pradella, P. San Pietro, The role of formal methods in software procurement for the railway transportation industry, Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003), Budapest, Hungary, 15-16 May 2003
8. B. Fringuelli, E. Lamma, P. Mello, and G. Santocchia Knowledge-Based Technology for Controlling Railway Stations IEEE Intelligent Systems 7 6 Dec. 1992 45 52
9. D. Harel Statecharts: A Visual Formalism for Complex Systems Sci. Comput. Programming 8 1987 231 274
10. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot STATEMATE: A Working Environment for the Development of Complex Reactive Systems IEEE Transactions on Software Engineering 16 4 April 1990 403 414
11. D. Harel, A. Pnueli, J. Schmidt and R. Sherman. On the Formal Semantics of Statecharts, Proc. 2nd IEEE Symp. on Logic in Computer Science, Ithaca, NY, 1987, pp. 54-64
12. D. Harel, and M. Politi Modeling Reactive Systems with Statecharts: The STATEMATE Approach 1998 McGraw-Hill (Early version titled: The Languages of STATEMATE, I-Logix, Inc., Andover, MA, 1991)
13. J. Klose, and W. Damm Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment Formal Methods in System Design 19 2 2001
14. G. Kolk Formal methods: Possibilities and difficulties in a railway environment from a user perspective Proceedings of the Third International Workshop on Formal Methods for Industrial Critical Systems May 25-26, 1998 1998
15. Niklaus H. Köenig, Stefan Einer, The Euro-Interlocking Formalized Functional Requirements Approach (EIFFRA) Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003), Budapest, Hungary 15-16 May 2003
16. Object Management Group Unified Modeling Language Specification, Version 1.5 http://www.omg.org/technology/documents/formal/uml.htm 1999
17. Statemate Magnum Simulation Reference Manual 2003 I-Logix Inc. Burlington, MA USA
18. Fokko van Dijk, Wan Fokkink, Gea Kolk, Paul van de Ven, and Bas van Vlijmen EURIS, a Specification Method for Distributed Interlockings Lecture Notes in Computer Science vol. 1516 1998