Title :
The selection of methods and tools for the procurement of safety critical software
Author_Institution :
Electr. de France, Clamart, France
Abstract :
The production of a safety critical software can be improved by the relevant use of methods and tools; as shown by experience with the DARTS project. The article makes recommendations on what to look for in the selection of appropriate methods and tools. The paper gives an overview of the characteristics of safety critical software; referring to existing recommendations. The DARTS project is then presented. Finally, recommendations on the selection of methods and tools for the production of safety critical software are made
Keywords :
purchasing; safety; software reliability; software selection; DARTS project; procurement; safety critical software; Electrical safety; Embedded software; Procurement; Product safety; Production; Programming; Quality assurance; Software safety; Software standards; Software tools;
Conference_Titel :
Assessment of Quality Software Development Tools, 1994, Proceedings., Third Symposium on
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-5660-3
DOI :
10.1109/AQSDT.1994.315746
