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
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
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
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.
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