Integration of Safety Analysis in Model-Driven Software Development

Miguel Cabello, Miguel Angel de and Fernández Briones, Javier and Silva Gallino, Juan Pedro and 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.

Description

Title: Integration of Safety Analysis in Model-Driven Software Development
Author/s:
  • Miguel Cabello, Miguel Angel de
  • Fernández Briones, Javier
  • Silva Gallino, Juan Pedro
  • Alonso Muñoz, Alejandro Antonio
Item Type: Article
Título de Revista/Publicación: IET Software
Date: June 2008
ISSN: 1751-8806
Volume: 2
Subjects:
Freetext Keywords: safety analysis; language syntaxes; refinements; software modelling languages.
Faculty: E.T.S.I. Telecomunicación (UPM)
Department: Ingeniería de Sistemas Telemáticos [hasta 2014]
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (1MB) | Preview

Abstract

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.

More information

Item ID: 2837
DC Identifier: http://oa.upm.es/2837/
OAI Identifier: oai:oa.upm.es:2837
DOI: 10.1049/iet-sen:20070050
Official URL: http://scitation.aip.org/IET-SEN
Deposited by: Memoria Investigacion
Deposited on: 19 Apr 2010 09:15
Last Modified: 20 Apr 2016 12:29
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM