Reachability and Timing Analysis in Data Flow Networks: A Case Study

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	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 B. Antal Articles by G. Csertan Articles by I. Majzik Articles by A. Bondavalli Articles by L. Simoncini

Proceedings of the 22nd EUROMICRO Conference

Prague, Czech Republic

September 02-September 05

ISBN: 0-8186-7487-3

	ASCII Text	x
	B. Antal, G. Csertan, I. Majzik, A. Bondavalli, L. Simoncini, "Reachability and Timing Analysis in Data Flow Networks: A Case Study," EUROMICRO Conference, pp. 0193, Proceedings of the 22nd EUROMICRO Conference, 1996.

	BibTex	x
	@article{ 10.1109/EURMIC.1996.546382, author = {B. Antal and G. Csertan and I. Majzik and A. Bondavalli and L. Simoncini}, title = {Reachability and Timing Analysis in Data Flow Networks: A Case Study}, journal ={EUROMICRO Conference}, volume = {0}, year = {1996}, isbn = {0-8186-7487-3}, pages = {0193}, doi = {http://doi.ieeecomputersociety.org/10.1109/EURMIC.1996.546382}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - EUROMICRO Conference TI - Reachability and Timing Analysis in Data Flow Networks: A Case Study SN - 0-8186-7487-3 SP EP A1 - B. Antal, A1 - G. Csertan, A1 - I. Majzik, A1 - A. Bondavalli, A1 - L. Simoncini, PY - 1996 KW - reachability analysis; timing analysis; reachability analysis; data flow networks; safety; performance; computer control systems VL - 0 JA - EUROMICRO Conference ER -

B. Antal, Dept. of Meas. & Instrum. Eng., Tech. Univ. Budapest, Hungary

G. Csertan, Dept. of Meas. & Instrum. Eng., Tech. Univ. Budapest, Hungary

I. Majzik, Dept. of Meas. & Instrum. Eng., Tech. Univ. Budapest, Hungary

A. Bondavalli, Dept. of Meas. & Instrum. Eng., Tech. Univ. Budapest, Hungary

L. Simoncini, Dept. of Meas. & Instrum. Eng., Tech. Univ. Budapest, Hungary

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EURMIC.1996.546382

Abstract: The need of efficient implementation, safety and performance requires early validation in the design of computer control systems. The detailed timing and reachability analysis in the development process is particularly important if we design equipments or algorithms of high performance and availability. In this paper we present a case study related to the early validation of control systems modeled by data flow networks. The model is validated indirectly as it is transformed to Petri nets in order to be able to utilize the tools available for Petri nets.

Index Terms:

reachability analysis; timing analysis; reachability analysis; data flow networks; safety; performance; computer control systems

Citation:

B. Antal, G. Csertan, I. Majzik, A. Bondavalli, L. Simoncini, "Reachability and Timing Analysis in Data Flow Networks: A Case Study," euromicro, pp.0193, Proceedings of the 22nd EUROMICRO Conference, 1996

Peer Review Notice | Give Us Feedback

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