Detailansicht
Distributed Embedded Controller Development with Petri Nets
Application to Globally-Asynchronous Locally-Synchronous Systems, SpringerBriefs in Electrical and Computer Engineering 150
ISBN/EAN: 9783319208213
Umbreit-Nr.: 8230107
Sprache:
Englisch
Umfang: xii, 79 S., 4 s/w Illustr., 33 farbige Illustr., 7
Format in cm:
Einband:
kartoniertes Buch
Erschienen am 22.10.2015
Auflage: 1/2015
€ 53,49
(inklusive MwSt.)
Nachfragen
- Zusatztext
- This book describes a model-based development (MBD) approach for distributed embedded controllers (DEC). This approach uses Petri nets as modeling formalism to create platform and network independent models supporting the use of design automation tools. The authors' approach uses models not only to raise the level of abstraction of the specification (providing a better understanding of the distributed controller and improving the communication among the stakeholders) but also to support other development phases, such as the simulation (using simulation tools), the verification (using model checking tools) and the implementation (using automatic code generators) and the deployment of the distributed controller into specific platforms.
- Kurztext
- Uses a graphical and intuitive modeling formalism supported by design automation toolsEnables verification, ensuring that the distributed controller was correctly specifiedProvides flexibility in the implementation and maintenance phases to achieve desired constraints (high performance, low power consumption, reduced costs), enabling porting to different platforms using different communication nodes, without changing the underlying behavioral modelIncludes supplementary material: sn.pub/extras