Integration of Safety Analysis in Model-Driven Software Development

Miguel Cabello, Miguel Angel de; Fernández Briones, Javier; Silva Gallino, Juan Pedro y Alonso Muñoz, Alejandro Antonio (2008). Integration of Safety Analysis in Model-Driven Software Development. "IET Software", v. 2 (n. 3); pp. 260-280. ISSN 1751-8806. https://doi.org/10.1049/iet-sen:20070050.

Descripción

Título: Integration of Safety Analysis in Model-Driven Software Development
Autor/es:
  • Miguel Cabello, Miguel Angel de
  • Fernández Briones, Javier
  • Silva Gallino, Juan Pedro
  • Alonso Muñoz, Alejandro Antonio
Tipo de Documento: Artículo
Título de Revista/Publicación: IET Software
Fecha: Junio 2008
Volumen: 2
Materias:
Palabras Clave Informales: safety analysis; language syntaxes; refinements; software modelling languages.
Escuela: E.T.S.I. Telecomunicación (UPM)
Departamento: Ingeniería de Sistemas Telemáticos [hasta 2014]
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 (1MB) | Vista Previa

Resumen

I 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.

Más información

ID de Registro: 2837
Identificador DC: http://oa.upm.es/2837/
Identificador OAI: oai:oa.upm.es:2837
Identificador DOI: 10.1049/iet-sen:20070050
URL Oficial: http://scitation.aip.org/IET-SEN
Depositado por: Memoria Investigacion
Depositado el: 19 Abr 2010 09:15
Ultima Modificación: 20 Abr 2016 12:29
  • 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