Konferenzbeitrag
Generating Review Models to Validate Safety Requirements
Lade...
Volltext URI
Dokumententyp
Text/Conference Paper
Dateien
Zusatzinformation
Datum
2023
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Quelle
Verlag
Gesellschaft für Informatik e.V.
Zusammenfassung
This talk discusses our approach for automatically generating review models for safety-critical systems presented in the paper [TW21] published in the Feb. ’21 issue of the Journal of Software and Systems Modeling. We present a semi-automated formal approach and tool support to generate Hazard Relation Diagrams. Enabled by mitigation tables, the approach consists of two transformation steps using OMG’s QVTo language [OMG16].