DocumentCode
1622212
Title
Analysis of real-time distributed systems: a case study [of robot juggling system]
Author
Yu, Lihong ; Ammar, H.H.
fYear
1992
Firstpage
496
Abstract
Petri nets as a formalized analytic model for real-time specifications are used in a case study of a robot juggling system. The analysis reveals that it is hard to detect delays due to synchronization and resource contention. The analysis of the system as a whole can be obtained through the analysis of subsystems in a hierarchical manner. The case study shows how a complex system can be efficiently analyzed using existing Petri net analysis software packages
Keywords
Application software; Computer aided software engineering; Costs; Distributed control; Fault detection; Hardware; Mathematical model; Petri nets; Real time systems; Robot sensing systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Circuits and Systems, 1992., Proceedings of the 35th Midwest Symposium on
Conference_Location
Washington, DC
Print_ISBN
0-7803-0510-8
Type
conf
DOI
10.1109/MWSCAS.1992.271354
Filename
271354
Link To Document