Model-Based Safety and Assessment - 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings

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.

List of contents

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

Summary

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.

Product details

• Assisted by: Fran Ortmeier (Editor), Frank Ortmeier (Editor), RAUZY (Editor), Rauzy (Editor), Antoine Rauzy (Editor)
• Publisher: Springer, Berlin
• Languages: English
• Product format: Paperback / Softback
• Released: 01.01.2014
• EAN: 9783319122137
• ISBN: 978-3-31-912213-7
• No. of pages: 209
• Dimensions: 159 mm x 235 mm x 6 mm
• Weight: 330 g
• Illustrations: X, 209 p. 91 illus.
• Series: Lecture Notes in Computer Science; Programming and Software Engineering; Lecture Notes in Computer Science / Programming and Software Engineering; Lecture Notes in Computer Science; Programming and Software Engineering
• Subjects: Natural sciences, medicine, IT, technology > IT, data processing > IT; C, Algorithmen und Datenstrukturen, Software Engineering, Algorithms, computer science, Logics and Meanings of Programs, Programming Languages, Compilers, Interpreters, Algorithms & data structures, Mathematical theory of computation, Algorithm Analysis and Problem Complexity, Mathematical logic, Mathematical Logic and Formal Languages, Computer architecture & logic design, Programming & scripting languages: general, Compilers & interpreters, Programming languages (Electronic computers), Computer logic, Computer Science Logic and Foundations of Programming, Formal Languages and Automata Theory, Compilers and Interpreters