FORMS/FORMAT 2007 6th Symposium

The handling of complexity in automation- and safety systems as weil as in railway and in auto motive applications will be more and more dominated by the use of forn1al description means, methods and tools. Fonnal techniques provide, next to the conectness and integrity checkups - especially in safety relevant systems - the possibility to prove the syntactic and semantic specification of the system as weil as to simulate the system operation. Requirements of the EU-guidelines, CENELEC- and IEC-standards on formal techniques, particularly with regard to the handling of safety analysis, are to be treated in FORMSIFORMAT 2007. The main focus lies on topics facing fonnal techniques for railway applications and intelligent transportation systems as weil as for antol11otive applications. Gained findings, experiences and also difficnlties associated with the handling ofthe subject matter are to be shown.