Dear Customer,

 

The eShop was affected by the Microsoft outage global, which prevented customers from accessing the platform during this period.

We apologize for any inconvenience this may have caused and thank you for your patience and understanding.

 

ISO/IEC TR 24718:2005

Information technology -- Programming languages -- Guide for the use of the Ada Ravenscar Profile in high integrity systems

OVERVIEW

The electronic version of this International Standard can be downloaded from the ISO/IEC Information Technology Task Force (ITTF) web site.



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.

COMMENTS

-

PRODUCT DETAILS

Status Revised
Edition 2005
No. of Pages 74
ICS Classification 35.060 Languages used in information technology
Committee ISO/IEC JTC 1/SC 22
Available for Purchase For sale in Singapore only
Adoption IEC

Managed by TOPPAN Ecquaria Pte. Ltd.

Enterprise Singapore's appointed distributor of

Singapore Standards and Overseas Standards.

© 2026 TOPPAN Ecquaria

All Rights Reserved