Configuring communication nodes for networked embedded systems specified by Petri nets

摘要

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.