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

Introducing Semi-Formal Specifications into a Distributed Development Process

Hungar, Hardi and Meyer zu Hörste, Michael (2014) Introducing Semi-Formal Specifications into a Distributed Development Process. VeriSure 2014, 23. Juli 2014, Wien, Österreich.

[img] PDF - Registered users only
136kB

Abstract

In Europe, the development of safety-critical rail IT is regulated by the Common Safety Method (CSM~352) and CENELEC standards EN 50126 to EN 50129. The CSM requires the railway undertaking to unambigously specify requirements on Equipment. The infrastructure branch of German Railways (DB Netz) has chosen to base the specifications of interlockings and related equipment like field element controllers on SysML Statecharts. Although these specifications will be more consistent and precise than the text-based ones in use before, this approach faces opposition from manufacturers who find it difficult to justify the correctness of their implementation. This paper reports on the approach, its motivation and its practical difficulties, and it endeavours to identify its merits and weaknesses.

Item URL in elib:https://elib.dlr.de/94647/
Document Type:Conference or Workshop Item (Speech)
Title:Introducing Semi-Formal Specifications into a Distributed Development Process
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Hungar, HardiDLRUNSPECIFIED
Meyer zu Hörste, MichaelUNSPECIFIEDUNSPECIFIED
Date:2014
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:No
Status:Published
Keywords:formalisation, development process, standards
Event Title:VeriSure 2014
Event Location:Wien, Österreich
Event Type:Workshop
Event Dates:23. Juli 2014
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 System II (old)
Location: Braunschweig
Institutes and Institutions:Institute of Transportation Systems > Bahntechnik
Deposited By: Hungar, PD Dr. Hardi
Deposited On:19 Jan 2015 09:42
Last Modified:19 Jan 2015 09:42

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.