Verimag

Technical Reports

Paul Caspi
Eléments pour le choix de méthodes de développement de systèmes logiciels critiques (2005)

TR-2005-17.pdf


Keywords: mthodes de dveloppement, systmes 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.

Contact | Site Map | Site powered by SPIP 3.0.25 + AHUNTSIC [CC License]

info visites 776225