skip to main content
column

Update of ISO/IEC Technical Reports on the Use of the Ada Programming Language in High Integrity Systems

Published:28 December 2015Publication History
Skip Abstract Section

Abstract

The Ada programming language has been designed for use in high integrity, safety critical, and secure software systems. Several International Organization for Standardization/International Electrotechnical Commission (ISO/IEC) technical reports have been developed to provide guidance on the appropriate use of Ada to achieve the largest benefit in the verification and security of high integrity systems. While the Ada programming language has been evolving over time, these technical reports were written utilizing the Ada 2005 version of the programming language standard. In this brief paper, we pose that the International Real-Time Ada Workshop membership assume the responsibility for updating the technical reports to be in alignment with the current Ada programming language standard, known as Ada 2012.

References

  1. ISO/IEC TR 15942, 2000-03-01, Information technology -- Programming languages -- Guide for the use of the Ada programming language in high integrity systems. DOI= http://standards.iso.org/ittf/PubliclyAvailableStandards/c029575_ISO_IEC_TR_15942_2000(E).zip.Google ScholarGoogle Scholar
  2. ISO/IEC TR 24718, 2005-02-15, Information technology -- Programming languages -- Guide for the use of the Ada Ravenscar Profile in high integrity systems. DOI= http://standards.iso.org/ittf/PubliclyAvailableStandards/c038828_ISO_IEC_TR_24718_2005(E).zip.Google ScholarGoogle Scholar
  3. ISO/IEC 8652:1995: Information Technology -- Programming Languages -- Ada. DOI= http://www.iso.org/iso/catalogue_detail.htm?csnumber=22983.Google ScholarGoogle Scholar
  4. ISO/IEC 8652:2007(E), Ed. 3: Information Technology -- Programming Languages -- Ada. DOI= http://www.adaic.org/resources/add_content/standards/05rm/html/RM-TTL.html.Google ScholarGoogle Scholar
  5. ISO/IEC 8652:2012: Information Technology -- Programming Languages -- Ada. DOI= http://www.iso.org/iso/home/store/catalogue_ics/catalogue_detail_ics.htm?csnumber=61507.Google ScholarGoogle Scholar
  6. ISO/IEC 8652:1995/COR.1:2001, Technical Corrigendum to Information Technology -- Programming Languages -- Ada. DOI= http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=35451.Google ScholarGoogle Scholar
  7. ISO/IEC 9652:1995/AMD.1:2007, Amendment to Information Technology -- Programming languages -- Ada. DOI= http://www.iso.org/iso/iso_catalogue/catalogue_tc/catalogue_detail.htm?csnumber=45001.Google ScholarGoogle Scholar

Index Terms

  1. Update of ISO/IEC Technical Reports on the Use of the Ada Programming Language in High Integrity Systems

        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

        • Article Metrics

          • Downloads (Last 12 months)3
          • 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!