Cover Image

Model-Based Safety and Assessment : 8th International Symposium, IMBSA 2022, Munich, Germany, September 5-7, 2022, Proceedings /

This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers...

Full description

Bibliographic Details
Corporate Author: SpringerLink (Online service)
Other Authors: Seguin, Christel (Editor), Zeller, Marc (Editor), Prosvirnova, Tatiana (Editor)
Format: eBook
Language:English
Published: Cham : Springer International Publishing : Imprint: Springer, 2022.
Edition:1st ed. 2022.
Series:Lecture Notes in Computer Science, 13525
Subjects:
Computer science.
Computers, Special purpose.
Computer networks .
Computer systems.
Computer Science Logic and Foundations of Programming.
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Computer System Implementation.
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Summary:This book constitutes the proceedings of the 8th International Symposium on Model-Based Safety and Assessment, IMBSA 2022, held in Munich, Germany, in September 2022. The 15 revised full papers and 3 short papers presented were carefully reviewed and selected from 27 initial submissions. The papers focus on model-based and automated ways of assessing safety and other attributes of dependability of complex systems. They are organized in topical sections on safety analysis automation, MBSA practices, causal models and failure modeling strategies, designing mitigations of faults and attacks, data based safety analysis, dynamic risk assessment.
Physical Description:1 online resource (XIII, 267 pages 133 illustrations, 110 illustrations in color)
ISBN:9783031158421
ISSN:1611-3349 ;
DOI:10.1007/978-3-031-15842-1