Ravenscar Profile

Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. The Ravenscar profile is a subset of the Ada tasking features designed for safety-critical hard real-time systems. It was defined by a separate technical report in Ada 95; it is now part of the Ada 2005 Standard. Ada is a structured, statically typed, imperative, wide-spectrum, and object-oriented high-level computer programming language, extended from Pascal and other languages. It was originally designed by a team led by Jean Ichbiah of CII Honeywell Bull under contract to the United States Department of Defense (DoD) from 1977 to 1983 to supersede the hundreds of programming languages then used by the DoD. Ada is strongly typed and compilers are validated for reliability in mission-critical applications, such as avionics software.