High integrity Ravenscar

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2655, Issue , 2003, Pages 68-79

  Amey, Peter ^a   Dobbing, Brian ^a  

^a Praxis Critical Systems   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS;

ADA PROGRAMS; CRITICAL SYSTEMS; INTEGRAL PART; IS IMPLEMENTATION; RAVENSCAR; RULE VIOLATION; RUN-TIME ERRORS;

ADA (PROGRAMMING LANGUAGE);

EID: 26444478564     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44947-7_4     Document Type: Article

References (7)

1. Burns; Dobbing; Vardanega: Guide for the use of the Ada Ravenscar Profile in high integrity systems. University of York technical report YCS 348 (2003)
2. RTCA-EUROCAE: Software Considerations in Airborne Systems and Equipment Certification. DO-178B/ED-12B. 1992.
3. 1.
4. Barnes, John: High Integrity Software - the SPARK Approach to Safety and Security. Addison Wesley Longman, ISBN 0-321-13616-0. 2003
5. 2
6. 1, pp. 37-61.
7. 2.