- -

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

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

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

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: de;Zamorano - ORK: ...
Tamaño: 345.0Kb
Formato: PDF
Descripción: Versión editorial
Abrir
dc.contributor.author de la Puente, Juan Antonio es_ES
dc.contributor.author Zamorano, Juan es_ES
dc.date.accessioned 2020-06-15T13:41:15Z
dc.date.available 2020-06-15T13:41:15Z
dc.date.issued 2010-09-27
dc.identifier.issn 1697-7912
dc.identifier.uri http://hdl.handle.net/10251/146377
dc.description.abstract [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_ES
dc.description.abstract [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. es_ES
dc.description.sponsorship Trabajo financiado parcialmente por el Plan Nacional de I+D+I (proyecto TIC2002-04123-C03-01) y por la Agencia Europea del Espacio. es_ES
dc.language Español es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.relation.ispartof Revista Iberoamericana de Automática e Informática industrial es_ES
dc.rights Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) es_ES
dc.subject Real-time systems es_ES
dc.subject Computer controlled systems es_ES
dc.subject Safety es_ES
dc.subject Critical systems es_ES
dc.subject High-integrity systems es_ES
dc.subject Sistemas de tiempo real es_ES
dc.subject Sistemas de control por computador es_ES
dc.subject Seguridad es_ES
dc.subject Sistemas críticos es_ES
dc.subject Sistemas de alta integridad es_ES
dc.title ORK: Tecnología de Software Fiable Para Sistemas de Tiempo Real es_ES
dc.title.alternative ORK: reliable software technology for real-time systems es_ES
dc.type Artículo es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MICYT//TIC2002-04123-C03-01/ES/Sistemas de tiempo real empotrados, fiables y distribuidos basados en componentes (TRECOM)/ es_ES
dc.rights.accessRights Abierto es_ES
dc.description.bibliographicCitation 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. http://hdl.handle.net/10251/146377 es_ES
dc.description.accrualMethod OJS es_ES
dc.relation.publisherversion https://polipapers.upv.es/index.php/RIAI/article/view/8123 es_ES
dc.description.upvformatpinicio 19 es_ES
dc.description.upvformatpfin 27 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 3 es_ES
dc.description.issue 2 es_ES
dc.identifier.eissn 1697-7920
dc.relation.pasarela OJS\8123 es_ES
dc.contributor.funder Ministerio de Ciencia y Tecnología es_ES
dc.contributor.funder European Space Agency es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem