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.
|Title of host publication||Proceedings of the 23rd International Conference on Field Programmable Logic and Applications (FPL 2013)|
|Publication status||Published - 2013|
|Event||FPL 2013: 23rd International Conference on Field Programmable Logic and Applications - |
Duration: 1 Jan 2013 → …
|Conference||FPL 2013: 23rd International Conference on Field Programmable Logic and Applications|
|Period||1/01/13 → …|