C++ in safety critical systems

Authors:
David W. Binkley
Affiliations:
National Institute of Standards and Technology, Computer Systems Laboratory, Gaithersburg, MD 20899, USA E-mail: binkley@sst.ncsl.nist.gov
Venue:
Annals of Software Engineering
Year:
1997

Citing 2
Cited 1

Efficient detection of all pointer and array access errors

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Safer C: Developing Software for in High-Integrity and Safety-Critical Systems

Safer C: Developing Software for in High-Integrity and Safety-Critical Systems

Using symbolic execution for verifying safety-critical systems

Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

The safety and reliability of software is influenced by the choice of implementation language and the choice of programming idioms. C++ is gaining popularity as the implementation language of choice for large software projects because of its promise to reduce the complexity and cost of their construction. But is C++ an appropriate choice for such projects? An assessment of how well C++ fits into recent software guidelines for safety critical systems is presented along with a collection of techniques and idioms for the construction of safer C++ code.