Safe Ada Executive: An Executive for Ada Safety Critical Applications

摘要

This paper presents the SAE project (Safe Ada Executive) which deals with the DO-178 B certification for safety critical systems which use COTS (Commercial Off The Shelves) software components such as the Ada Run Time System. Traditonally safety critical systems avoid parallelism or rely on cyclic dispatcher to achieve determinism. At the opposite this project shows that it is possible to use the preemptive scheduler of the Ada Run Time System for safety critical systems. The proposed model of the Safe Ada Executive is designed to support a predictible subset of the Ada tasking. This real time executive allows to support applications developped with the RMA (Rate Monotonic Analysis) methods and an appropriate coding style. We point out this approach which allows to separate applications from the real time exectuive and to minimize the certification costs. Anyhow, the SAE project, based on the Ada83 revision of the language, has a stronger support with the Ada95 revision.