Distributed Embedded Controller Development with Petri Nets Application to Globally-Asynchronous Locally-Synchronous Systems /

• Main Authors: Moutinho, Filipe de Carvalho (Author), Santos Gomes, Luís Filipe (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Edition: 1st ed. 2016.
• Series: SpringerBriefs in Electrical and Computer Engineering, 150
• Subjects: Engineering.; Microprocessors.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Processor Architectures.; Electronics and Microelectronics, Instrumentation.

This book describes a model-based development approach for globally-asynchronous locally-synchronous distributed embedded controllers.  This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools.  To support thi...

Table of Contents:

• Introduction
• Related work
• Development of distributed embedded controllers
• Application Example
• Conclusions and future work.