Memorias de investigación
Ponencias en congresos:
Including Hardware/Software Co-design in the ASSERT Model Driven Engineering Process.. Reliable Software Technologies
Año:2012
Áreas de investigación
  • Tecnología electrónica y de las comunicaciones,
  • Ciencias de la computación y tecnología informática
Datos
Descripción
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
Internacional
No
Nombre congreso
Ada-Europe 2012. Industrial presentation
Tipo de participación
960
Lugar del congreso
Estocolmo (Suecia)
Revisores
Si
ISBN o ISSN
978-3-642-30597-9
DOI
10.1007/978-3-642-30598-6
Fecha inicio congreso
11/06/2012
Fecha fin congreso
15/06/2012
Desde la página
0
Hasta la página
0
Título de las actas
17th Ada-Europe International Conference on Reliable Software Technologies
Esta actividad pertenece a memorias de investigación
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Sistemas de tiempo real y arquitectura de servicios telemáticos
  • Departamento: Ingeniería de Sistemas Telemáticos