The Ravenscar tasking profile-experience report

Proceedings of the 9th International Workshop on Real-Time Ada, IRTAW 1999

Volumn , Issue , 1999, Pages 28-32

  Dobbing, Brian ^a   Romanski, George ^a  

^a Aonix   (United States)

Author keywords

Ada; Real Time; Safety Critical

Indexed keywords

SAFETY ENGINEERING;

ADA COMPILERS; EXPERIENCE REPORT; FORMAL CERTIFICATION; RAVENSCAR TASKING; REAL TIME; RUNTIME SYSTEMS; TIMING PROPERTIES; USER COMMUNITIES;

ADA (PROGRAMMING LANGUAGE);

EID: 84924744516     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/329607.334733     Document Type: Conference Paper

References (7)

1. Proceedings of the 8th International Real-Time Ada Workshop: Tasking Profiles, ACM Ada Letters, September 1997
2. The Ravenscar Tasking Profile for High Integrity Real Time Programs, A. Burns, B. J. Dobbing, G. Romanski. In Reliable Software Technologies-Ada-Europe '98, Lecture Notes in Computer Science 1411 June 1998
3. Guide for the Use of the Ada Programming Language in High Integrity Systems, Working Draft 3.7b, ISO/TEC PDTR 15942, October 1998
4. ObjectAda Real-Time Windows x PowerPC/Raven, Aonix, 1998
5. RTCA Inc, Software Considerations in Airborne Systems and Equipment Certification, RTC A/DO-17 8B/ED-12B, December 1992
6. Safety Critical Software Handbook, G. Romanski, Aonix 1997
7. Ada95 Reference Manual, ANSI/ISO/TEC-8652:1995, January 1995