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

Testen in der modellbasierten Entwicklung der ETCS-On-Board-Unit

Behrens, Marc and Caspar, Mirko and Hungar, Hardi and Lemmer, Karsten (2016) Testen in der modellbasierten Entwicklung der ETCS-On-Board-Unit. SIGNAL + DRAHT, 108 (7+8), pp. 21-28. DVV Media Group. ISSN 0037-4997

[img] PDF - Registered users only
1MB

Abstract

Für die Entwicklung sicherheitskritischer elektronischer Bahnsysteme machen die relevanten CENELEC-Normen [EN 50126], [EN 50128] methodische Vorgaben bzw. geben Empfehlungen (recommended, highly recommended) ab. Die Verwendung von Formalisierungen, insbesondere auch in Form von Modellen, zählt zu diesen Maßnahmen. Das Projekt openETCS ist mit dem Ziel angetreten, eine Referenzsoftware für den ETCS-Zugsicherungsrechner unter möglichst weitgehender Verwendung solcher Formalisierungen zu entwickeln. Ein wesentlicher Vorteil eines solchen Vorgehens ist eine zuverlässigere Absicherung der einzelnen Entwurfsschritte als mit traditionellen, weniger präzisen Methoden. In diesem Artikel wird an dem Beispiel der openETCS-Entwicklung gezeigt, wie und an welchen Stellen Verifikationen und Validierungen davon profitieren können, wenn die Entwicklung modellbasiert erfolgt.

Item URL in elib:https://elib.dlr.de/107850/
Document Type:Article
Title:Testen in der modellbasierten Entwicklung der ETCS-On-Board-Unit
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Behrens, MarcdlrUNSPECIFIED
Caspar, MirkoDLRUNSPECIFIED
Hungar, HardidlrUNSPECIFIED
Lemmer, KarstendlrUNSPECIFIED
Date:2016
Journal or Publication Title:SIGNAL + DRAHT
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Volume:108
Page Range:pp. 21-28
Publisher:DVV Media Group
ISSN:0037-4997
Status:Published
Keywords:ETCS, Zugsicherungsrechner, Verifikation, Validierung, modellbasierter Entwurf, Formalisierung
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
Deposited By: Hungar, PD Dr. Hardi
Deposited On:28 Nov 2016 10:07
Last Modified:10 Jan 2019 15:50

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.