PROGRAMME

Here you will find the Programme of FORMS/FORMAT 2010.

Currently the time slots for the conference are organized. More information will follow in (late) September. The following papers will be presented:

 

 

Alexander Kuckelberg and Ekkehard Wendler
Modeling computer based, microscopic dispatching systems
(A - Formal description means and methods – Concepts, Applications and Requirements in Traffic and Transportation)

Marc Antoni
Axle Counters and Tracks Circuits – Complementarity without Exclusion
(B - Requirements and Applications in Railway)

Clarhaut Joffrey, Lemaire Etienne and El Koursi El Miloudi
Methodology for assessing security systems. Application for a railway hot box protection system
(B - Requirements and Applications in Railway)

Sebastian Biallas, Jörg Brauer, Stefan Kowalewski and Bastian Schlich
Automatically Deriving Symbolic Invariants for PLC Programs Written in IL
(D - Methods and Tools for Modelling, Validation / Verification and Tests)

Andre Suelflow and Rolf Drechsler
Automatic Fault Localization for Programmable Logic Controllers
(D - Methods and Tools for Modelling, Validation / Verification and Tests)

Stefan Detering and Lars Schnieder
Calibration and Validation of Simulation Models for Investigation of Traffic Assistance Systems
(D - Methods and Tools for Modelling, Validation / Verification and Tests)

Alessio Ferrari, Gianluca Magnani, Daniele Grasso and Alessandro Fantechi
Model Checking Interlocking Control Tables
(D - Methods and Tools for Modelling, Validation / Verification and Tests)

Jens Gerlach, Kerstin Hartig and Jürgen Busse
Formal Specification and Automated Verification of Safety-Critical Requirements of a Railway Vehicle with Frama-C/Jessie
(D - Methods and Tools for Modelling, Validation / Verification and Tests)

Hardi Hungar, Tayfun Gezgin, Martin Fränzle, Stefan Puch and Gerald Sauter
Using Guided Simulation to Assess Driver Assistance Systems
(D - Methods and Tools for Modelling, Validation / Verification and Tests)

Maik Leska, Robert Prabel, Andreas Rauh and Harald Aschemann
Simulation and Optimization of the Longitudinal Dynamics of Parallel Hybrid Railway Vehicles
(D - Methods and Tools for Modelling, Validation / Verification and Tests)

Balázs Polgár, István Ráth and István Majzik
Model-based Integration Framework for Development and Testing Tool-chains
(D - Methods and Tools for Modelling, Validation / Verification and Tests)

Maria Antova, Dragan Jovicic and Thierry Breyne
Dissemination of the Commission Regulation (EC) No 352/2009/EC on Common Safety Method on risk evaluation and assessment
(E - Legal framework)

Jan Gacnik, Henning Jost, Frank Köster and Martin Fränzle
The DeSCAS Methodology and Lessons Learned on Applying Formal Reasoning to Safety Domain Knowledge
(E - Legal framework)

Sonja-Lara Bepperling and Andreas Schöbel
Estimation of safety requirements for wayside hot box detection systems
(F - Safety and security)

Jens Braband
On the Justification of Risk Matrices for technical Systems in European Railways
(F - Safety and security)

Shigeto Hiraguri, Koji Iwata and Ikuo Watanabe
A Method of Evaluating Railway Signalling System Based on RAMS Concept
(F - Safety and security)

Birgit Milius
Designing a semi-quantitative risk graph
(F - Safety and security)

Karol Rástocný and Juraj Ilavsky.
Effects of a Periodic Maintenance on the Safety Integrity Level of a Control System
(F - Safety and security)

Yoshinori Saiki, Satoru Masutani, Takashi Kunifuji and Masayuki Matsumoto
Reliability of the IP Network-based Signal Control System and the Integrated Logical Controller
(F - Safety and security)

Kazue Yasuoka, Atsushi Watabe, Tetsuo Hattori and Masayuki Matsumoto
The policy of applying RAMS to evaluate railway signalling systems for reliable transportation
(F - Safety and security)

Margarita Peltekova
Safety and Security in Transportation Process - Not just a technical Issue
(G - Human factors and human behaviour)