loading...
Reachability and Timing Analysis in Data Flow Networks: A Case Study
Prague, Czech Republic September 02-September 05
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/EURMIC.1996.546382Proceedings of the 22nd EUROMICRO Con ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
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
Usage of this product signifies your acceptance of the Terms of Use.