Forms/format 2008 October 8, 2008

Invitation

The organizing committee has the pleasure to invite you to participate in the FORMS/FORMAT 2008 Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems. After several successful events, organized commonly by the Institute for Traffic Safety and Automation Engineering, TU Braunschweig and the Department of Control and Transport Automation, Budapest University of Technology and Economics the subsequent event of series FORMS/FORMAT symposium will be held in Budapest, Hungary, on 9-10th of October 2008.

Aims and Scope

Complexity in automation- and safety systems as well in railway as in automotive applications are dominated more and more by formal description means, methods and tools as well. Formal techniques provide next to the correctness and integrity checkups – especially in safety relevant systems – the possibility to prove the syntactic and semantic specification of the system as well as to simulate the system operation up to its development to implementations.

Requirements of the CENELEC- and IEC-Standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMS/FORMAT 2008. 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 are to be shown. Thus, the scope of the symposium includes, but is not limited to

• Formal description means and methods – Concepts, Applications and Requirements in Traffic and Transportation (Safety and Security, RAM, Simulation etc.; UML, Petrinets, AIS etc.)

• Requirements and Applications in Railway (Methods for Risk Analysis; Risk Acceptance, Risk Measures, Signalling Applications, Model based Design and Analysis etc.)

• Requirements and Applications in Automotive (Control of Driving Dynamics Systems; UML in Automotive Systems; Model based Development, Diagnosis etc.)

• Advanced Driver Assistance Systems

• Methods and Tools for Modelling, Validation / Verification and Tests (Evaluation of RAMS-Parameter, System related and functional Validation, Limits of formal Methods, Problems using automated Tests etc.)

• Legal framework (Directives, Laws, Regulations, Standards and Norms, Certification etc.)

• Human factors and human behaviour (Learning, Manipulation, Awareness, FCR-modelling etc.)

Young Researcher Award

The contributions and the oral presentations are considered to be awarded a Young Researcher Award by the Programme Committee. The award is granted by the Förderverein IfRA-Netz e. V., a sponsoring association of the Institute of Traffic Safety and Automation Engineering.

Conference information provided by konferenciakalauz.hu