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

Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la and Pulido Pavón, José Antonio and Urueña Pascual, Santiago (2008). The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.. In: "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..

Description

Title: The ASSERT Virtual Machine Kernel: Support for preservation of temporal properties.
Author/s:
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
  • Pulido Pavón, José Antonio
  • Urueña Pascual, Santiago
Item Type: Presentation at Congress or Conference (Article)
Event Title: Data Systems in Aerospace DASIA 2008
Event Dates: 27/05/2008-30/05/2008
Event Location: Palma de Mallorca, España
Title of Book: Online Published Papers of Data Systems in Aerospace DASIA 2008
Date: 2008
ISBN: 978-3-902661-00-5
Subjects:
Faculty: Facultad de Informática (UPM)
Department: Arquitectura y Tecnología de Sistemas Informáticos
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (165kB) | Preview

Abstract

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).

More information

Item ID: 4633
DC Identifier: http://oa.upm.es/4633/
OAI Identifier: oai:oa.upm.es:4633
DOI: 10.3182/20080706-5-KR-1001.3469.
Official URL: http://www.esa.int/esaCP/index.html
Deposited by: Memoria Investigacion
Deposited on: 21 Oct 2010 10:43
Last Modified: 20 Apr 2016 13:46
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM