Model-Based Safety and Assessment

6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16¿18, 2019, Proceedings
1. Auflage 2019
ISBN: 978-3-030-32871-9
Verlag: Springer International Publishing

Buch, Englisch, Band 11842, 380 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 593 g

Reihe: Lecture Notes in Computer Science

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.

Zielgruppe

Research

Autoren/Hrsg.

Papadopoulos, Yiannis

Bozzano, Marco

Aslansefat, Koorosh

Katsaros, Panagiotis

Fachgebiete

• Mathematik | Informatik EDV | Informatik Informatik Logik, formale Sprachen, Automaten
• Mathematik | Informatik EDV | Informatik Technische Informatik Computersicherheit
• Mathematik | Informatik EDV | Informatik Angewandte Informatik
• Technische Wissenschaften Technik Allgemein Systems Engineering
• Mathematik | Informatik EDV | Informatik Technische Informatik Eingebettete Systeme
• Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Software Engineering
• Mathematik | Informatik EDV | Informatik Informatik Rechnerarchitektur
• Technische Wissenschaften Technik Allgemein Technische Zuverlässigkeit, Sicherheitstechnik

Inhaltsverzeichnis

Safety Models and Languages.- Dependability Analysis Process.- Safety Assessment.- Safety Assessment in Automotive Industry.- AI in Safety Assessment.