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

Zamorano Flores, Juan Rafael; Puente Alfaro, Juan Antonio de la; Ferrero, Francisco; Alaña, Elena y Rodríguez, Ana Isabel (2012). Including hardware/software co-design in the ASSERT model driven engineering process.. En: "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.

Descripción

Título: Including hardware/software co-design in the ASSERT model driven engineering process.
Autor/es:
  • Zamorano Flores, Juan Rafael
  • Puente Alfaro, Juan Antonio de la
  • Ferrero, Francisco
  • Alaña, Elena
  • Rodríguez, Ana Isabel
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 17th Ada-Europe International Conferenceon Reliable Software Technologies
Fechas del Evento: 11/06/2012 - 15/06/2012
Lugar del Evento: Estocolmo (Suecia)
Título del Libro: Ada User Journal
Fecha: Diciembre 2012
ISBN: 1381-6551
Volumen: 33
Materias:
Palabras Clave Informales: 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.
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 (530kB) | Vista Previa

Resumen

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

Más información

ID de Registro: 20415
Identificador DC: http://oa.upm.es/20415/
Identificador OAI: oai:oa.upm.es:20415
Identificador DOI: 10.1007/978-3-642-30598-6
URL Oficial: http://www.ada-europe.org/
Depositado por: Memoria Investigacion
Depositado el: 05 Nov 2013 14:42
Ultima Modificación: 21 Abr 2016 23:12
  • 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