FORMS/FORMAT 2010: Braunschweig, Germany
Eckehard Schnieder, Géza Tarnai (Eds.): FORMS/FORMAT 2010 - Formal Methods for Automation and Safety in Railway and Automotive Systems [8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, December 2-3, 2010. Springer 2011 ISBN 978-3-642-14260-4
Part 1 / Invited Lectures
- Ralf Schweinsberg: Achieving Europe-wide safety through technical harmonization. 3-4
- Klaus-Rüdiger Hase: "Open Proof" for Railway Safety Software - A Potential Way-Out of Vendor Lock-in Advancing to Standardization, Transparency, and Software Security. 5-38
- Tao Tang: Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway. 39
- András Pataricza: Towards Open Modular Critical Systems. 41-42
Part 2 / 1st Day Sessions
- Margarita Peltekova: Safety and Security in Transportation Process - Not Just Technical Issue. 45-53
- Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto: The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation. 55-63
- Marc Antoni: Complementarity between Axle Counters and Tracks Circuits. 65-76
- Karol Rástocný, Juraj Ilavský: Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System. 77-85
- Alexander Kuckelberg, Ekkehard Wendler: Modeling Computer based, microscopic Dispatching Systems. 87-95
- Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe: A Method of Evaluating Railway Signalling System Based on RAMS Concept. 97-105
- Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi: Model Checking Interlocking Control Tables. 107-115
- Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto: Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller. 117-124
- Joffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi: Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System. 125-133
- Sonja-Lara Bepperling, Andreas Schöbel: Estimation of Safety Requirements for Wayside Hot Box Detection Systems. 135-143
- Kerstin Hartig, Jens Gerlach, Juan Soto, Jürgen Busse: Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie. 145-153
- Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann: Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles. 155-164
Part 3 / 2nd Day Sessions
- Maria Antova, Dragan Jovicic, Thierry Breyne: Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on Risk Evaluation and Assessment. 167-174
- Birgit Milius: Designing a semi-quantitative risk graph. 175-183
- Jens Braband: On the Justification of a Risk Matrix for Technical Systems in European Railways. 185-193
- Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter: Using Guided Simulation to Assess Driver Assistance Systems. 195-205
- Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle: The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. 207-215
- Stefan Detering, Lars Schnieder: Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems. 217-225
- Balázs Polgár, István Ráth, István Majzik: Model-based Integration Framework for Development and Testing Tool-chains. 227-235
- Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich: Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. 237-245
- André Sülflow, Rolf Drechsler: Automatic Fault Localization for Programmable Logic Controllers. 247-256
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team