Observatorio de I+D+i UPM

Memorias de investigación
Artículos en revistas:
Integration of Safety Analysis in Model-Driven Software Development
Año:2008
Áreas de investigación
  • Arquitectura de computadores,
  • Telemática
Datos
Descripción
Safety critical software requires integrating verification techniques in software development methods. Software architectures must guarantee that developed systems will meet safety requirements and safety analyses are frequently used in the assessment. Safety engineers and software architects must reach a common understanding on an optimal architecture from both perspectives. Currently both groups of engineers apply different modelling techniques and languages: safety analysis models and software modelling languages. The solutions proposed seek to integrate both domains coupling the languages of each domain. It constitutes a sound example of the use of language engineering to improve efficiency in a software-related domain. A model-driven development approach and the use of a platform-independent language are used to bridge the gap between safety analyses (failure mode effects and criticality analysis and fault tree analysis) and software development languages (e.g. unified modelling language). Language abstract syntaxes (metamodels), profiles, language mappings (model transformations) and language refinements, support the direct application of safety analysis to software architectures for the verification of safety requirements. Model consistency and the possibility of automation are found among the benefits Miguel A. de Miguel, Javier F. Briones, Juan Pedro Silva, Alejandro Alonso Integration of Safety Analysis in Model-Driven Software Development
Internacional
Si
JCR del ISI
No
Título de la revista
IET Software
ISSN
1751-8806
Factor de impacto JCR
0
Información de impacto
Volumen
2
DOI
10.1049/iet-sen:20070050
Número de revista
3
Desde la página
260
Hasta la página
280
Mes
JUNIO
Ranking
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Miguel Angel de Miguel Cabello (UPM)
  • Autor: Alejandro Antonio Alonso Muñoz (UPM)
  • Autor: Javier Fernandez Briones (UPM)
  • Autor: Juan Pedro Silva Gallino (UPM)
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
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)