|
Calculus of communicating systems (CCS) is proposed as a
mathematicaltool to specify the manufacturing protocol of a
robotic manufacturingcell at Production System Automated
Research Center in NCTU. Basically communication
protocols have been developed for coordinating
electronic signals of network-integrated communicatingdevices.
If the WIPs, transportation system, manufacturing devices
inautomated manufacturing system are treated as the data,
network, communicating devices in computer network system
respectively, then amanufacturing protocol can be designed
for coordinating the interactions among devices in the
given automated manufacturing system. For the underlying
robotic manufacturing system, the robot isan Ethernet-like
shared resource; the client-server model is chosen as the
manufacturing protocol; the performance is evaluated through
time window method. Because of the CCS approach, ISO IS 8807
LOTOS,SMILE, and LOLA are selected as the conformance testing
tools.
|