×


 x 

Shopping cart
Moutinho, Filipe de Carvalho; Santos Gomes, Luis Filipe - Distributed Embedded Controller Development with Petri Nets - 9783319208213 - V9783319208213
Stock image for illustration purposes only - book cover, edition or condition may vary.

Distributed Embedded Controller Development with Petri Nets

€ 70.82
FREE Delivery in Ireland
Description for Distributed Embedded Controller Development with Petri Nets Paperback. Series: SpringerBriefs in Electrical and Computer Engineering. Num Pages: 91 pages, 4 black & white illustrations, 33 colour illustrations, 20 black & white tables, biography. BIC Classification: TJFM; UYD; UYF. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 5. Weight in Grams: 156.

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 ... Read more

  • 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.
Show Less

Product Details

Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
91
Condition
New
Series
SpringerBriefs in Electrical and Computer Engineering
Number of Pages
79
Place of Publication
Cham, Switzerland
ISBN
9783319208213
SKU
V9783319208213
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for Distributed Embedded Controller Development with Petri Nets

Goodreads reviews for Distributed Embedded Controller Development with Petri Nets


Subscribe to our newsletter

News on special offers, signed editions & more!