Customer Support: 131 242

  • There are no items in your cart
We noticed you’re not on the correct regional site. Switch to our AMERICAS site for the best experience.
Dismiss alert

CAN/CSA-ISO/IEC TR 24718:2006(R2016)

Current
Current

The latest, up-to-date edition.

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

Hardcopy , PDF

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

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.

Committee
ISO/IEC JTC 1
DocumentType
Technical Report
ISBN
1-55436-402-7
Pages
96
ProductNote
Reconfirmed EN
PublisherName
Canadian Standards Association
Status
Current
Supersedes

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
$426.17
Including GST where applicable

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.

Need help?
Call us on 131 242, then click here to start a Screen Sharing session
so we can help right away! Learn more