DocumentCode
1991813
Title
The selection of methods and tools for the procurement of safety critical software
Author
Mayadoux, Yves
Author_Institution
Electr. de France, Clamart, France
fYear
1994
fDate
7-9 Jun 1994
Firstpage
40
Lastpage
47
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Assessment of Quality Software Development Tools, 1994, Proceedings., Third Symposium on
Conference_Location
Washington, DC
Print_ISBN
0-8186-5660-3
Type
conf
DOI
10.1109/AQSDT.1994.315746
Filename
315746
Link To Document