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.
- 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 Scholar
- 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 Scholar
- ISO/IEC 8652:1995: Information Technology -- Programming Languages -- Ada. DOI= http://www.iso.org/iso/catalogue_detail.htm?csnumber=22983.Google Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
Index Terms
Update of ISO/IEC Technical Reports on the Use of the Ada Programming Language in High Integrity Systems
Recommendations
Code analysis of saftey-critical and real-time software using ASIS
The Ravenscar Profile is a restricted tasking profile that supports applications requiring separate threads of control yet would satisfy the certification requirements of high-integrity (safety-critical) real-time systems. If the Ravenscar Profile were ...
The rise, fall and persistence of Ada
SIGAda 2010This paper begins with a brief history of the Ada programming language including the rise of Ada, the Ada Mandate and the fall from grace as a DoD programming language. The paper examines the reasons why the Ada is not widely accepted in certain areas ...
Embedded, hard, real-time systems with Ada
SIGAda '09: Proceedings of the ACM SIGAda annual international conference on Ada and related technologiesDevelopment of real-time systems is expensive and difficult, in part because of low-level languages that force developers to use facilities that are ad hoc, incomplete, and not portable. The Real-Time Systems Annex of Ada 2005 (along with the language ...






Comments