Configuring communication nodes for networked embedded systems specified by Petri nets

Research output: Chapter in Book/Report/Conference proceedingConference contribution

4 Citations (Scopus)

Abstract

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.
Original languageUnknown
Title of host publicationIEEE International Symposium on Industrial Electronics (ISIE)
Pages1-6
DOIs
Publication statusPublished - 1 Jan 2013
EventIndustrial Electronics (ISIE), 2013 IEEE International Symposium on -
Duration: 1 Jan 2013 → …

Conference

ConferenceIndustrial Electronics (ISIE), 2013 IEEE International Symposium on
Period1/01/13 → …

Cite this