Validation Coverage for a Component-based SDL model of a Railway Signaling System

Electronic Notes in Theoretical Computer Science

Volumn 116, Issue SPEC.ISS., 2005, Pages 99-111

  Banci, M ^a   Becucci, M ^a   Fantechi, A ^a   Spinicci, E ^a  

^a UNIVERSITY OF FLORENCE   (Italy)

Author keywords

Component based SDL model; MSC scenario; Railway signaling; Validation

Indexed keywords

C (PROGRAMMING LANGUAGE); CODES (SYMBOLS); COMPUTER SIMULATION; MATHEMATICAL MODELS; SEMANTICS; SENSORS;

COMPONENT-BASED SDL MODELS; MSC SCENARIO; RAILWAY SIGNALING; VALIDATION;

RAILROAD SIGNAL SYSTEMS;

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

References (10)

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. D. Harel Statecharts: A visual formalism for complex systems Science of Computer Programming 8 1987 231 274
4. S. Bacherini, S. Bianchi, L. Capecchi, C. Becheri, A. Felleca, A. Fantechi, E. Spinicci, Modelling a railway signalling system using SDL. Proceedings of FORMS 2003 International Symposium on Formal Methods for Railway Operation and Control Systems, Budapest, May 2003
5. A. Fantechi, E. Spinicci, Modelling and Validating a Multiple- configuration railway signalling system using SDL. Proceedings of TACoS 2003 International Workshop on Test and Analysis of Component Based Systems, Warsaw, April 2003
6. 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
7. A. Cimatti, P. Pieraccini, R. Sebastiani, P. Traverso, and A. Villafiorita Formal specification and validation of a vital protocol Proceedings of FM'99, Toulouse, France LNCS 1709 September 1999 Springer-Verlag
8. Telelogic TAU 4.4 User's manual Telelogic AB www.telelogic.com
9. G.J. Holzmann Design and Validation of Computer Protocols 1990 Prentice-Hall
10. G. J. Holzmann Validating SDL Specification: an Experiment. Proceedings of the 9th International Workshop on Protocol Specification, Testing and Verification, Twente University, The Netherlands, June 1989