This paper proposes a set of equations to configure the communication nodes of networked embedded systems (NES), considered as globally-asynchronous locally-synchronous (GALS) systems. NES are developed in this work using a model-based development approach that uses Petri nets to specify, model-checking tools to verify proprieties, and automatic code generator tools to deploy the system's implementation into hardware and software platforms. Characterization of the communication nodes through a set of equations is proposed, namely their registers and buffers length, considering networks with point-to-point, star, bus, and ring topologies. Automatic configuration of the proposed communication nodes, for the referred topologies and based on the proposed equations, will be supported by a tool under development. The paper presents an application example, where a sub-set of the proposed equations was used to configure the communication nodes of a network with ring topology.
|Title of host publication||IEEE International Symposium on Industrial Electronics (ISIE)|
|Publication status||Published - 1 Jan 2013|
|Event||Industrial Electronics (ISIE), 2013 IEEE International Symposium on - |
Duration: 1 Jan 2013 → …
|Conference||Industrial Electronics (ISIE), 2013 IEEE International Symposium on|
|Period||1/01/13 → …|