FORMS/FORMAT

Publications

2011

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 FORMS/FORMAT (2011)

2010

Karol Rástocný, Juraj Ilavský
Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System. FORMS/FORMAT (2010)
Jens Braband
On the Justification of a Risk Matrix for Technical Systems in European Railways. FORMS/FORMAT (2010)
Marc Antoni
Complementarity between Axle Counters and Tracks Circuits. FORMS/FORMAT (2010)
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. FORMS/FORMAT (2010)
Sonja-Lara Bepperling, Andreas Schöbel
Estimation of Safety Requirements for Wayside Hot Box Detection Systems. FORMS/FORMAT (2010)
Jan Gacnik, Henning Jost, Frank Köster, Martin Fränzle
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge. FORMS/FORMAT (2010)
Alexander Kuckelberg, Ekkehard Wendler
Modeling Computer based, microscopic Dispatching Systems. FORMS/FORMAT (2010)
Takashi Kunifuji, Yoshinori Saiki, Satoru Masutani, Masayuki Matsumoto
Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller. FORMS/FORMAT (2010)
Kazue Yasuoka, Atsushi Watabe, Tetsunori Hattori, Masayuki Matsumoto
The Policy of applying RAMS to evaluate Railway Signalling Systems for reliable Transportation. FORMS/FORMAT (2010)
Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter
Using Guided Simulation to Assess Driver Assistance Systems. FORMS/FORMAT (2010)
Joffrey Clarhaut, Etienne Lemaire, El-Miloudi El-Koursi
Methodology for Assessing Safety Systems Application for a Railway Hot Box Protection System. FORMS/FORMAT (2010)
Birgit Milius
Designing a semi-quantitative risk graph. FORMS/FORMAT (2010)
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. FORMS/FORMAT (2010)
Tao Tang
Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway. FORMS/FORMAT (2010)
Sebastian Biallas, Jörg Brauer, Stefan Kowalewski, Bastian Schlich
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL. FORMS/FORMAT (2010)
Stefan Detering, Lars Schnieder
Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems. FORMS/FORMAT (2010)
André Sülflow, Rolf Drechsler
Automatic Fault Localization for Programmable Logic Controllers. FORMS/FORMAT (2010)
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. FORMS/FORMAT (2010)
Maik Leska, Robert Prabel, Andreas Rauh, Harald Aschemann
Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles. FORMS/FORMAT (2010)
Shigeto Hiraguri, Koji Iwata, Ikuo Watanabe
A Method of Evaluating Railway Signalling System Based on RAMS Concept. FORMS/FORMAT (2010)
Ralf Schweinsberg
Achieving Europe-wide safety through technical harmonization. FORMS/FORMAT (2010)
András Pataricza
Towards Open Modular Critical Systems. FORMS/FORMAT (2010)
Balázs Polgár, István Ráth, István Majzik
Model-based Integration Framework for Development and Testing Tool-chains. FORMS/FORMAT (2010)
Alessio Ferrari, Gianluca Magnani, Daniele Grasso, Alessandro Fantechi
Model Checking Interlocking Control Tables. FORMS/FORMAT (2010)
Margarita Peltekova
Safety and Security in Transportation Process - Not Just Technical Issue. FORMS/FORMAT (2010)