ATEM 2006 SI paper:
Integration of Safety Analysis in Model-Driven Software Development

Miguel A. de Miguel, Javier Fernández Briones, Juan Pedro Silva, Alejandro Alonso

DOI: 10.1049/iet-sen:20070050
Extended version of Integration of safety analysis and software development methods (IET CP 2006) & Application of Safety Analyses in Model Driven Development (SEUS 2007)
T1D: Composition
- The contribution is about coupling/integrating safety-analysis languages (FTA/FMECA) with software modelling languages (e.g., UML) in an MDD toolchain.
T5A: Requirements
- Safety objectives and safety requirements are first-class modelling concepts and the approach aims to verify architectures against them.
T4B: Horizontal Transformation
- The integration relies on language mappings/model transformations between architecture models and safety-analysis models.
T3A: Meta-languages
- It introduces/uses metamodels, profiles and a platform-independent safety language as meta-language artefacts to bridge domains.

The page is maintained by Dr. Vadim Zaytsev a.k.a. @grammarware. Last updated: June 2026.