Sciweavers

ICECCS
2000
IEEE

Definitions of Equivalence for Transformational Synthesis of Embedded Systems

13 years 7 months ago
Definitions of Equivalence for Transformational Synthesis of Embedded Systems
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried out systematically. In this paper we present a computational model for embedded systems based on Petri nets called PRES+. It includes an explicit notion of time and allows a concise formulation of models. Tokens, in our notation, hold information and transitions—when fired— perform transformation of data. Based on this model we define several notions of equivalence (reachable, behavioral, time, and total), which provide the framework for transformational synthesis of embedded systems. Different representations of an Ethernet network coprocessor are studied in order to illustrate the applicability of PRES+ and the definitions of equivalence on practical systems.
Luis Alejandro Cortés, Petru Eles, Zebo Pen
Added 31 Jul 2010
Updated 31 Jul 2010
Type Conference
Year 2000
Where ICECCS
Authors Luis Alejandro Cortés, Petru Eles, Zebo Peng
Comments (0)