View in EDS

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

Saved in:
Bibliographic Details
Title: ORK: reliable software technology for real-time systems ; ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real
Authors: de la Puente, Juan Antonio, Zamorano, Juan
Source: 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
Publisher Information: Universitat Politècnica de València
Publication Year: 2010
Collection: Universitat Politècnica de València: PoliPapers
Subject Terms: 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
Description: 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.
Document Type: article in journal/newspaper
File Description: application/pdf
Language: Spanish; Castilian
Relation: http://polipapers.upv.es/index.php/RIAI/article/view/8123/8266; http://polipapers.upv.es/index.php/RIAI/article/view/8123
Availability: http://polipapers.upv.es/index.php/RIAI/article/view/8123
Rights: Derechos de autor 2017 RIAII
Accession Number: edsbas.A08DFD32
Database: BASE
Description
Abstract: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.