loading...
An object-oriented modeling of real-time robotic assembly system
Ft. Lauderdale, Florida November 06-November 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479350First IEEE International Conference o ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
R. Achuthan, V.S. Alagar, T. Radhakrishnan, "An object-oriented modeling of real-time robotic assembly system," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 310, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/ICECCS.1995.479350,
author = {R. Achuthan and V.S. Alagar and T. Radhakrishnan},
title = {An object-oriented modeling of real-time robotic assembly system},
journal ={Engineering of Complex Computer Systems, IEEE International Conference on},
volume = {0},
year = {1995},
isbn = {0-8186-7123-8},
pages = {310},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.1995.479350},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Complex Computer Systems, IEEE International Conference on
TI - An object-oriented modeling of real-time robotic assembly system
SN - 0-8186-7123-8
SP
EP
A1 - R. Achuthan,
A1 - V.S. Alagar,
A1 - T. Radhakrishnan,
PY - 1995
KW - formal verification; object-oriented methods; real-time systems; maintenance engineering; assembling; industrial manipulators; manipulators; control engineering; control system CAD; real-time robotic assembly system; object-oriented-formal modeling; system model; independent components; reusable components; modular components; system design; system maintenance; validation; formal verification; system requirements
VL - 0
JA - Engineering of Complex Computer Systems, IEEE International Conference on
ER -
 
R. Achuthan, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
V.S. Alagar, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
T. Radhakrishnan, Dept. of Comput. Sci., Concordia Univ., Montreal, Que., Canada
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.
Index Terms:
formal verification; object-oriented methods; real-time systems; maintenance engineering; assembling; industrial manipulators; manipulators; control engineering; control system CAD; real-time robotic assembly system; object-oriented-formal modeling; system model; independent components; reusable components; modular components; system design; system maintenance; validation; formal verification; system requirements
Citation:
R. Achuthan, V.S. Alagar, T. Radhakrishnan, "An object-oriented modeling of real-time robotic assembly system," iceccs, pp.310, First IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.


Suggestions