Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events

Eindhoven, THE NETHERLANDS April 07-April 10

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/ASYNC.1997.587164

Third International Symposium on Adva ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Aiguo Xie Articles by Peter A. Beerel

	ASCII Text	x
	Aiguo Xie, Peter A. Beerel, "Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events," Asynchronous Circuits and Systems, International Symposium on, pp. 64, Third International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997.

	BibTex	x
	@article{ 10.1109/ASYNC.1997.587164, author = {Aiguo Xie and Peter A. Beerel}, title = {Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events}, journal ={Asynchronous Circuits and Systems, International Symposium on}, volume = {0}, year = {1997}, isbn = {0-8186-7922-0}, pages = {64}, doi = {http://doi.ieeecomputersociety.org/10.1109/ASYNC.1997.587164}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - Asynchronous Circuits and Systems, International Symposium on TI - Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events SN - 0-8186-7922-0 SP EP A1 - Aiguo Xie, A1 - Peter A. Beerel, PY - 1997 KW - timed systems KW - asynchronous KW - probabilistic modeling KW - symbolic techniques KW - Markov chains KW - sojourn times KW - time separation of events KW - performance metrics VL - 0 JA - Asynchronous Circuits and Systems, International Symposium on ER -

Aiguo Xie, University of Southern California

Peter A. Beerel, University of Southern California

Symbolic techniques using BDDs and ADDs (binary and algebraic decision diagrams) 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 reach able 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.

Index Terms:

timed systems, asynchronous, probabilistic modeling, symbolic techniques, Markov chains, sojourn times, time separation of events, performance metrics

Citation:

Aiguo Xie, Peter A. Beerel, "Symbolic Techniques for Performance Analysis of Timed Systems Based on Average Time Separation of Events," async, pp.64, Third International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC '97), 1997

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.