Chapter

Reliable Software Technologies — Ada-Europe

Volume 1411 of the series Lecture Notes in Computer Science pp 288-296

Date:

Ada in the JAS 39 Gripen flight control system

  • Bo FrisbergAffiliated withSaab AB

* Final gross prices may vary according to local VAT.

Get Access

Abstract

The positive experiences from the usage of Ada in a safety critical flight control system are described in this paper. It states that preemptive scheduling implemented with tasking, can be combined with high requirements on reliability and a deterministic behaviour. How data consistency has been obtained between the periodic tasks is outlined. Also the exception handling in the system is mentioned.

Keywords

Flight control system Safety critical Tasking Exception handling Data consistency Preemptive scheduling