Model-Based Integration of Safety Analysis and Reliable Software Development

  • Authors:
  • Miguel A. de Miguel;Bernard Pauly;Thierry Person;Javier Fernandez

  • Affiliations:
  • E.T.S.I. Telecomunicación Ciudad Universitaria, Madrid Spain;Thales-ATM;Thales-ATM;E.T.S.I. Telecomunicación Ciudad Universitaria, Madrid Spain

  • Venue:
  • WORDS '05 Proceedings of the 10th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Software development of safety critical systems must combine the application of software developments techniques and safety analysis. The safety analyzers and software architects must have a common understanding of what makes a system safe, and what mitigation means improve the software component reliability and quality. Model driven development is an approach to reduce the gap between safety analysis technologies (e.g. FMECA and FTA) and software development languages e.g. UML). Model driven technologies (e.g. metamodels and model transformation) give support for the integration of safety analysis concepts (e.g. risks, hazards and mitigation means) and software development concepts (e.g. components), and for the direct application of safety analysis on to software architectures.