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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
