INVITATION

The organizing committee has the pleasure to invite you for participation in the FORMS/FORMAT 2010 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 congress hall of the Chamber of Industry and Commerce Braunschweig, Germany, on 2^nd-3^rd of December 2010.

AIMS AND SCOPE

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 2010 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. 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.

SYMPOSIUM

The symposium FORMS/FORMAT 2010 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.

IMPORTANT DATES