CAN/CSA-ISO/IEC TR 24718:06 (R2011)

Information Technology - Programming Languages - Guide for the Use of the Ada Ravenscar Profile in High Integrity Systems

This National Standard of Canada is equivalent to International Standard ISO/IEC TR 24718:2005. 1 Scope This Technical Report provides a description of the motivations behind the Ravenscar Profile, to show how Ada programs using the profile can be analysed, and gives examples of usage.

SDO:

CSA

Language:

English

ICS Codes:

35.060

Status:

Standard

Publish date:

2006-11-30

Standard Number:

CAN/CSA-ISO/IEC TR 24718:06 (R2011)