Kontakt
Kako nakupovati
Dostava
Svetovalec pri nakupu
Distributed Embedded Controller Development with Petri Nets
Application to Globally-Asynchronous Locally-Synchronous Systems
Angleščina
118 b
30 dni za vračilo blaga
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.
O knjigi
Angleščina
