Logo des Repositoriums
 
Konferenzbeitrag

Generating Review Models to Validate Safety Requirements

Vorschaubild nicht verfügbar

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2023

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

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].

Beschreibung

Tenbergen, Bastian; Weyer, Thorsten (2023): Generating Review Models to Validate Safety Requirements. Software Engineering 2023. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-726-5. pp. 117-118. Wissenschaftliches Hauptprogramm. Paderborn. 20.–24. Februar 2023

Zitierform

DOI

Tags