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

fYear

1997

fDate

7-10 Apr 1997

Firstpage

64

Lastpage

75

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Advanced Research in Asynchronous Circuits and Systems, 1997. Proceedings., Third International Symposium on

Conference_Location

Eindhoven

Print_ISBN

0-8186-7922-0

Type

conf

DOI

10.1109/ASYNC.1997.587164

Filename

587164