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)
Configuration of IMA systems is a key technology that makes such systems flexible, yet controlled. The configuration data is a critical component of these systems as it affects system behavior. The configuration data is presented in a form that is readable by engineers and is often translated into a binary representation. This translation must be verified.… (More)