Generating Review Models to Validate Safety Requirements

dc.contributor.author	Tenbergen, Bastian
dc.contributor.author	Weyer, Thorsten
dc.contributor.editor	Engels, Gregor
dc.contributor.editor	Hebig, Regina
dc.contributor.editor	Tichy, Matthias
dc.date.accessioned	2023-01-18T13:38:51Z
dc.date.available	2023-01-18T13:38:51Z
dc.date.issued	2023
dc.identifier.isbn	978-3-88579-726-5
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/40112
dc.description.abstract	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].	en
dc.language.iso	en
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Software Engineering 2023
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-332
dc.subject	Safety requirements
dc.subject	Hazards
dc.subject	Validation
dc.subject	Adequacy
dc.subject	Modeling relation diagrams
dc.title	Generating Review Models to Validate Safety Requirements	en
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	117-118
mci.conference.sessiontitle	Wissenschaftliches Hauptprogramm
mci.conference.location	Paderborn
mci.conference.date	20.–24. Februar 2023