Modelling and verification of interlocking systems for railway lines

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 36, Issue 14, 2003, Pages 233-238

  Gjaldbaek, Torben ^a   Haxthausen, Anne E ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

Formal methods; Interlocking systems.; Railways; RAISE; Safety; Verification

Indexed keywords

ACCIDENT PREVENTION; FORMAL METHODS; FORMAL VERIFICATION; RAILROADS; SAFETY DEVICES; VERIFICATION;

FORMAL MODEL; HIGH LEVEL OF ABSTRACTION; INTERLOCKING SYSTEMS; PHYSICAL SYSTEMS; RAILWAYS; RAISE; SAFETY REQUIREMENTS; STATIC PROPERTIES;

INTERLOCKING SIGNALS;

EID: 84855632333     PISSN: 14746670     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1016/S1474-6670(17)32425-4     Document Type: Conference Paper

References (9)

1. Bjorner, D. (2003). New results and trends in formal techniques for the development of software for transportation systems. In: FORMS2003: Symposium on Formal Methods for Railway Operation and Control Systems 2003 (G. Tarnai and E. Schnieder, Eds.).
2. Bjorner, D., C.W. George, B. Stig Hansen, H. Laustrup and S. Prehn (1997). A railway system, coordination'97, case study workshop example.. Technical Report 93. UNUlUST. P.O.Box 3058, Macau.
3. Gjaldbrek, T. (2002). Modelling railway interlocking systems. Master's thesis. Informatics and Mathematical Modelling, Technical University of Denmark, DTU. Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby.
4. Hansen, K. Mark (1998). Formalising railway interlocking systems. In: Proceedings of Second FMERail Workshop.
5. Haxthausen, A. and J. Peleska (2000). Formal development and verification of a distributed railway control system. In: IEEE Transaction of Software Engineering. Vol. 26. pp. 687 - 701.
6. Lindegaard, M.P., P. Viuf and A. Haxthausen (2000). Modelling railway interlocking systems. In: Proceedings of the 9th IFAC Symposium on Control in Transportation Systems 2000 (E. Schnieder and U. Becker, Eds.). pp. 211 - 217.
7. RAISE Language Group, The (1992). The RAISE Specification Language. The BCS Practitioners Series. Prentice Hall Int.
8. RAISE Method Group, The (1995). The RAISE Development Method. The BCS Practitioners Series. Prentice Hall Int.
9. zu Horste, M. Meyer and E. Schnieder (2002). Petri net based formalisation of generic functions for railway operation control systems. In: In Proceedings of the Sixth Biennial World Conference on Integrated Design and Process Technology, IDPT2002. Pasadena, California.