Implementation of mode changes with the Ravenscar profile
Alejandro A. Alonso, Juan A. de la Puente · ACM SIGAda Ada Letters · 2001
The use of concurrency in the development of safety-critical systems has not been recommended for a long time. Recently, a safe Ada tasking subset has been defined, known as the Ravenscar Profile. The imposed restrictions invalidated most of the proposed implementations for dealing with mode changes.In this paper, it is described an implementation approach for mode changes, that is compliant with the Ravenscar Profile. It relies on the decoupling between jobs and tasks and on centralizing tasks activations in a system manager. The proposed ideas have been tested with the ORK, which is a kernel integrated with the GNAT compiler for developing and executing applications that follow the Ravenscar Profile.