Title :
A design framework for real-time reactive applications
Author :
Péraldi, MarieAgnès ; Decotignie, Jean-Dominique
Author_Institution :
Ind. Comput. Eng. Lab., Swiss Federal Inst. of Technol., Lausanne, Switzerland
Abstract :
This paper deals with the design of reliable control systems using a modular and systematic approach. The authors introduce the hierarchical reactive synchronous boxes model (HRSB) as executable specifications for reliable control. This framework allows the user to focus on the expression of the control, the fault diagnosis, fault recovery of a given system using a formal language (synchronous language). The coordination between modules is given by the behavioral semantics of the model. This model inherits its semantics from those formal semantics of synchronous languages
Keywords :
computational linguistics; control system synthesis; digital control; fault diagnosis; formal languages; hierarchical systems; industrial control; real-time systems; reliability; robots; synchronisation; applications; behavioral semantics; executable specifications; fault diagnosis; fault recovery; formal language; formal semantics; hierarchical reactive synchronous boxes model; real-time control systems; reliable control design framework; synchronous language; Application software; Computer industry; Computer numerical control; Control systems; Electrical equipment industry; Fault diagnosis; Flexible manufacturing systems; Formal languages; Industrial control; Robot kinematics;
Conference_Titel :
Industrial Electronics, Control, and Instrumentation, 1995., Proceedings of the 1995 IEEE IECON 21st International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-3026-9
DOI :
10.1109/IECON.1995.483348
