Schwencke, Daniel and Hungar, Hardi and Caspar, Mirko (2017) Between Academics and Practice: Model-based Development of Generic Safety-Critical Systems. In: Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme XIII, pp. 1-18. fortiss GmbH. Modellbasierte Entwicklung eingebetteter Systeme XIII, 15.-17. März 2017, Dagstuhl, Deutschland.
![]() |
PDF
456kB |
Abstract
Academically, the utilization of models promises a quite precise and formalized description of system behavior already in early design stages. Practically, there are gaps between the necessary and provided capabilities of formalism, tools, and processes. Based on experiences in modeling a safety critical railway Radio Block Center, this paper presents the modeling method and experiences from the development of the model. It discusses the questions of how to validate the model, how to derive verification and testing schemes, and how to verify the conformance of implementations to the model. Gaps between academic needs and practical reality are discussed. Hence, this work aims to focus the further development of model-based approaches in the safety-critical embedded domain.
Item URL in elib: | https://elib.dlr.de/117338/ | |||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Document Type: | Conference or Workshop Item (Speech) | |||||||||||||||
Title: | Between Academics and Practice: Model-based Development of Generic Safety-Critical Systems | |||||||||||||||
Authors: |
| |||||||||||||||
Date: | 2017 | |||||||||||||||
Journal or Publication Title: | Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme XIII | |||||||||||||||
Refereed publication: | Yes | |||||||||||||||
Open Access: | Yes | |||||||||||||||
Gold Open Access: | No | |||||||||||||||
In SCOPUS: | No | |||||||||||||||
In ISI Web of Science: | No | |||||||||||||||
Page Range: | pp. 1-18 | |||||||||||||||
Editors: |
| |||||||||||||||
Publisher: | fortiss GmbH | |||||||||||||||
Status: | Published | |||||||||||||||
Keywords: | Model-based Development, Verification, Code Generation, Railway, Safety, SysML | |||||||||||||||
Event Title: | Modellbasierte Entwicklung eingebetteter Systeme XIII | |||||||||||||||
Event Location: | Dagstuhl, Deutschland | |||||||||||||||
Event Type: | Workshop | |||||||||||||||
Event Dates: | 15.-17. März 2017 | |||||||||||||||
HGF - Research field: | Aeronautics, Space and Transport | |||||||||||||||
HGF - Program: | Transport | |||||||||||||||
HGF - Program Themes: | Traffic Management (old) | |||||||||||||||
DLR - Research area: | Transport | |||||||||||||||
DLR - Program: | V VM - Verkehrsmanagement | |||||||||||||||
DLR - Research theme (Project): | V - Next Generation Railway Systems III (old) | |||||||||||||||
Location: | Braunschweig | |||||||||||||||
Institutes and Institutions: | Institute of Transportation Systems > Verification and Validation | |||||||||||||||
Deposited By: | Schwencke, Dr. Daniel | |||||||||||||||
Deposited On: | 15 Dec 2017 09:15 | |||||||||||||||
Last Modified: | 31 Jul 2019 20:14 |
Repository Staff Only: item control page