Modeling and Safety-Certification of Model-based Development Processes
dc.contributor.author | Slotosch, Oscar | |
dc.contributor.author | Abu-Alqumsan, Mohammad | |
dc.contributor.editor | Schaefer, Ina | |
dc.contributor.editor | Karagiannis, Dimitris | |
dc.contributor.editor | Vogelsang, Andreas | |
dc.contributor.editor | Méndez, Daniel | |
dc.contributor.editor | Seidl, Christoph | |
dc.date.accessioned | 2018-01-23T21:43:20Z | |
dc.date.available | 2018-01-23T21:43:20Z | |
dc.date.issued | 2018 | |
dc.description.abstract | In this paper, we describe a two-step approach to show evidence for compliance with safety standards within certification efforts for model-based development projects that share some commonalities (i.e. using the same metamodel). The approach is based on modeling model-based development processes in combination with the requirements imposed on them by safety standards. Besides the typical benefits of model-based approaches (modularity, rigor, formalization and simulation), we use the combined hierarchic processes-requirements model in order to automatically generate formalized descriptions of processes, standard compliance report and verification check-lists. The process description can be used to introduce new team members to the deployed development processes. As a concrete example of the proposed approach, we present representative parts of the Validas model-based tool qualification process that has been fully modeled and certified based on the automatically generated documents by TÜV SÜD | en |
dc.identifier.isbn | 978-3-88579-674-9 | |
dc.identifier.pissn | 1617-5468 | |
dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/14943 | |
dc.language.iso | en | |
dc.publisher | Gesellschaft für Informatik e.V. | |
dc.relation.ispartof | Modellierung 2018 | |
dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-280 | |
dc.subject | Model-based Development | |
dc.subject | Process Model | |
dc.subject | Safety Standards | |
dc.subject | Tool Qualification | |
dc.title | Modeling and Safety-Certification of Model-based Development Processes | en |
dc.type | Text/Conference Paper | |
gi.citation.endPage | 273 | |
gi.citation.publisherPlace | Bonn | |
gi.citation.startPage | 261 | |
gi.conference.date | 21.-23. Februar 2018 | |
gi.conference.location | Braunschweig | |
gi.conference.sessiontitle | Praxisforum |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- Name:
- modellierung2018-praxis-03.pdf
- Größe:
- 564.11 KB
- Format:
- Adobe Portable Document Format