Model based integration of safety analysis and development

miguel, morgan; Briones, Javier Fernández; Silva, J.P.; Alonso, Alejandro

doi:10.1109/isorc.2006.53

Cited by 3 publications

(1 citation statement)

References 0 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We are carrying out our work ( [4], [5], [6], [7]) in the context of air navigation systems (ANS) where a component and model-driven based development is suitable and where safety needs are significant. Eurocontrol works to create regulatory requirements (ESARR) and guidelines to improve the safety of air navigation.…”

Section: Introductionmentioning

confidence: 99%

Application of Safety Analyses in Model Driven Development

Briones

Miguel

Silva

et al. 2007

Software Technologies for Embedded and Ubiquitous Systems

View full text Add to dashboard Cite

Abstract. Some high integrity software systems require the rigorous validation of safety properties. Assessing whether software architectures are able to meet these requirements is of great interest: to avoid the risk that the implementation does not fulfill requirements due to a bad design, and, to reduce the development cost of safety critical parts of the system. Safety analyses like FMECA and FTA are two methods used during preliminary safety assessments. We have implemented tools to automatically generate safety analyses from the models of the architecture: a UML profile for safety, modeling languages to express safety analyses, and a model transformation chain. Safety analysts can use these tools to annotate the models, analyze the architecture, and recommend system engineers mitigation means to apply for improving the architecture.

show abstract

Section: Introductionmentioning

confidence: 99%