ISO/IEC TR 24718:2005
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 , PDF 3 Users , PDF 5 Users , PDF 9 Users
English
17-02-2005
Important note : Users cannot be edited or removed once added to your Multi user PDF.
ISO/IEC TR 24718:2005 gives a complete description of the motivations behind the Ada Ravenscar Profile, to show how conformant programs can be analysed and to give examples of usage. The profile is a subset of the Ada tasking model, restricted to meet the real-time community requirements for determinism, schedulability analysis and memory-boundedness, as well as being suitable for mapping to a small and efficient run-time system that supports task synchronization and communication, and which could be certifiable to the highest integrity levels. The profile has been designed such that the restricted form of tasking that it defines can be used even for software that needs to be verified to the very highest integrity levels.
| Committee |
ISO/IEC JTC 1/SC 22
|
| DocumentType |
Standard
|
| Pages |
74
|
| PublisherName |
International Organization for Standardization
|
| Status |
Current
|
| Standards | Relationship |
| 04/30107375 DC : DRAFT APR 2004 | Identical |
| PD ISO/IEC TR 24718:2005 | Identical |
| NEN NPR ISO/IEC TR 24718 : 2005 | Identical |
| CSA ISO/IEC TR 24718 : 2006 : R2011 | Identical |
| CSA ISO/IEC TR 24718 : 2006 | Identical |
| CAN/CSA-ISO/IEC TR 24718:2006(R2016) | Identical |
| PD ISO/IEC TR 24772:2013 | Information technology. Programming languages. Guidance to avoiding vulnerabilities in programming languages through language selection and use |
| ISO/IEC TR 24772:2013 | Information technology Programming languages Guidance to avoiding vulnerabilities in programming languages through language selection and use |
| CSA ISO/IEC TR 24772 : 2015 | INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - GUIDANCE TO AVOIDING VULNERABILITIES IN PROGRAMMING LANGUAGES THROUGH LANGUAGE SELECTION AND USE |
| 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.