elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Between Academics and Practice: Model-based Development of Generic Safety-Critical Systems

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.

[img] 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:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Schwencke, DanielDaniel.Schwencke (at) dlr.dehttps://orcid.org/0000-0002-0592-9551
Hungar, HardiHardi.Hungar (at) dlr.dehttps://orcid.org/0000-0001-6777-0614
Caspar, MirkoDLRUNSPECIFIED
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:
EditorsEmail
Huhn, MichaelaOstfalia Hochschule für angewandte Wissenschaften
Hungar, HardiDLR
Riebisch, MatthiasUniversität Hamburg
Voss, Sebastianfortiss GmbH
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

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.