Model-Based Safety and Assessment
6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
Editors: Papadopoulos, Y., Aslansefat, K., Katsaros, P., Bozzano, M. (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the proceedings of the 6th International Symposium on Model-Based Safety and Assessment, IMBSA 2019, held inThessaloniki, Greece, in October 2019.
The 24 revised full papers presented were carefully reviewed and selected from 46 initial submissions. The papers are organized in topical sections on safety models and languages; dependability analysis process; safety assessment; safety assessment in automotive industry; AI in safety assessment.
- Table of contents (24 chapters)
-
-
Modeling Functional Allocation in AltaRica to Support MBSE/MBSA Consistency
Pages 3-17
-
Model Based Approach for RAMS Analyses in the Space Domain with Capella Open-Source Tool
Pages 18-31
-
Modeling Patterns for the Assessment of Maintenance Policies with AltaRica 3.0
Pages 32-46
-
A Domain Specific Language to Support HAZOP Studies of SysML Models
Pages 47-62
-
Integrating Existing Safety Analyses into SysML
Pages 63-77
-
Table of contents (24 chapters)
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Model-Based Safety and Assessment
- Book Subtitle
- 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16–18, 2019, Proceedings
- Editors
-
- Yiannis Papadopoulos
- Koorosh Aslansefat
- Panagiotis Katsaros
- Marco Bozzano
- Series Title
- Programming and Software Engineering
- Series Volume
- 11842
- Copyright
- 2019
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer Nature Switzerland AG
- eBook ISBN
- 978-3-030-32872-6
- DOI
- 10.1007/978-3-030-32872-6
- Softcover ISBN
- 978-3-030-32871-9
- Edition Number
- 1
- Number of Pages
- XI, 380
- Number of Illustrations
- 135 b/w illustrations, 101 illustrations in colour
- Topics
