ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real

Juan Antonio de la Puente, Juan Zamorano

Resumen

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.

Palabras clave

Sistemas de tiempo real; sistemas de control por computador; seguridad; sistemas críticos; sistemas de alta integridad

Texto completo:

PDF

Abstract Views

527
Metrics Loading ...

Metrics powered by PLOS ALM




Creative Commons License

Esta revista se publica bajo una Licencia Creative Commons Attribution-NonCommercial-CompartirIgual 4.0 International (CC BY-NC-SA 4.0)

Universitat Politècnica de València     https://doi.org/10.4995/riai

e-ISSN: 1697-7920     ISSN: 1697-7912