Abstract is missing.
- Achieving Europe-wide safety through technical harmonizationRalf Schweinsberg. 3-4 [doi]
- "Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software SecurityKlaus-Rüdiger Hase. 5-38 [doi]
- Formal Method and its Application on Train Operation Control System of Chinese high-speed RailwayTao Tang. 39 [doi]
- Towards Open Modular Critical SystemsAndrás Pataricza. 41-42 [doi]
- Safety and Security in Transportation Process - Not Just Technical IssueMargarita Peltekova. 45-53 [doi]
- The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable TransportationKazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto. 55-63 [doi]
- Complementarity between Axle Counters and Tracks CircuitsMarc Antoni. 65-76 [doi]
- Effects of a Periodic Maintenance on the Safety Integrity Level of a Control SystemKarol Rástocný, Juraj Ilavský. 77-85 [doi]
- Modeling Computer based, microscopic Dispatching SystemsAlexander Kuckelberg, Ekkehard Wendler. 87-95 [doi]
- A Method of Evaluating Railway Signalling System Based on RAMS ConceptShigeto Hiraguri, Koji Iwata, Ikuo Watanabe. 97-105 [doi]
- Model Checking Interlocking Control TablesAlessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi. 107-115 [doi]
- Reliability of the IP Network-based Signal Control System and the Integrated Logical ControllerTakashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto. 117-124 [doi]
- Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection SystemJoffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi. 125-133 [doi]
- Estimation of Safety Requirements for Wayside Hot Box Detection SystemsSonja-Lara Bepperling, Andreas Schöbel. 135-143 [doi]
- Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/JessieKerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse. 145-153 [doi]
- Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway VehiclesMaik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann. 155-164 [doi]
- Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and AssessmentMaria Antova, Dragan Jovicic, Thierry Breyne. 167-174 [doi]
- Designing a semi-quantitative risk graphBirgit Milius. 175-183 [doi]
- On the Justification of a Risk Matrix for Technical Systems in European RailwaysJens Braband. 185-193 [doi]
- Using Guided Simulation to Assess Driver Assistance SystemsMartin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter. 195-205 [doi]
- The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain KnowledgeJan Gacnik, Henning Jost, Frank Köster, Martin Fränzle. 207-215 [doi]
- Calibration and Validation of Simulation Models for Investigation of Traffic Assistance SystemsStefan Detering, Lars Schnieder. 217-225 [doi]
- Model-based Integration Framework for Development and Testing Tool-chainsBalázs Polgár, István Ráth, István Majzik. 227-235 [doi]
- Automatically Deriving Symbolic Invariants for PLC Programs Written in ILSebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich. 237-245 [doi]
- Automatic Fault Localization for Programmable Logic ControllersAndré Sülflow, Rolf Drechsler. 247-256 [doi]