Visiting researcher of CNUCE/CNR from the
Technical University of Budapest,
Department of Measurement and Instrument Engineering,
Fault Tolerant Systems Research Group
Supported and supervised by Andrea Bondavalli, CNUCE, CNR.
Visit from 01.06.1996. - 31.08.1996.
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 is especially important if we design equipments or algorithms related to high performance and availability. In this paper we present a case study related to the early validation of computer 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.
In the paper we introduce a data flow model that includes time and priority for specifying real-time control systems and give its formal semantics. Then, a data flow network to Timed Transition Petri net transformation is defined such that the timing properties of the data flow network can be analyzed using automatic tools of Petri nets. The approach is illustrated by an example, in which, after the application of the transformation, the average and worst case time between selected events are computed.
Interface definitions and implementation of an integrated tool
environment which includes data flow editors, data flow network to
Petri net transformations and Petri net analysis packages.
The goal is to provide the designer a modeling tool based on uninterpreted data flow networks, which can be used for the indirect timing and reachability analysis of the model.
Some references to the topic: