The Ravenscar Profile defines a simple subset of the tasking features of Ada in order to support efficient, high integrity applications that need to be analysed for their timing properties. This paper describes the Profile and gives the motivations for the features it does (and does not) include. An implementation of the Profile is then described in terms… (More)
The Ravenscar Profile was defined at the 18<sup>th</sup> International Real-Time Ada Workshop as a simple subset of the tasking features of Ada, in order to support efficient, high integrity applications that need to be analysed for their timing properties. Ada compiler vendor Aonix subsequently implemented the Profile via its Raven product line, and is… (More)
Avionics software safety certification is achieved through objective-based standards.
The safety critical community – those involved in developing and verifying safety critical systems – is very conservative and adverse to change. Meanwhile, technology is changing rapidly, and there is pressure to adapt systems to improve their efficiency and safety. This presents a number of challenges. The community has already addressed some; others are… (More)
All systems installed on aircraft are classified based on the effects they may have on safety. As the systems have become more computerized, Ada has a role to play. Ada has been used successfully in the past, continues to be used at present and is expected to be used in the future. The key components of Ada's success in the avionics industry will be… (More)
Introduction The development of mission and safety critical software has bee n with us for a number of years. However, recently additiona l focus has been placed on software and its contribution to th e integrity (safe operation) of potentially hazardous systems, i .e. aircraft, air traffic control systems, chemical and nuclea r plants, and even automotive… (More)