The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.

Zamorano Flores, Juan Rafael; Puente Alfaro, Juan Antonio de la; Pulido Pavón, José Antonio y Urueña Pascual, Santiago (2008). The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.. En: "Data Systems in Aerospace DASIA 2008", 27/05/2008-30/05/2008, Palma de Mallorca, España. ISBN 978-3-902661-00-5. https://doi.org/10.3182/20080706-5-KR-1001.3469..

Descripción

Título: The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.
Autor/es:
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
  • Pulido Pavón, José Antonio
  • Urueña Pascual, Santiago
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: Data Systems in Aerospace DASIA 2008
Fechas del Evento: 27/05/2008-30/05/2008
Lugar del Evento: Palma de Mallorca, España
Título del Libro: Online Published Papers of Data Systems in Aerospace DASIA 2008
Fecha: 2008
ISBN: 978-3-902661-00-5
Materias:
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Arquitectura y Tecnología de Sistemas Informáticos
Licencias Creative Commons: Reconocimiento - Sin obra derivada - No comercial

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (165kB) | Vista Previa

Resumen

The ASSERT Project1 is aimed at defining new software engineering methods and tools for the development of critical embedded real-time systems in the aerospace domain. One of its main achievements is a new model-driven software process, which is based on the concept of property-preserving model transformations. Functional models developed with appropriate tools for the application domain are embedded in containers defining component interfaces and non-functional (e.g. timing) properties in a platform-independent set of notations. The resulting model is then automatically transformed to a platform-specific model using deployment information on target computer nodes, communication channels, and software platforms. Finally, source code for each computer node is automatically generated from the platform-specific model. The key element of the ASSERT process is that non-functional properties must be preserved during all phases of model transformations. In order to ensure that properties are preserved in model transformations and that the different views of each model are consistent with each other, a common meta-model has been defined which provides a formal basis to the whole process. This meta-model is called the Ravenscar Computational Model (RCM).

Más información

ID de Registro: 4633
Identificador DC: http://oa.upm.es/4633/
Identificador OAI: oai:oa.upm.es:4633
Identificador DOI: 10.3182/20080706-5-KR-1001.3469.
URL Oficial: http://www.esa.int/esaCP/index.html
Depositado por: Memoria Investigacion
Depositado el: 21 Oct 2010 10:43
Ultima Modificación: 20 Abr 2016 13:46
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM