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