The selection of methods and tools for the procurement of safety critical software

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.<>