EAN: 9783319208213

DISTRIBUTED EMBEDDED CONTROLLER DEVELOPMENT WIT...

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 this development approach  the Petri nets class in use is extended
with time-domains and asynchronous-channels. The authors' approach uses models not only
providing a better understanding of the distributed controller and improving the communication
among the stakeholders  but also to be ready to support the entire lifecycle  including the
simulation  the verification (using model-checking tools)  the implementation (relying on
automatic code generators)  and the deployment of the distributed controller into specific
platforms. Uses a graphical and intuitive modeling formalism supported by design automation
tools  Enables verification  ensuring that the distributed controller was correctly specified 
Provides 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 model.

Aktuelle Preise zur EAN 9783319208213

Produktinformationen zur 9783319208213