skip to main content
invited-talk

Language choice for safety critical applications

Published:06 November 2011Publication History
Skip Abstract Section

Abstract

The programming languages currently most popular among software engineers for writing safety critical applications are C and, more recently, C++. The Ada language has been designed with software safety in mind. Although Ada is not perfect concerning safety critical programming, it is far better than C or C++. There have been definitions of subsets of C for safety critical applications, such as MISRA C. Similarly, there are several attempts at defining a safe subset of C++, including MISRA C++ and the Joint Strike Fighter (JSF) Avionics C++ coding standards. The most commonly used safety critical subset of Ada is SPARK. SPARK provides a statically provable fully deterministic subset of Ada. The C and C++ safety critical subsets attempt to achieve a level of safety similar to the full Ada language. That attempt generally fails. This paper concentrates on a comparing the C++ language, including portions of the JSF C++ standard and those features inherited from C, with the full Ada language.

References

  1. National Aeronautics and Space Administration. (2004, July 8). Software Safety Standard. NASA-STD 8719.13B. Washington, DC, United States of America.Google ScholarGoogle Scholar

Index Terms

  1. Language choice for safety critical applications

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      • Published in

        cover image ACM SIGAda Ada Letters
        ACM SIGAda Ada Letters  Volume 31, Issue 3
        December 2011
        81 pages
        ISSN:1094-3641
        DOI:10.1145/2070336
        Issue’s Table of Contents

        Copyright © 2011 ACM

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 6 November 2011

        Check for updates

        Qualifiers

        • invited-talk
      • Article Metrics

        • Downloads (Last 12 months)22
        • Downloads (Last 6 weeks)0

        Other Metrics

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!