elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

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

Schwencke, Daniel und Hungar, Hardi und 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, Seiten 1-18. fortiss GmbH. Modellbasierte Entwicklung eingebetteter Systeme XIII, 2017-03-15 - 2017-03-17, Dagstuhl, Deutschland.

[img] PDF
456kB

Kurzfassung

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.

elib-URL des Eintrags:https://elib.dlr.de/117338/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Between Academics and Practice: Model-based Development of Generic Safety-Critical Systems
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Schwencke, DanielDaniel.Schwencke (at) dlr.dehttps://orcid.org/0000-0002-0592-9551NICHT SPEZIFIZIERT
Hungar, HardiHardi.Hungar (at) dlr.dehttps://orcid.org/0000-0001-6777-0614NICHT SPEZIFIZIERT
Caspar, MirkoDLRNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2017
Erschienen in:Tagungsband des Dagstuhl-Workshops Modellbasierte Entwicklung eingebetteter Systeme XIII
Referierte Publikation:Ja
Open Access:Ja
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Seitenbereich:Seiten 1-18
Herausgeber:
HerausgeberInstitution und/oder E-Mail-Adresse der HerausgeberHerausgeber-ORCID-iDORCID Put Code
Huhn, MichaelaOstfalia Hochschule für angewandte WissenschaftenNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Hungar, HardiDLRNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Riebisch, MatthiasUniversität HamburgNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Voss, Sebastianfortiss GmbHNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Verlag:fortiss GmbH
Status:veröffentlicht
Stichwörter:Model-based Development, Verification, Code Generation, Railway, Safety, SysML
Veranstaltungstitel:Modellbasierte Entwicklung eingebetteter Systeme XIII
Veranstaltungsort:Dagstuhl, Deutschland
Veranstaltungsart:Workshop
Veranstaltungsbeginn:15 März 2017
Veranstaltungsende:17 März 2017
HGF - Forschungsbereich:Luftfahrt, Raumfahrt und Verkehr
HGF - Programm:Verkehr
HGF - Programmthema:Verkehrsmanagement (alt)
DLR - Schwerpunkt:Verkehr
DLR - Forschungsgebiet:V VM - Verkehrsmanagement
DLR - Teilgebiet (Projekt, Vorhaben):V - Next Generation Railway Systems III (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Verkehrssystemtechnik > Testen
Hinterlegt von: Schwencke, Dr. Daniel
Hinterlegt am:15 Dez 2017 09:15
Letzte Änderung:24 Apr 2024 20:21

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.