DocumentCode
2341611
Title
SACEM software validation
Author
Guiho, Gérard ; Hennebert, Claude
Author_Institution
GEC Alsthom, St. Ouen, France
fYear
1990
fDate
26-30 Mar 1990
Firstpage
186
Lastpage
191
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering, 1990. Proceedings., 12th International Conference on
Conference_Location
Nice
Print_ISBN
0-8186-2026-9
Type
conf
DOI
10.1109/ICSE.1990.63621
Filename
63621
Link To Document