Dual Flow Nets: Modeling the Control/Data-Flow Relation in Embedded Systems

Download Now
Provided by: Association for Computing Machinery
Topic: Big Data
Format: PDF
In this paper the authors address the interrelation between control and data flow in embedded system models through a new design representation, called Dual Flow Net (DFN). A modeling formalism with a very close-fitting control and data flow is achieved by this representation, as a consequence of enhancing its underlying petri net structure. The work presented in this paper does not only tackle the modeling side in embedded systems design, but also the validation of embedded system models through formal methods.
Download Now

Find By Topic