PD ISO/IEC TR 24718:2005
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
Information technology. Programming languages. Guide for the use of the Ada Ravenscar Profile in high integrity systems
Hardcopy , PDF
English
05-04-2005
28-01-2025
Foreword
Introduction
1 Scope
2 Recommendations
3 Revision of the University of York publication
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.
| Committee |
IST/5
|
| DevelopmentNote |
Supersedes 04/30107375 DC. (04/2005)
|
| DocumentType |
Standard
|
| Pages |
88
|
| PublisherName |
British Standards Institution
|
| Status |
Superseded
|
| SupersededBy | |
| Supersedes |
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.
| Standards | Relationship |
| ISO/IEC TR 24718:2005 | Identical |
| 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 |
Access your standards online with a subscription
-
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.
Important note : Users cannot be edited or removed once added to your Multi user PDF.