Programming reactive systems with statecharts

Author

Grégoire, J-Ch ; Makowsky, J.A. ; Levin, S.E.

Author_Institution

Dept. of Comput. Sci., Technion Israel Inst. of Technol., Haifa, Israel

fYear

1991

fDate

28-29 May 1991

Firstpage

87

Lastpage

103

Abstract

The authors look at methods and tools for fast delivery of applications in the context of factory automation; more specifically in the field of industrial robotics and for numerical controllers of machine-tools. They introduce a scheduling language and a general framework in which both kinds of applications can be expressed. Its purpose is to generate a real-time controller, tuned for the application described. It is shown how this tool is used for the specification, simulation, and implementation of the control-command systems. The language extends the statecharts introduced by D. Harel (1987) for the purpose of flexible manufacturing and robot control. It inherits from the statecharts most of their features, such as the visual formalism, semantics, and modularity

Keywords

computerised numerical control; control system analysis computing; industrial robots; machine tools; programming; real-time systems; scheduling; control-command systems; flexible manufacturing; industrial robotics; machine-tools; modularity; numerical controllers; reactive systems; real-time controller; robot control; scheduling language; semantics; statecharts; visual formalism; Automatic control; Automatic generation control; Control system synthesis; Electrical equipment industry; Industrial control; Job shop scheduling; Manufacturing automation; Robot programming; Robotics and automation; Service robots;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Systems and Software Engineering, 1991. Proceedings., Fifth Israel Conference on

Conference_Location

Herzlia

Print_ISBN

0-8186-2065-X

Type

conf

DOI

10.1109/ICCSSE.1991.151179

Filename

151179