Sciweavers

MEMOCODE
2008
IEEE

From Data to Events: Checking Properties on the Control of a System

13 years 10 months ago
From Data to Events: Checking Properties on the Control of a System
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions are used both for generating and deploying implementation code and for checking safety properties on the system. The only constraint is to specify the controller in a synchrounous reactive language. We propose an analysis tool which transforms temporal logic properties of the system as a whole into properties on the events of the controller, and hence into synchronous reactive observers. If checks succeed, the final system is therefore correct by construction. When properties cannot be translated exactly into observers of the control, our tool is capable of generating approximate observers. In this case, the results are subject to interpretation, but can prove useful and help detect defects or even guarantee the correctness of a system.
Christophe Jacquet, Frédéric Boulang
Added 31 May 2010
Updated 31 May 2010
Type Conference
Year 2008
Where MEMOCODE
Authors Christophe Jacquet, Frédéric Boulanger, Dominique Marcadet
Comments (0)