Schnieder, Eckehard
FORMS/FORMAT 2010
1. Achieving Europe-wide safety through technical harmonization
Ralf Schweinsberg
2. “Open Proof” for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security
Klaus-Rüdiger Hase
3. Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway
Tao Tang
4. Towards Open Modular Critical Systems
András Pataricza
5. Safety and Security in Transportation Process - Not Just Technical Issue
Margarita Peltekova
6. The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation
Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto
7. Complementarity between Axle Counters and Tracks Circuits
Marc Antoni
8. Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System
Karol Rástočny, Juraj Ilavský
9. Modeling Computer based, microscopic Dispatching Systems
Alexander Kuckelberg, Ekkehard Wendler
10. A Method of Evaluating Railway Signalling System Based on RAMS Concept
Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe
11. Model Checking Interlocking Control Tables
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi
12. Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller
Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto
13. Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System
Joffrey Clarhaut, Etienne Lemaire, El Miloudi El Koursi
14. Estimation of Safety Requirements for Wayside Hot Box Detection Systems
Sonja-Lara Bepperling, Andreas Schöbel
15. Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie
Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse
16. Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles
Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann
17. Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment
Maria Antova, Dragan Jovicic, Thierry Breyne
18. Designing a semi-quantitative risk graph
Birgit Milius
19. On the Justification of a Risk Matrix for Technical Systems in European Railways
Jens Braband
20. Using Guided Simulation to Assess Driver Assistance Systems
Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter
21. The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge
Jan Gačnik, Henning Jost, Frank Köster, Martin Fränzle
22. Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems
Stefan Detering, Lars Schnieder
23. Model-based Integration Framework for Development and Testing Tool-chains
B. Polgár, I. Ráth, I. Majzik
24. Automatically Deriving Symbolic Invariants for PLC Programs Written in IL
Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich
25. Automatic Fault Localization for Programmable Logic Controllers
André Sülflow, Rolf Drechsler
Keywords: Engineering, Quality Control, Reliability, Safety and Risk, Automotive Engineering, Simulation and Modeling, Complexity
- Author(s)
- Schnieder, Eckehard
- Tarnai, Geza
- Publisher
- Springer
- Publication year
- 2011
- Language
- en
- Edition
- 1
- Page amount
- 11 pages
- Category
- Technology, Energy, Traffic
- Format
- Ebook
- eISBN (PDF)
- 9783642142611