Auflistung nach Schlagwort "Modeling relation diagrams"
1 - 1 von 1
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragGenerating Review Models to Validate Safety Requirements(Software Engineering 2023, 2023) Tenbergen, Bastian; Weyer, ThorstenThis 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].