Title :
INRETS experience of the highly critical software validation of the MAGGALY subway
Author :
Stuparu, A. ; Ozello, P. ; Baranowski, F.
Author_Institution :
Inst. Nat. de Recherche sur les Transports et leur Securite, Arcueil, France
Abstract :
This document deals with an original process which was devised in order to validate critical software for the recent automatic driverless subway called MAGGALY. This validation was performed by a committee of experts. We present the INRETS´ main activities in connection with software validation as one of the TEST COMMITTEE members and in particular our original contribution which consisted of the development of an automatic checker
Keywords :
railways; INRETS; MAGGALY subway; automatic checker; automatic driverless subway; automatic train protection systems; highly critical software validation; software validation; Automatic control; Control systems; Coupling circuits; Driver circuits; Protection; Railway safety; Target tracking; Testing; Tracking loops; Transportation;
Conference_Titel :
Software Reliability Engineering, 1993. Proceedings., Fourth International Symposium on
Conference_Location :
Denver, CO
Print_ISBN :
0-8186-4010-3
DOI :
10.1109/ISSRE.1993.624270
