---

AOAR-202 : The Ravenscar Profile & Aonix ObjectAda Raven

---

Course Description

This course covers the definition of the Ravenscar Profile subset of Ada95 tasking for high integrity systems, and its realization in the Aonix ObjectAda/Raven product. Examples of how to use the Profile to construct the key building blocks of a real-time system are provided, as well as a detailed walkthrough of how to use the Raven development environment to best effect, including the user interface, the tools and the program library structure.

Course Objectives

• Provide an awareness of the features of the Ravenscar profile and Aonix ObjectAda Raven
• Enable attendees to appreciate the benefits of the Ravenscar profile for developing hard real-time and safety-critical systems

Attendees Will Learn

• To understand the architecture and use of the Ravenscar Profile
• Understand the main features of ObjectAda/Raven
• Develop Ravenscar Profile applications using ObjectAda/Raven

Pre-requisites

• An understanding of Ada tasking

Who Should Attend

• This course is ideal for designers and programmers of high integrity and real-time systems that are to be developed in Ada

Attendees Receive

• A bound copy of all course slides

Course Format

The course is a combination of lectures and workshop sessions which make use of an Aonix Ada programming environment. The training material uses numerous examples to illustrate concepts and methods.

Course Outline

Day 1

The Ravenscar Profile
• High Integrity Software Techniques Today
• Why they are inadequate
• Why Ada83 tasking failed to meet the need
• How Ada95 with the Ravenscar Profile does meet the need

Day 2

The Raven Product
• Sequential execution features and restrictions
• Building more complex Raven programs
• Using the ObjectAda/Raven toolset

---