Languages for Safety-Critical Software: Issues and Assessment

Safety-critical systems (whose anomalous behavior could have catastrophic consequences such as loss of human life) are becoming increasingly prevalent; standards such as DO-178B, originally developed for the certification of commercial avionics, are attracting attention in other communities. The requirement to comply with such standards imposes constraints (on quality assurance, traceability, etc.) much beyond what is typical for Commercial-Off-The-Shelf Software. One of the major decisions that affects the development of safety-critical software is the choice of programming language(s). Specific language features, either by their presence of absence, may make certification easier or harder. Indeed, full generalpurpose languages are almost always too complex, and restricted subsets are required. This tutorial compares several languages currently in use or under consideration for safety-critical systems –C (and also C++), Ada, and Java – and assesses them with respect to their suit...

• Type: Conference
• Year: 2007
• Where: ICSE
• Authors: Benjamin M. Brosgol
• Keywords: ICSE 2007, Safety-critical, Safety-critical Systems, Software Engineering, Standards Imposes Constraints