Title :
An object-oriented modeling of real-time robotic assembly system
Author :
Achuthan, R. ; Alagar, V.S. ; Radhakrishnan, T.
Author_Institution :
Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
Abstract :
The paper briefly illustrates an object-oriented-formal modeling of a real-time robotic assembly system. The approach provides a means to structure the system model into independent, modular, and reusable components, thereby making it to be beneficial for system design and maintenance. The underlying formal basis of the approach facilitates validation and formal verification of system requirements
Keywords :
assembling; control engineering; control system CAD; formal verification; industrial manipulators; maintenance engineering; manipulators; object-oriented methods; real-time systems; formal verification; independent components; modular components; object-oriented-formal modeling; real-time robotic assembly system; reusable components; system design; system maintenance; system model; system requirements; validation; Assembly systems; Belts; Computer science; Delay effects; Machine vision; Manipulators; Object oriented modeling; Real time systems; Robot vision systems; Robotic assembly;
Conference_Titel :
Engineering of Complex Computer Systems, 1995. Held jointly with 5th CSESAW, 3rd IEEE RTAW and 20th IFAC/IFIP WRTP, Proceedings., First IEEE International Conference on
Conference_Location :
Ft. Lauderdale, FL
Print_ISBN :
0-8186-7123-8
DOI :
10.1109/ICECCS.1995.479350
