Title :
SACEM software validation
Author :
Guiho, Gérard ; Hennebert, Claude
Author_Institution :
GEC Alsthom, St. Ouen, France
Abstract :
The authors report on the software validation process for SACEM, a partly embedded system (hard and soft) which continuously controls the speed of all trains on the RER Line A in Paris. Modern techniques have been used for validation, including formal specification, assertions, and formal proofs. About 100 man-years have been spent in validating the software. The authors conclude that a safe system has been realized and that all the formal work was useful, essentially to make the specifications more precise
Keywords :
program verification; railways; SACEM software validation; assertions; formal proofs; formal specification; partly embedded system; train speed control; Application software; Communication system signaling; Control systems; Embedded software; Embedded system; Formal specifications; Railway safety; Safety devices; Software safety; Software systems; Switches;
Conference_Titel :
Software Engineering, 1990. Proceedings., 12th International Conference on
Conference_Location :
Nice
Print_ISBN :
0-8186-2026-9
DOI :
10.1109/ICSE.1990.63621
