Title :
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
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;
Conference_Titel :
Computer Systems and Software Engineering, 1991. Proceedings., Fifth Israel Conference on
Conference_Location :
Herzlia
Print_ISBN :
0-8186-2065-X
DOI :
10.1109/ICCSSE.1991.151179
