PD ISO/IEC TR 24718:2005

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

Published:

5 Apr 2005

•

Withdrawn:

28 Jan 2025

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.

Product Details

Descriptors

ADA

Programming instructions

Computer programs

Computer applications

Programming techniques

Programming languages

Programming

ICS Codes

35.060 Languages used in information technology

Committee

IST/5

International relationships

Identical to:

ISO/IEC TR 24718:2005

ISBN

0 580 45716 8

Publisher

BSI