Synchronous programming of automatic control applications using ORCCAD and ESTEREL
D. Simon, Alain Girault · Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228) · 2003
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.