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.
SACEM software validation
Die Validierung der SACEM-Software
1990
6 Seiten
Aufsatz (Konferenz)
Englisch
British Library Conference Proceedings | 2004
|Software Validation Facilities
British Library Online Contents | 1997
|Software Validation Facilities
British Library Conference Proceedings | 1997
|Software Validation Facilities
British Library Conference Proceedings | 2011
|Assistance in Software Validation
British Library Online Contents | 1998
|