Section: Application Domains

Industrial Design Tools

The commercially available design tools (such as UML with real-time extensions, Matlab / Simulink / dSpace (http://www.dspaceinc.com)) and execution platforms (OS such as VxWorks , QNX, real-time versions of Linux ...) start now to provide besides their core functionalities design or verification methods. Some of them, founded on models of reactive systems, come close to tools with a formal basis, such as for example StateMate by iLogix .

Regarding the synchronous approach, commercial tools are available: Scade (http://www.esterel-technologies.com) (based on Lustre ), ControlBuild and RT-Builder (based on Signal ) from Geensys (http://www.geensoft.com) (part of Dassault Systemes ), specialized environments like CellControl for industrial automatism (by the Inria spin-off Athys – now part of Dassault Systemes ). One can observe that behind the variety of actors, there is a real consistency of the synchronous technology, which makes sure that the results of our work related to the synchronous approach are not restricted to some language due to compatibility issues.