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, 380 Seiten, Format (B × H): 155 mm x 235 mm, Gewicht: 593 g

Reihe: Programming and Software Engineering

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

Inhaltsverzeichnis

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