Model-Based Safety and Assessment

4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

Frank Ortmeier, Antoine Rauzy (Herausgeber)

Buch | Softcover

X, 209 Seiten

2014 | 2014
Springer International Publishing (Verlag)
978-3-319-12213-7 (ISBN)

Artikel merken

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.

Modeling Paradigms.- Validation and Testing.- Fault Detection and Handling.- Safety Assessment in the Automotive Domain.- Case Studies.

Erscheint lt. Verlag	2.10.2014
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	X, 209 p. 91 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	330 g
Themenwelt	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Software Entwicklung
	Informatik ► Theorie / Studium ► Algorithmen
Schlagworte	Algorithm analysis and problem complexity • Assertion Checking • failure prediction • Formal Verification • Model-Based Testing • Model Checking • model development and analysis • modeling methodologies • model verification and validation • Reliability • safety critical systems • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • theorem proving algorithms • theorem proving and SAT solving
ISBN-10	3-319-12213-4 / 3319122134
ISBN-13	978-3-319-12213-7 / 9783319122137
Zustand	Neuware