• There are no items in your cart

CSA ISO/IEC TR 24718 : 2006

Superseded
Superseded

A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.

View Superseded by
superseded

A superseded Standard is one, which is fully replaced by another Standard, which is a new edition of the same Standard.

INFORMATION TECHNOLOGY - PROGRAMMING LANGUAGES - GUIDE FOR THE USE OF THE ADA RAVENSCAR PROFILE IN HIGH INTEGRITY SYSTEMS
Available format(s)

Hardcopy , PDF

Superseded date

07-22-2021

Language(s)

English

Published date

01-01-2016

1 Introduction
2 Motivation for the Ravenscar Profile
3 The Ravenscar Profile Definition
4 Rationale
5 Examples of Use
6 Verification of Ravenscar Programs
7 Extended Example
8 Definitions, Acronyms, and Abbreviations
9 References
10 Bibliography

Gives 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.

DocumentType
Standard
Pages
96
ProductNote
Reconfirmed EN
PublisherName
Canadian Standards Association
Status
Superseded
SupersededBy

Standards Relationship
ISO/IEC TR 24718:2005 Identical

RTCA DO 178 : C2011 SOFTWARE CONSIDERATIONS IN AIRBORNE SYSTEMS AND EQUIPMENT CERTIFICATION
ISO/IEC TR 15942:2000 Information technology Programming languages Guide for the use of the Ada programming language in high integrity systems
ISO/IEC 8652:2012 Information technology — Programming languages — Ada

View more information

Access your standards online with a subscription

Features

  • Simple online access to standards, technical information and regulations.

  • Critical updates of standards and customisable alerts and notifications.

  • Multi-user online standards collection: secure, flexible and cost effective.