Editors:
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 8822)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Conference series link(s): IMBSA: International Symposium on Model-Based Safety and Assessment
Conference proceedings info: IMBSA 2014.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (15 papers)
-
Front Matter
-
Validation and Testing
-
Safety Assessment in the Automotive Domain
-
Back Matter
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.
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
Editors and Affiliations
-
Faculty of Computer Systems, Computer Systems in Engineering (CSE), Otto von Guericke-University Magdeburg, Magdeburg, Germany
Frank Ortmeier
-
Laboratoire d’Informatique (LIX), Route de Saclay, École Polytechnique, Palaiseau Cedex, France
Antoine Rauzy
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