Synchronous programming of automatic control applications using ORCCAD and ESTEREL

Author

Simon, Daniel ; Girault, Alain

Author_Institution

ZIRST, INRIA BIP Project, Saint Ismier, France

Volume

4

fYear

2001

fDate

2001

Firstpage

3290

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Decision and Control, 2001. Proceedings of the 40th IEEE Conference on

Conference_Location

Orlando, FL

Print_ISBN

0-7803-7061-9

Type

conf

DOI

10.1109/.2001.980329

Filename

980329