ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real ; ORK: reliable software technology for real-time systems
Saved in:
| Title: | ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real ; ORK: reliable software technology for real-time systems |
|---|---|
| Authors: | de la Puente, Juan Antonio, Zamorano, Juan |
| Contributors: | Ministerio de Ciencia y Tecnología, European Space Agency |
| Publisher Information: | Universitat Politècnica de València |
| Publication Year: | 2010 |
| Collection: | Universitat Politécnica de Valencia: RiuNet / Politechnical University of Valencia |
| 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: | [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. ; De La Puente, JA.; Zamorano, J. (2010). ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real. Revista Iberoamericana de Automática e Informática industrial. 3(2):19-27. https://riunet.upv.es/handle/10251/146377 ; OJS ; 19 ; 27 ; 3 ; 2 |
| Document Type: | article in journal/newspaper |
| File Description: | application/pdf |
| Language: | Spanish; Castilian |
| Relation: | Revista Iberoamericana de Automática e Informática industrial; info:eu-repo/grantAgreement/MICYT//TIC2002-04123-C03-01/ES/Sistemas de tiempo real empotrados, fiables y distribuidos basados en componentes (TRECOM)/; https://polipapers.upv.es/index.php/RIAI/article/view/8123; https://riunet.upv.es/handle/10251/146377 |
| Availability: | https://riunet.upv.es/handle/10251/146377 |
| Rights: | http://creativecommons.org/licenses/by-nc-nd/4.0/ ; info:eu-repo/semantics/openAccess |
| Accession Number: | edsbas.A1E3ACAF |
| Database: | BASE |
Nájsť tento článok vo Web of Science Be the first to leave a comment!