Title :
Experiences with the rigorous development of a parallel program
Author :
Holton, D.R.W. ; McKeever, J.D.M. ; McKeag, R.M.
Author_Institution :
Dept. of Comput. Sci., Aberdeen Univ., UK
Abstract :
The authors describe their experiences with the design and specification of an off-line robot programming system and its implementation on a network of transputers. The structure of the system was specified using the language LOTOS and its operations were specified using META-IV. The implementation language chosen was 3L Parallel Pascal
Keywords :
Pascal; distributed memory systems; industrial robots; parallel languages; parallel programming; robot programming; specification languages; transputer systems; 3L Parallel Pascal; LOTOS; META-IV; design; off-line robot programming system; parallel program; specification; system structure; transputer network; Computer languages; Computer networks; Computer science; Construction industry; Electrical equipment industry; Formal specifications; Manipulators; Parallel robots; Robot programming; Service robots;
Conference_Titel :
Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on
Conference_Location :
Gran Canaria
Print_ISBN :
0-8186-3610-6
DOI :
10.1109/EMPDP.1993.336381
