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

Volume

1

fYear

1995

fDate

6-10 Nov 1995

Firstpage

144

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/IECON.1995.483348

Filename

483348