Distributed embedded systems design using Petri nets

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

1 Citation (Scopus)

Abstract

This paper presents a model-based development approach for distributed embedded systems, supported by design automation tools (available online at http://gres.uninova.pt/). The development approach considers the distributed system specification through a single Petri net model, which includes synchronous components specification and their asynchronous interaction. This specification supports the use of model-checking tools to verify behavioral proprieties and to provide additional information about the required resources to implement the distributed components and their communication channels. The global specification with the additional information supports the use of code generation tools to automatically generate the implementation code (of the synchronous components and communication channels) for software and hardware platforms based on micro-controllers and/or FPGAs.
Original languageEnglish
Title of host publicationProceedings of the 23rd International Conference on Field Programmable Logic and Applications (FPL 2013)
Pages1-2
DOIs
Publication statusPublished - 2013
EventFPL 2013: 23rd International Conference on Field Programmable Logic and Applications -
Duration: 1 Jan 2013 → …

Conference

ConferenceFPL 2013: 23rd International Conference on Field Programmable Logic and Applications
Period1/01/13 → …

Fingerprint Dive into the research topics of 'Distributed embedded systems design using Petri nets'. Together they form a unique fingerprint.

Cite this