Including hardware/software co-design in the ASSERT model driven engineering process.

Zamorano Flores, Juan Rafael and Puente Alfaro, Juan Antonio de la and Ferrero, Francisco and Alaña, Elena and Rodríguez, Ana Isabel (2012). Including hardware/software co-design in the ASSERT model driven engineering process.. In: "17th Ada-Europe International Conferenceon Reliable Software Technologies", 11/06/2012 - 15/06/2012, Estocolmo (Suecia). ISBN 1381-6551. pp.. https://doi.org/10.1007/978-3-642-30598-6.

Description

Title: Including hardware/software co-design in the ASSERT model driven engineering process.
Author/s:
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
  • Ferrero, Francisco
  • Alaña, Elena
  • Rodríguez, Ana Isabel
Item Type: Presentation at Congress or Conference (Article)
Event Title: 17th Ada-Europe International Conferenceon Reliable Software Technologies
Event Dates: 11/06/2012 - 15/06/2012
Event Location: Estocolmo (Suecia)
Title of Book: Ada User Journal
Date: December 2012
ISBN: 1381-6551
Volume: 33
Subjects:
Freetext Keywords: Ada 2005, Ravenscar pro�le, Hardware/Software co-design, real-time systems, high-integrity systems, ORK, co-diseño Hardware/Software, sistemas en tiempo real, sistemas altamente integrados.
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 (530kB) | Preview

Abstract

Abstract. The ASSERT project de?ned new software engineering methods and tools for the development of critical embedded real-time systems in the space domain. The ASSERT model-driven engineering process was one of the achievements of the project and is based on the concept of property- preserving model transformations. The key element of this process is that non-functional properties of the software system must be preserved during model transformations. Properties preservation is carried out through model transformations compliant with the Ravenscar Pro?le and provides a formal basis to the process. In this way, the so-called Ravenscar Computational Model is central to the whole ASSERT process. This paper describes the work done in the HWSWCO study, whose main objective has been to address the integration of the Hardware/Software co-design phase in the ASSERT process. In order to do that, non-functional properties of the software system must also be preserved during hardware synthesis. Keywords : Ada 2005, Ravenscar pro?le, Hardware/Software co-design, real- time systems, high-integrity systems, ORK

More information

Item ID: 20415
DC Identifier: http://oa.upm.es/20415/
OAI Identifier: oai:oa.upm.es:20415
DOI: 10.1007/978-3-642-30598-6
Official URL: http://www.ada-europe.org/
Deposited by: Memoria Investigacion
Deposited on: 05 Nov 2013 14:42
Last Modified: 21 Apr 2016 23:12
  • 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