This book constitutes the refereed proceedings of the 4th International Symposium on Model-Based Safety and Assessment, IMBSA 2014, held in Munich, Germany, in October 2014. The 15 revised full papers presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on modeling paradigms, validation and testing, fault detection and handling, safety assessment in the automotive domain, and case studies.4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings Frank Ortmeier, Antoine Rauzy. propagation and adaptation of changes across related patterns, increasing confidence in reuse as well as the maintainability of the library. ... of a safety mechanism at software level, whose definition includes transfer behavior, e.g., code specification or a state automaton .
|Title||:||Model-Based Safety and Assessment|
|Author||:||Frank Ortmeier, Antoine Rauzy|
|Publisher||:||Springer - 2014-09-24|