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.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.identifier.isbn | 978-3-88579-726-5 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/40112 | |
| 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 | |
| gi.citation.endPage | 118 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 117 | |
| gi.conference.date | 20.–24. Februar 2023 | |
| gi.conference.location | Paderborn | |
| gi.conference.sessiontitle | Wissenschaftliches Hauptprogramm |
Dateien
Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
- Name:
- paper45.pdf
- Größe:
- 248.52 KB
- Format:
- Adobe Portable Document Format