Generating Review Models to Validate Safety Requirements

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].
  • Vollständige Referenz
  • BibTeX
Tenbergen, B. & Weyer, T., (2023). Generating Review Models to Validate Safety Requirements. In: Engels, G., Hebig, R. & Tichy, M. (Hrsg.), Software Engineering 2023. Bonn: Gesellschaft für Informatik e.V.. (S. 117-118).
@inproceedings{mci/Tenbergen2023,
author = {Tenbergen, Bastian AND Weyer, Thorsten},
title = {Generating Review Models to Validate Safety Requirements},
booktitle = {Software Engineering 2023},
year = {2023},
editor = {Engels, Gregor AND Hebig, Regina AND Tichy, Matthias} ,
pages = { 117-118 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
paper45.pdf248.5Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 978-3-88579-726-5
ISSN: 1617-5468
Datum: 2023
Sprache: en (en)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige