Model-Based Safety and Assessment

5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings

Marco Bozzano, Yiannis Papadopoulos (Herausgeber)

Buch | Softcover

X, 273 Seiten

2017 | 1st ed. 2017
Springer International Publishing (Verlag)
9783319641188 (ISBN)

Artikel merken

This book constitutes the proceedings of the 5th International Symposium on Model-Based Safety and Assessment, IMBSA 2017, held inTrento, Italy, in September 2017.
The 17 revised full papers presented were carefully reviewed and selected from 29 initial submissions. The papers are organized in topical sections on safety process; safety models and languages; fault detection and propagation; safety assessment in the automotive domain; and case studies.

Safety process.- Safety models and languages.- Fault detection and propagation.- Safety assessment in the automotive domain.- Case studies.

Erscheinungsdatum	30.08.2017
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	X, 273 p. 109 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	438 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Algorithm analysis and problem complexity • computer architecture & logic design • Computer architecture & logic design • Computer programming / software engineering • Computer Science • Dependability • Embedded Systems • fault injection • Fault Models • formal methods • Formal Specifications • Logics and meanings of programs • Mathematical logic and formal languages • Mathematical theory of computation • model-based design • Model Checking • Reliability • Requirements Analysis • Requirements Specification • Safety Assessment • safety critical systems • software architecture • Software engineering
ISBN-13	9783319641188 / 9783319641188
Zustand	Neuware