Title :
Symbolic techniques for performance analysis of timed systems based on average time separation of events
Author :
Xie, Aiguo ; Beerel, Peter A.
Author_Institution :
Univ. of Southern California, Los Angeles, CA, USA
Abstract :
Symbolic techniques using BDDs and ADDs are applied to the performance analysis of (asynchronous) timed systems. We model the system as a set of probabilistic finite state machines which is analyzed as a discrete time Markov chain. The stationary probability of all reachable states is obtained iteratively using ADDs. Average time separation of events is symbolically calculated to determine various performance metrics. Application to a FIFO and a differential equation solver chip demonstrates the feasibility of the technique
Keywords :
Markov processes; delays; finite state machines; logic design; performance evaluation; ADDs; BDDs; FIFO; asynchronous timed systems; average time separation of events; differential equation solver chip; discrete time Markov chain; performance analysis; performance metrics; probabilistic finite state machines; stationary probability; symbolic techniques; timed systems; Analytical models; Boolean functions; Data structures; Delay; Differential equations; Measurement; Performance analysis; Power system modeling; Probability distribution; Steady-state;
Conference_Titel :
Advanced Research in Asynchronous Circuits and Systems, 1997. Proceedings., Third International Symposium on
Conference_Location :
Eindhoven
Print_ISBN :
0-8186-7922-0
DOI :
10.1109/ASYNC.1997.587164
