Using Tool-Supported Model Based Safety Analysis - Progress and Experiences in SAML Development.

Michael Lipaczewski Simon Struck Frank Ortmeier

Published in: HASE (2012)

Keyphrases

safety analysis
safety critical
case study
control system
software engineering
fault tolerant
dynamic systems
artificial intelligence
decision support
knowledge based systems
real valued