Skip to main content

ISO/IEC TR 24718:2005

Current Date published:

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

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.

Get this standard Prices exclude GST
PDF ( Single user document)
$361.74 NZD
HardCopy
$406.09 NZD
Networkable PDF
Price varies
Preview only close
Prev {{ page }}/ {{ numPages }} Next
Preview only close
Prev {{ page }}/ {{ numPages }} Next
Pages: 74

Keep me up-to-date

Register to receive notifications when updates are made to this standard.

Related Information

Similar Standards

  • AS/NZS 1486:1993

    Information technology - Programming languages - Fortran 90

  • AS/NZS 3968.0:1994

    Information technology - Database languages - SQL - Definition of data structures and basic operations

  • AS/NZS 3968.0:1994 A1

    Information technology - Database languages - SQL - Definition of data structures and basic operations: Amendment 1

  • AS/NZS 3968.3:1998

    Information technology - Database languages - SQL - Call-level interface

Preview only close
Prev {{ page }}/ {{ numPages }} Next
Preview only close
Prev {{ page }}/ {{ numPages }} Next
Pages: 74

ISO/IEC TR 24718:2005

Get this standard Prices exclude GST
PDF ( Single user document)
$361.74 NZD
HardCopy
$406.09 NZD
Networkable PDF
Price varies

Request to add this standard to your subscription

ISO/IEC TR 24718:2005

Price varies
Online library subscription

Click "Send request for subscription" to ask your Account Administrator to add this standard to your subscripiton.

Cancel