ORK: reliable software technology for real-time systems

[EN] Control systems with strict reliability and safety requirements must have a predictable temporal behavior, enabling designers to ensure that real-time requirements are guaranteed in all cases. The paper describes an execution platform for this kind of systems based on ORK, the Open Ravenscar real-time Kernel. ORK is aimed at developing high-integrity real-time systems using a safe subset of the Ada programming language.
[ES] Los sistemas de control con requisitos de fiabilidad y seguridad estrictos deben tener un comportamiento temporal previsible que permita asegurar que los requisitos de tiempo real están garantizados en todos los casos. En el artículo se describe una plataforma de ejecución para este tipo de sistemas basada en el núcleo ORK (Open Ravenscar realtime Kernel), orientado a la realización de sistemas de tiempo real de alta integridad utilizando un subconjunto seguro del lenguaje de programación Ada.
Trabajo financiado parcialmente por el Plan Nacional de I+D+I (proyecto TIC2002-04123-C03-01) y por la Agencia Europea del Espacio.