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