Model-Based Safety and Assessment, 2014 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings Programming and Software Engineering Series
Coordonnateurs : Ortmeier Frank, Rauzy Antoine
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.
Modeling Paradigms.- Validation and Testing.- Fault Detection and Handling.- Safety Assessment in the Automotive Domain.- Case Studies.
Date de parution : 10-2014
Ouvrage de 209 p.
15.5x23.5 cm
Thèmes de Model-Based Safety and Assessment :
Mots-clés :
assertion checking; failure prediction; formal verification; model checking; model development and analysis; model verification and validation; model-based testing; modeling methodologies; reliability; safety critical systems; theorem proving algorithms; theorem proving and sat solving; algorithm analysis and problem complexity