Paul Caspi
Eléments pour le choix de méthodes de développement de systèmes logiciels critiques (2005)
Eléments pour le choix de méthodes de développement de systèmes logiciels critiques (2005)
TR-2005-17.pdf
Keywords: méthodes de développement, systèmes logiciels critiques, development methods, safety-critical systems
Abstract: This report has been written on request of the Deputy Chief Executive Officer of RATP, the Paris Subway Authory, so as to assist this authority in choosing development methods for software-based safety-critical systems, such as found in computerised signalling systems and driverless subways. It is made of two sections: the first one is devoted to describing the various methods that have been proposed for solving the problems raised by theses critical software systems. The second section extracts from the previous one some criteria of choice in this field.
