Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8822)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: IMBSA 2014.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (15 papers)
-
Validation and Testing
-
Safety Assessment in the Automotive Domain
Other volumes
-
Model-Based Safety and Assessment
Keywords
- 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
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Model-Based Safety and Assessment
Book Subtitle: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014, Proceedings
Editors: Frank Ortmeier, Antoine Rauzy
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-12214-4
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing Switzerland 2014
Softcover ISBN: 978-3-319-12213-7Published: 02 October 2014
eBook ISBN: 978-3-319-12214-4Published: 24 September 2014
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 209
Number of Illustrations: 91 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Mathematical Logic and Formal Languages, Programming Languages, Compilers, Interpreters, Algorithm Analysis and Problem Complexity