Logo

ISO/IEC TR 24718:2005

Current Revision

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

$250.00

$250.00

$425.00


Sub Total (1 Item(s))

$ 0.00

Estimated Shipping

$ 0.00

Total (Pre-Tax)

$ 0.00


Stay effortlessly up-to-date with the latest standard revisions. When new versions are released, they're automatically charged and delivered to you, ensuring seamless compliance.

Document Preview Not Available...

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.


SDO ISO: International Organization for Standardization
Document Number ISO/IEC 24718
Publication Date Not Available
Language en - English
Page Count
Revision Level
Supercedes
Committee ISO/IEC/JTC 1/SC 22
Publish Date Document Id Type View
Not Available ISO/IEC TR 24718:2005 Revision