We would like to thank all participants and contributors of FORMS/FORMAT 2012. With over 60 authors and more than a hundred participants, we are looking back to a very successful FORMS/FORMAT 2012. The quality of each submission and presentation exceeded our expectations and we are looking forward to welcome you again on the next symposium.


We are happy to announce that two outstanding contributions could be selected and awarded by the program committee. This year's best presentation award sponsored by "ifra Netze e.V." was gifted to

Dr. Volker Knollmann (Siemens) "PTC - A standard without standards?"


This year's best paper award sponsored by "Siemens AG" was gifted to

S. Weißleder (FOKUS), T. Girlich (Thales) and J. Krause (ifak Magdeburg) "Automatic Traceability from Tests to Requirements by Requirements - Based Refinement"


We congratulate the winners and wish all the best for their future careers.


If you could not attend FORMS/FORMAT 2012, but you are interested in receiving the proceedings or presentations please contact the organizing team via


The organizing committee has the pleasure to invite you for participation in the 9th FORMS/FORMAT 2012 Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems.

The symposium FORMS - Formal techniques for railway management systems - took place for the first time as a cooperative symposium involving the Institute for Traffic Safety and Automation Engineering, Technische Universität Braunschweig and the Department of Control and Transport Automation, Budapest University of Technology and Economics in 1998 with great success. Due to an increasing interest and to the transferability to automotive matters, the symposium has been extended by FORMAT - Formal techniques in automotive applications - in 2004.

After several successful events, the next event of FORMS/FORMAT symposium series will be held in the town hall of Braunschweig, Germany, on 12th-13th of December 2012.


In the future the handling of complexity in automation- and safety systems in railway and automotive applications will be dominated more and more by the use of formal description means, methods and tools. Formal techniques provide besides correctness and integrity checks - especially for safety relevant systems - the possibility to model, prove, simulate and check specification of the systems as well as to generate the system implementations.

In FORMS/FORMAT 2012 requirements on formal techniques, which are often expressed in the EU-Guidelines as CENELEC - and IEC- Standards, will be treated particularly with regard to safety and more and more incorporate security. The main focus lies on topics facing formal techniques for railway applications and intelligent transportation systems as well as for automotive applications.

Gained findings, experiences and also difficulties associated with the handling of the subject matter as well as description means and tools are to be shown.


The symposium FORMS/FORMAT 2012 offers scientists facing formal techniques, practitioners and managers, developers and consultants of automotive and railway industries as well as traffic system operators with interest in formal methods an accepted platform for the exchange of scientific experience and the transfer of practical description means, methods and tools for complex automation systems.


Specific topics and areas include but are not limited to:


Formal description means and methods for Concepts, Applications and Requirements in Traffic and Transportation 

(simulation, UML, Petrinets, risk estimation, quantification and metrics, etc.)


Requirements and Applications in Railway

 (signalling applications, model based design and analysis, etc.)


Requirements and Applications in Automotive and Vehicular Technology

(control of driving dynamic systems, driver assistance; UML in automotive systems; model based development, diagnosis etc.)


Methods and Tools for Modelling, Validation / Verification, Safety Case, Tests and Diagnosis

(system related and functional validation, limits of formal methods, problems using automated tests etc.)


Legal framework 

(directives, laws, regulations, standards and norms, certification etc.)


Safety and Security 

(Reliability, Availability and Maintainability, methods for risk and hazard analysis; risk acceptance, risk measures, evaluation of RAMS-Parameter)


Human factors and human behaviour 

(learning, manipulation, human in the loop, FCR-modelling etc.)


Prof. Dr.-Ing. Dr. h.c. mult. E. Schnieder, Technische Universität Braunschweig, Germany (Chair)

Prof. Dr. G. Tarnai, Budapest University of Technology and Economics, Hungary (Chair)

Dr. M. Antoni - SNCF (F)

Prof. Dr. J. Axmann - Volkswagen AG (D)

G. Barbu - UIC (F)

Prof. Dr. J. Braband - Siemens AG (D)

Prof. Dr. W. Damm - Technische Universität Oldenburg (D)

Prof. Dr. U. Goltz - Technische Universität Braunschweig (D)

Dr. K.-R. Hase - Deutsche Bahn AG (D)

Prof. Dr. M. Heiner - Brandenburg University of Technology at Cottbus (D)

S. Hiraguri - Railway Technical Research Institute (J)

Prof. Dr. Y. Hirao - Nagaoka University of Technology (J)

Prof. PhD. A. Janota - University of Žilina (SK)

Prof. Dr. K. Lemmer - Deutsches Zentrum für Luft und Raumfahrt (DLR) (D)

Dr. J. Marais - IFSTTAR (F)

Prof. Dr. M. Maurer - Technische Universität Braunschweig (D)

Prof. J. McDermid - University of York (GB)

Dr. J. R. Müller - Bombardier AG (D)

Prof. Dr. A. Pretschner - Karlsruhe Institute of Technology (D)

Dr. B. Sághi - CERTUNIV (H)

Prof. Dr. H. Schlingloff - Humboldt Universität Berlin (D)

Dr. R Slovák - Bundesamt für Verkehr (CH)

Prof. Dr. G. Spiegelberg - Siemens AG (D)

Prof. Dr. C. Stiller - Universität Karlsruhe (D)

Ph.D. N. Stoytcheva - Todor Kableshkov Higher School of Transportation (BG)

Prof. Dr. T. Tang - Beijing Jiaotong University (CH)

Prof. M. Taylor - University of South Australia (AUS)

Dr. Eng. S. Tsugawa - Meijo University (J)