Logo des Repositoriums

P332 - Software Engineering 2023

https://dl.gi.de/handle/20.500.12116/40068
Auflistung nach:

Auflistung P332 - Software Engineering 2023 nach Schlagwort "Adequacy"

1 - 1 von 1
  • Konferenzbeitrag
    Generating Review Models to Validate Safety Requirements
    (Software Engineering 2023, 2023) Tenbergen, Bastian; Weyer, Thorsten
    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].