Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 12297)
Part of the book sub series: Programming and Software Engineering (LNPSE)
Included in the following conference series:
Conference proceedings info: IMBSA 2020.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
This book constitutes the proceedings of the 7th International Symposium on Model-Based Safety and Assessment, IMBSA 2020, held in Lisbon, Portugal, in September 2020. The conference was held virtually due to the COVID-19 pandemic.
The 15 revised full papers and 4 short papers presented were carefully reviewed and selected from 30 initial submissions. The papers are organized in topical sections on safety models and languages; state-space modeling; dependability analysis process; safety assessment in automotive domain; AI and safety assurance.
Similar content being viewed by others
Keywords
- artificial intelligence
- computer hardware
- computer networks
- computer programming
- computer science
- computer systems
- distributed computer systems
- embedded systems
- engineering
- fault tolerant computer systems
- Field Programmable Gate Array (FPGA)
- internet
- mathematics
- mobile robots
- object-oriented programming
- signal processing
- software architecture
- software design
- software engineering
- software quality
Table of contents (15 papers)
-
State-Space Modeling
-
Safety Assessment in the Automotive Domain
-
Artificial Intelligence (AI) and Safety Assurance
Other volumes
-
Model-Based Safety and Assessment
Editors and Affiliations
Bibliographic Information
Book Title: Model-Based Safety and Assessment
Book Subtitle: 7th International Symposium, IMBSA 2020, Lisbon, Portugal, September 14–16, 2020, Proceedings
Editors: Marc Zeller, Kai Höfig
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-030-58920-2
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-58919-6Published: 04 September 2020
eBook ISBN: 978-3-030-58920-2Published: 03 September 2020
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XI, 255
Number of Illustrations: 47 b/w illustrations
Topics: Logics and Meanings of Programs, Artificial Intelligence, Computer Applications, Computer Systems Organization and Communication Networks