CAN/CSA-ISO/IEC TR 24718:2006(R2016)
Current
The latest, up-to-date edition.
INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - GUIDE FOR THE USE OF THE ADA RAVENSCAR PROFILE IN HIGH INTEGRITY SYSTEMS
Hardcopy , PDF
English
01-01-2016
Important note : Users cannot be edited or removed once added to your Multi user PDF.
1 Introduction
2 Motivation for the Ravenscar Profile
3 The Ravenscar Profile Definition
4 Rationale
5 Examples of Use
6 Verification of Ravenscar Programs
7 Extended Example
8 Definitions, Acronyms, and Abbreviations
9 References
10 Bibliography
This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.
| Committee |
ISO/IEC JTC 1
|
| DocumentType |
Technical Report
|
| ISBN |
1-55436-402-7
|
| Pages |
96
|
| ProductNote |
Reconfirmed EN
|
| PublisherName |
Canadian Standards Association
|
| Status |
Current
|
| Supersedes |
| Standards | Relationship |
| ISO/IEC TR 24718:2005 | Identical |
| RTCA DO 178 : C2011 | SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION |
| ISO/IEC TR 15942:2000 | Information technology — Programming languages — Guide for the use of the Ada programming language in high integrity systems |
| ISO/IEC 8652:2012 | Information technology — Programming languages — Ada |
Access your standards online with a subscription
Features
-
Simple online access to standards, technical information and regulations.
-
Critical updates of standards and customisable alerts and notifications.
-
Multi-user online standards collection: secure, flexible and cost effective.