Dual Flow Nets: Modelling the Control/Data-Flow Relation in Embedded Systems
Dual Flow Nets: Modelling the Control/Data-Flow Relation in Embedded Systems
This paper addresses the interrelation between control and data flow in embedded system models through a new design representation, called Dual Flow Net (DFN). A modelling 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 modelling side in embedded systems design, but also the validation of embedded system models through formal methods. Various introductory examples illustrate the applicability of the DFN principles, whereas the capability of the model to with complex designs is demonstrated through the design and verification of a real-life Ethernet coprocessor.
Dual flow nets, Petri nets, modelling, formal verification, embedded systems, LTL, CTL, symbolic model checking, tripartite graph
Varea, Mauricio
7a752b8b-0f8b-47e0-b411-2ac53f228ba7
Al-Hashimi, Bashir M.
0b29c671-a6d2-459c-af68-c4614dce3b5d
Cortés, Luis A.
d9dde103-6484-40d6-9db4-9f7787089100
Eles, Petru
ff663918-4c91-4774-a196-06d87393323f
Peng, Zebo
c0500005-3976-42df-974f-581eb1d39589
2005
Varea, Mauricio
7a752b8b-0f8b-47e0-b411-2ac53f228ba7
Al-Hashimi, Bashir M.
0b29c671-a6d2-459c-af68-c4614dce3b5d
Cortés, Luis A.
d9dde103-6484-40d6-9db4-9f7787089100
Eles, Petru
ff663918-4c91-4774-a196-06d87393323f
Peng, Zebo
c0500005-3976-42df-974f-581eb1d39589
Varea, Mauricio, Al-Hashimi, Bashir M., Cortés, Luis A., Eles, Petru and Peng, Zebo
(2005)
Dual Flow Nets: Modelling the Control/Data-Flow Relation in Embedded Systems.
ACM Transactions on Embedded Computing Systems.
Abstract
This paper addresses the interrelation between control and data flow in embedded system models through a new design representation, called Dual Flow Net (DFN). A modelling 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 modelling side in embedded systems design, but also the validation of embedded system models through formal methods. Various introductory examples illustrate the applicability of the DFN principles, whereas the capability of the model to with complex designs is demonstrated through the design and verification of a real-life Ethernet coprocessor.
More information
Published date: 2005
Keywords:
Dual flow nets, Petri nets, modelling, formal verification, embedded systems, LTL, CTL, symbolic model checking, tripartite graph
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 261036
URI: http://eprints.soton.ac.uk/id/eprint/261036
ISSN: 1539-9087
PURE UUID: d48ca46f-d48f-41e0-9eb0-c78f773fabd9
Catalogue record
Date deposited: 04 Jul 2005
Last modified: 14 Mar 2024 06:46
Export record
Contributors
Author:
Mauricio Varea
Author:
Bashir M. Al-Hashimi
Author:
Luis A. Cortés
Author:
Petru Eles
Author:
Zebo Peng
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics