Ada in the JAS 39 Gripen flight control system.

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. [ABSTRACT FROM AUTHOR]