Title :
Synchronous programming of automatic control applications using ORCCAD and ESTEREL
Author :
Simon, Daniel ; Girault, Alain
Author_Institution :
ZIRST, INRIA BIP Project, Saint Ismier, France
Abstract :
Automatic control systems are typical examples of hybrid systems where continuous time aspects, related to control laws, must be carefully merged with discrete-time aspects related to control switches and exception handling. These two aspects interact in real-time to ensure the nominal behavior of the system and allow for safe and graceful degradation. In a mixed synchronous/asynchronous approach, ranging from user requirements to run-time code, ORCCAD provides formalized control structures, the coordination of which is specified using the ESTEREL synchronous language. ORCCAD is actually a set of CAD tools, that have been designed and integrated to help the users through programming, formal verification, real-time code generation, and implementation processes
Keywords :
continuous time systems; control system CAD; discrete time systems; formal specification; formal verification; program compilers; software tools; specification languages; CAD tools; ESTEREL synchronous language; ORCCAD; automatic control applications; continuous-time aspects; control laws; discrete-time aspects; formal verification; formalized control structures; graceful degradation; hybrid systems; mixed synchronous/asynchronous approach; nominal behavior; real-time code generation; run-time code; safe degradation; synchronous programming; user requirements; Application software; Automatic control; Automatic programming; Control systems; Data flow computing; Degradation; Flow graphs; Real time systems; Robotics and automation; Switches;
Conference_Titel :
Decision and Control, 2001. Proceedings of the 40th IEEE Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-7061-9
DOI :
10.1109/.2001.980329
