Modelling and validating a multiple-configuration railway signalling system using SDL

Electronic Notes in Theoretical Computer Science

Volumn 82, Issue 6, 2003, Pages 66-76

  Fantechi, Alessandro ^a   Spinicci, Emilio ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CODES (SYMBOLS); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE SELECTION AND EVALUATION; LIFE CYCLE; SIGNALING; SPECIFICATIONS;

CONTROL SOFTWARE; MULTIPLE-CONFIGUATION TECHNIQUES; SDL; VERIFICATION TECHNIQUES;

RAILROAD SIGNAL SYSTEMS;

EID: 15744390152     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)81026-0     Document Type: Conference Paper

References (8)

1. ITU-T, Recommendation Z.100 - Specification and Description Language (SDL). Geneva, 1992.
2. ITU-T, Recommendation Z.120 - Message Sequence Charts (MSC. Geneva, 1999.
3. S. Bacherini, S. Bianchi, L. Capecchi, C. Becheri, A. Felleca, A. Fantechi, E. Spinicci, Modelling a railway signialling system using SDL. Submitted for publication.
4. CENELEC EN 50128, Railway Applicatins - Software for Railway Control and Protection Systems. European Committee for Electrotechnical Standardization, June 1997.
5. J. Bohn, W. Damm, H. Wittke, J. Klose, A. Moik, Modeling and Validating Train System Applications Using Statemate and Live Sequence Charts. Integrated Design and Process Technology, IDPT-2002, United States of America, June 2002.
6. Da Silva C., Dehbonie B., Mejia F. Formal Specification in the Development of Industrial Applications: Subway Speed Control System. Diaz M., Groz R. Formal Description Techniques, V (C-10). 1993;Elsevier Science Publishers B. V, North-Holland
7. B. Dehbonie, F. Mejia, Formal Methods in the Railways Signalling Industry. Proceedings of FME'94, LNCS 873, 1994. pp. 26-34.
8. A. Cimatti, P. Pieraccini, R. Sebastiani, P. Traverso, A. Villafiorita, Formal specification and validation of a vital protocol. Proceedings of FM'99, Toulouse, France, September 1999. LNCS 1709, Springer-Verlag.