Formal specification and development of a safety-critical train management system

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

Volumn 1698, Issue , 1999, Pages 410-419

  Chiappini, A ^a   Cimatti, A ^b   Porzia, C ^a   Rotondo, G ^a   Sebastiani, R ^b   Traverso, P ^b   Villafiorita, A ^b  

^a ANSALDO ENERGIA   (Italy)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COST EFFECTIVENESS; INTEROPERABILITY; RADIO COMMUNICATION; RAILROAD TRAFFIC CONTROL; SAFETY ENGINEERING;

DEVELOPMENT PROCESS; EUROPEAN RAIL TRAFFIC MANAGEMENT SYSTEMS; EUROPEAN STANDARDS; INTERLOCKING SYSTEMS; INTEROPERABILITY REQUIREMENTS; LARGE-SCALE AND COMPLEX SYSTEMS; RADIO BLOCK CENTERS; TRAIN MANAGEMENT SYSTEMS;

FORMAL SPECIFICATION;

EID: 22844455138     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48249-0_35     Document Type: Conference Paper

References (7)

1. A. Chiappini, A. Cimatti, F. Giunchiglia, G. Rotondo, R. Sebastiani, P. Traverso, and A. Villafiorita. Formal Specification of the Radio Block Centre (RBC): First Part. RBC I: Ansaldo-IRST Project Report, December 1998.
2. EEIG-ERTMS Users Group, 25 Avenue De Beaulieu 1160 Brussels, Belgium. Scenarios.
3. EEIG-ERTMS Users Group, 25 Avenue De Beaulieu 1160 Brussels, Belgium. System RequirementsSpecification.
4. David Harel. Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming, 8(3): 231-274, June 1987.
5. ITU-T. CCITTspecification and description language (SDL), March 1993. ITU-T Recommendation Z. 100.
6. ITU-T. Message Sequence Chart (MSC), October 1996. ITU-T Recommendation Z. 120.
7. VERILOG. ObjectGeode Documentation. Available at www. verilogusa. com.