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

Introducing Semi-Formal Specifications into a Distributed Development Process

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

[img] PDF - Nur DLR-intern zugänglich
136kB

Kurzfassung

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.

elib-URL des Eintrags:https://elib.dlr.de/94647/
Dokumentart:Konferenzbeitrag (Vortrag)
Titel:Introducing Semi-Formal Specifications into a Distributed Development Process
Autoren:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Hungar, HardiDLRNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Meyer zu Hörste, MichaelNICHT SPEZIFIZIERTNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Datum:2014
Referierte Publikation:Ja
Open Access:Nein
Gold Open Access:Nein
In SCOPUS:Nein
In ISI Web of Science:Nein
Status:veröffentlicht
Stichwörter:formalisation, development process, standards
Veranstaltungstitel:VeriSure 2014
Veranstaltungsort:Wien, Österreich
Veranstaltungsart:Workshop
Veranstaltungsdatum:23 Juli 2014
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 System II (alt)
Standort: Braunschweig
Institute & Einrichtungen:Institut für Verkehrssystemtechnik > Bahntechnik
Hinterlegt von: Hungar, PD Dr. Hardi
Hinterlegt am:19 Jan 2015 09:42
Letzte Änderung:24 Apr 2024 20:00

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.