Languages for Safety-Critical Software: Issues and Assessment

14 years 1 months ago
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...
Benjamin M. Brosgol
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where ICSE
Authors Benjamin M. Brosgol
Comments (0)