DocumentCode
2199073
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
fYear
1993
fDate
27-29 Jan 1993
Firstpage
375
Lastpage
382
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing, 1993. Proceedings. Euromicro Workshop on
Conference_Location
Gran Canaria
Print_ISBN
0-8186-3610-6
Type
conf
DOI
10.1109/EMPDP.1993.336381
Filename
336381
Link To Document