Implementation of mode changes with the Ravenscar profile

  title={Implementation of mode changes with the Ravenscar profile},
  author={Alejandro Alonso and Juan Antonio de la Puente},
  booktitle={IRTAW '00},
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… CONTINUE READING


Publications referenced by this paper.
Showing 1-2 of 2 references

and G

  • A. Burns, B. Dobbing
  • Romanski, “The Ravenscar profile for high…
  • 1998
Highly Influential
12 Excerpts


  • A. Alonso
  • A. de la Puente, and K. Tindell, “Components for…
  • 1997
Highly Influential
12 Excerpts

Similar Papers

Loading similar papers…