Team Pop Art

Members
Overall Objectives
Scientific Foundations
Application Domains
Software
New Results
Contracts and Grants with Industry
Other Grants and Activities
Dissemination
Bibliography

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 ...) propose a collection of functionalities without accompanying it by 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 (based on Lustre ), Esterel Studio (http://www.esterel-technologies.com ), Sildex (based on Signal ), specialized environments like CellControl for industrial automatism (by the Inria spin-off Athys – now part of Dassault Systemes ). One can note 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.


previous
next

Logo Inria