Railway engineering must regard a specific international and national legal framework which includes several levels of abstraction. A consistent understanding and application of its linguistic context can only result effectively if an unambiguous taxonomy of terms is applied which finally leads to quantifiable values of the physical implementation. The evolution of this safety culture is outlined in the first part. The contemporary situation incorporates new approaches which require the involved parties to dispose of a concise understanding. In order to fulfil this ambition, a formalised conceptualisation is proposed which leads directly to its concretion by standardised formal methods. Hence a methodologically closed formalised conceptualisation can comply with the legal framework in the second section of this article.
Formalized conceptualization for the harmonization of the legal framework in railway transportation
Formalisiertes Konzept für die Harmonisierung der Rechtslage im Eisenbahnwesen
2008
14 Seiten, 9 Bilder, 2 Tabellen, 38 Quellen
Conference paper
English
Bahntransport , DIN-Norm , Eisenbahn , Eisenbahnbedarf , Eisenbahnsignaltechnik , Europäische Kommission , Europäische Norm , Europäischer Binnenmarkt , formale Spezifikation , Gesetzgebung , Interoperabilität , komplexes System , Komplexität , Linguistik , Microcomputer , Prozessoptimierung , Reifegrad , Safety-Critical-Software-Design , sichere Applikationsentwicklung , Sicherheitsnorm , Sicherheitsrecht , Sicherheitsrichtlinie , Sicherheits-Software , Sicherheitsstrategie , Software-Engineering-Management , Transportwesen (Verkehr) , Wettbewerb
Legal compliance checking of autonomous driving with formalized traffic rule exceptions
Fraunhofer Publica | 2023
|