Model checking safety critical software with SPIN: An application to a railway interlocking system

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

Volumn 1516, Issue , 1998, Pages 284-293

  Cimatti, Alessandro ^a   Giunchiglia, Fausto ^a   Mongardi, Giorgio ^b   Romano, Dario ^c   Torielli, Fernando ^b   Traverso, Paolo ^a  

^a ITC IRST   (Italy)

^b ANSALDO ENERGIA   (Italy)

^c NONE

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; COMPUTER CIRCUITS; EXPLOSIONS; FORMAL VERIFICATION; INTERLOCKING SIGNALS; RAILROADS; SAFETY DEVICES;

AUTOMATED VERIFICATION; CONTROL STATION; INTERLOCKING SYSTEMS; PROCESS CONFIGURATION; RAILWAY INTERLOCKING SYSTEM; RAILWAY STATIONS; SAFETY CRITICAL SOFTWARE; STATE EXPLOSION PROBLEMS;

MODEL CHECKING;

EID: 79951703941     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49646-7_22     Document Type: Conference Paper

References (4)

1. A. Cimatti, E. Clarke, F. Giunchiglia, and M. Roveri. NuSmv: a reimplementation of smv. In Proceeding of the International Workshop on Software Tools for Technology Transfer (STTT-98), pages 25-31, Aalborg, Denmark, 1998. BRICS Notes Series, NS98-4. Also IRST-Technical Report 9801-06, Trento, Italy.
2. A. Cimatti, F. Giunchiglia, G. Mongardi, B. Pietra, D. Romano, F. Torielli, and P. Traverso. Formal Validation of an Interlocking System for Large Railway Stations: A Case Study. Confidential IRST Technical Report, 1996.
3. G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
4. G. Mongardi. Dependable Computing for Railway Control Systems. In Proceedings of the Working Conference on Dependable Computing for Critical Applications, pages 255-273. IFIP Working Group, 1992.