Logo des Repositoriums
 
Konferenzbeitrag

Modeling and Safety-Certification of Model-based Development Processes

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2018

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

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

Beschreibung

Slotosch, Oscar; Abu-Alqumsan, Mohammad (2018): Modeling and Safety-Certification of Model-based Development Processes. Modellierung 2018. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 978-3-88579-674-9. pp. 261-273. Praxisforum. Braunschweig. 21.-23. Februar 2018

Zitierform

DOI

Tags