Overview
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10437)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: IMBSA 2017.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (17 papers)
-
Safety Process
-
Safety Models and Languages
-
Safety Assessment in the Automotive Domain
Other volumes
-
Model-Based Safety and Assessment
Keywords
- Safety critical systems
- Reliability
- Formal Specifications
- Formal Methods
- Fault Models
- Fault Injection
- Dependability
- Requirements Specification
- Requirements Analysis
- Safety Assessment
- Model-Based Design
- software engineering
- embedded systems
- model checking
- software architecture
- algorithm analysis and problem complexity
About this book
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.
Editors and Affiliations
Bibliographic Information
Book Title: Model-Based Safety and Assessment
Book Subtitle: 5th International Symposium, IMBSA 2017, Trento, Italy, September 11–13, 2017, Proceedings
Editors: Marco Bozzano, Yiannis Papadopoulos
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-64119-5
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-64118-8Published: 02 August 2017
eBook ISBN: 978-3-319-64119-5Published: 01 September 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: X, 273
Number of Illustrations: 109 b/w illustrations
Topics: Logics and Meanings of Programs, Software Engineering, Mathematical Logic and Formal Languages, Algorithm Analysis and Problem Complexity, Special Purpose and Application-Based Systems