Modelling and verification of relay interlocking systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6028 LNCS, Issue , 2010, Pages 141-153

  Haxthausen, Anne E ^a   Le Bliguet, Marie ^a   Kjaer, Andreas A ^a  

^a TECHNICAL UNIVERSITY OF DENMARK   (Denmark)

Author keywords

[No Author keywords available]

Indexed keywords

CIRCUIT DIAGRAMS; DENMARK; DYNAMIC BEHAVIOURS; INTERLOCKING SYSTEMS; LTL FORMULAE; RELAY SYSTEM; SAFETY PROPERTY; STATE TRANSITION SYSTEMS;

MODEL CHECKING; SAFETY DEVICES;

MATHEMATICAL MODELS;

EID: 78651287979     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-12566-9_8     Document Type: Conference Paper

References (13)

1. Symbolic Analysis Laboratory, SAL (2001), http://sal.csl.sri.com
2. Bjørner, D.: New Results and Current Trends in Formal Techniques for the Development of Software for Transportation Systems. In: Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003), Budapest/Hungary, May 15-16. L'Harmattan Hongrie (2003)
3. Le Bliguet, M., Kjaer, A.A.: Modelling Interlocking Systems for Railway Stations. Technical Report IMM-M.Sc.-2008-68, Informatics and Mathematical Modelling, Technical University of Denmark, Richard Petersens Plads, Building 321, DK-2800 Kgs. Lyngby, Master thesis supervised by Anne Haxthausen (2008)
4. de Moura, L., Owre, S., Shankar, N.: The SAL Language Manual. Technical Report SRI-CSL-01-02, SRI International (2003), http://sal.csl.sri.com
5. Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westk̈amper, E. (eds.): INT 2004. LNCS, vol. 3147, pp. 1-8. Springer, Heidelberg (2004)
6. Gjaldbæk, T., Haxthausen, A.E.: Modelling and Verification of Interlocking Systems for Railway Lines. In: Proceedings of the 10th IFAC Symposium on Control in Transportation Systems. Elsevier Science Ltd., Oxford (2003)
7. Lindegaard, M.P., Viuf, P., Haxthausen, A.E.: Modelling Railway Interlocking Systems. In: Proceedings of the 9th IFAC Symposium on Control in Transportation Systems 2000, Braunschweig, Germany, June 13-15, pp. 211-217 (2000)
8. Perna, J.I., George, C.: Model checking RAISE specifications. Technical Report 331, UNU-IIST, P.O.Box 3058, Macau (November 2006)
9. Perna, J.I., George, C.: Model Checking RAISE Applicative Specifications. In: Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods, pp. 257-268. IEEE Computer Society Press, Los Alamitos (2007)
10. The RAISE Language Group. The RAISE specification Language. The BCS Practitioners Series. Prentice Hall Int., Reading (1992)
11. Schnieder, E., Tarnai, G. (eds.): Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004), Braunschweig, Germany. Technical University of Braunschweig (December 2004)
12. Schnieder, E., Tarnai, G. (eds.): Proceedings of Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2007), Braunschweig, Germany. GZVB e.V (2007) ISBN 13:978-3-937655-09-3
13. Tarnai, G., Schnieder, E. (eds.): Proceedings of the Symposium on Formal Methods for Railway Operation and Control Systems (FORMS 2003), Budapest. L'Harmattan Hongrie (2003)