T1. Developing High-Integrity Systems with GNATforLEON/ORK+

Juan Antonio de la Puente, Juan Zamorano, Spain

Juan Antonio de la Puente,
Juan Zamorano,
Technical University of Madrid, Spain
(T1: Monday 14 June, morning)

 

The tutorial will focus on the use of the Ada Ravenscar profile, as well as some other basic real-time facilities available in Ada 2005, to develop high-integrity realtime systems. Programming patterns for analyzable real-time systems will be described, including timing error detection techniques based on execution-time clocks and timers. ORK (Open Ravenscar Kernel) is a free real-time kernel that supports the execution of Ravenscar programs on LEON-based computers. A tailored version of GNAT running on ORK+ will be used to support programming examples, including a comprehensive case study. The use of static analysis tools in conjunction with the compilation chain will be described in the framework of an integrated approach to embedded real-time software development.

Expected attendees are software engineers interested in developing high-integrity embedded real-time applications. Although some of the examples are drawn from the aerospace domain, the approach is also applicable to other industrial domains with high-integrity requirements. Participants should have a working knowledge of Ada. Previous experience in real-time systems
development will be useful, but not required.

Presenters
Juan Antonio de la Puente is a professor at the Technical University of Madrid (UPM). He has been teaching Ada and Real-Time systems for more than 20 years. As the head of the real-time systems group at UPM, he has led the development and evolution of ORK for the last 10 years. He is Vice-President of Ada-Spain.

Juan Zamorano is an associate professor at UPM, with more than 20 years experience in teaching Real-Time systems and systems architecture. He is the technical manager of ORK, and is responsible for its maintenance at UPM. He is a member of the Ada-Spain Board.

>Back