FORMS/FORMAT 2007 6th Symposium

Beschreibung

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.

Autor*in

Eckehard Schnieder

Themen in »FORMS/FORMAT 2007 6th Symposium«

Formal Description Means and Methods - Requirements and Applications in Railway - Requirements and Applications in Automotive - Methods and Tools for Modelling, Validation / Verification and Tests - Legal Framework - Human Factors and Human Behaviour

Stimmen zu »FORMS/FORMAT 2007 6th Symposium«

Details

Link teilen