Date and Time:Thursday, 19 June 2008, 15:30 - 16:30

Speaker:Frank Stappers (OAS, TU/e)

Title: Translating Chi 2.0 to mCRL2

Abstract:

Multidisciplinary systems developed today show complex behavior. To understand and to discover erroneous behavior simulations are performed. Simulations contribute to the faith of having a correct system, however non-functional properties of the system cannot be proven. Therefore more exhaustive techniques like model checking are needed.
Chi is a formal hybrid modelling language accompanied with a toolset, suitable for modelling and simulating hybrid systems. The toolset does not provide means to model check models. Therefore a translation to another language is needed, which is suitable for model checking. A specification language as such could be mCRL2. The talk presents a transformation from Chi (v2.0) to mCRL2 and illustrates the verification possibilities obtained this way from an industrial setting.