IEC > Webstore > Search > Register > Check out > Payment > Order confirmation

Publication detail

 
Reference ISO/IEC/TR 24718 ed1.0 withdrawn corrigendum
> preview
Title Information technology -- Programming languages -- Guide for the use of the Ada Ravenscar Profile in high integrity systems
Publication date 2005-02-17
Format, price
(Swiss francs)
and language
178.- 74 pages
178.- 1170 Kb
 
Abstract 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.
Technical Committee JTC 1/SC 22 - Programming languages, their environments and system software interfaces  RSS
ICS Codes
35.060 Languages used in information technology
 
Replaced by
 
Work in progress
ProjectStage codeForecast publication date
No project under development--


Search

>> Advanced search

Quick access by ref. number



Basket

Your basket is empty
Your country is :
Your TVA is : You must login...

Payment

Accepted credit cards:
Prices in CHF (Swiss francs)
Request a pro forma to pay by bank transfer or cheque
Learn how to share your publications with your colleagues, using networking options
Prices in CHF (Swiss francs)
We accept the following credit cards:
To pay by bank transfer: request a pro forma
If you purchase regularly through the IEC Webstore you can open a corporate account

Just Published

>> Published in the last 30 days

Bestsellers

  1. IEC 60601-1-2 Ed. 4.0
  2. IEC 60529 Ed. 2.2
  3. IEC 60502-2 Ed. 3.0
  4. IEC 60034-30-1 Ed. 1.0
  5. IEC 61000-4-6 Ed. 4.0
  6. IEC 60812 Ed. 2.0
  7. IEC 61851-24 Ed. 1.0
  8. IEC 62446 Ed. 1.0
  9. IEC 61010-1 Ed. 3.0
  10. IEC 60601-1 Ed. 3.1