Paper Info
Title
Reachability and Timing Analysis in Data Flow Networks: A Case Study
Abstract
The need of efficient implementation, safety and perfor- mance requires early validation in the design of computer control systems. The detailed timing and reachability anal- ysis 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 re- lated 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.
Year
DOI
Venue
1996
10.1109/EURMIC.1996.546382
EUROMICRO
Keywords
Field
DocType
verification,dependability,intelligent networks,petri nets,timing analysis,performance,data analysis,petri net,data flow,reliability,control systems,assessment,control system,computer aided software engineering,development process
Dependability,Computer control,Petri net,Computer science,Reachability,Process architecture,Static timing analysis,Control system,Data flow diagram,Distributed computing
Conference
Citations 
PageRank 
References 
0
0.34
4
Authors
5
Name
Order
Citations
PageRank
B. Antal100.34
György Csertán2374.98
István Majzik340036.04
Andrea Bondavalli4886133.06
Luca Simoncini518424.69