ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real
Enviado: 14-09-2017
|Aceptado:
|Publicado: 27-09-2010
Datos de financiación
Descargas
Palabras clave:
Sistemas de tiempo real, sistemas de control por computador, seguridad, sistemas críticos, sistemas de alta integridad
Agencias de apoyo:
Esta investigación no contó con financiación
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.
Ver más
Ver menos