DocumentCode
2646073
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
fYear
1993
fDate
3-6 Nov 1993
Firstpage
15
Lastpage
24
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Reliability Engineering, 1993. Proceedings., Fourth International Symposium on
Conference_Location
Denver, CO
Print_ISBN
0-8186-4010-3
Type
conf
DOI
10.1109/ISSRE.1993.624270
Filename
624270
Link To Document