Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Model Driven Development of High Integrity Applications Based on Reusable Assets
Año:2012
Áreas de investigación
  • Telemática,
  • Sistemas en tiempo real
Datos
Descripción
This presentation introduces solutions for the integration of different MDA technologies based on Reusable Modeling tool Assets (RMA), and solutions for deploying artifacts so as to provide modeling tool independence. We introduce approaches for the construction of a set of reusable assets oriented to the development of high-integrity applications. The assets included in the presentations provide support for: UML extensions for the representation of high integrity concepts (e.g. MARTE profile, and Safety-aware profile) High integrity analysis languages such as FMECA, FTA and RMA Bridged with specific analysis tools such as MAST and Item Toolkit Code generators for real-time execution platforms: RTSJ and Ada-Ravenscar The application of RMA techniques makes possible the applications of these artefacts in different modeling tools, and this avoids tool dependencies of model-based software applications. The presentation introduces the problems and solutions for the portability and interoperability of MDA artifacts (e.g. UML profiles and model libraries, EMOF metamodels, QVT and MOF2Text transformations). The presentation will be based on a set of practical RMAs, which support the development of real-time systems on platforms such as RTSJ (Real-Time Java Specification) and Ada Ravenscar. Examples of modeling tools used in the portability will be Papyrus, RSA and Magic Draw.
Internacional
No
Nombre congreso
Workshop on Real-time, Embedded and Enterprise-Scale Time-Critical Systems
Tipo de participación
960
Lugar del congreso
Paris
Revisores
Si
ISBN o ISSN
DOI
Fecha inicio congreso
17/04/2012
Fecha fin congreso
19/04/2012
Desde la página
Hasta la página
Título de las actas
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: José Emilio Salazar Marsá (UPM)
  • Autor: Miguel Angel de Miguel Cabello (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Departamento: Ingeniería de Sistemas Telemáticos
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)