Zobrazit v EDS

ORK: reliable software technology for real-time systems ; ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real

Uloženo v:
Podrobná bibliografie
Název: ORK: reliable software technology for real-time systems ; ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real
Autoři: de la Puente, Juan Antonio, Zamorano, Juan
Zdroj: Revista Iberoamericana de Automática e Informática industrial; Vol. 3 No. 2 (2006); 19-27 ; Revista Iberoamericana de Automática e Informática industrial; Vol. 3 Núm. 2 (2006); 19-27 ; 1697-7920 ; 1697-7912
Informace o vydavateli: Universitat Politècnica de València
Rok vydání: 2010
Sbírka: Universitat Politècnica de València: PoliPapers
Témata: Real-time systems, computer controlled systems, safety, critical systems, high-integrity systems, Sistemas de tiempo real, sistemas de control por computador, seguridad, sistemas críticos, sistemas de alta integridad
Popis: 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. ; 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.
Druh dokumentu: article in journal/newspaper
Popis souboru: application/pdf
Jazyk: Spanish; Castilian
Relation: http://polipapers.upv.es/index.php/RIAI/article/view/8123/8266; http://polipapers.upv.es/index.php/RIAI/article/view/8123
Dostupnost: http://polipapers.upv.es/index.php/RIAI/article/view/8123
Rights: Derechos de autor 2017 RIAII
Přístupové číslo: edsbas.A08DFD32
Databáze: BASE
Popis
Abstrakt: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. ; 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.