Distributed Embedded Controller Development with Petri Nets: Application to Globally-Asynchronous Locally-Synchronous Systems - Luís Filipe Santos Gomes,Filipe de Carvalho Moutinho
-30% ar kodu BOOKS
Piegāde 12-18 darba dienu laikā
30 dienu atgriešanas politika
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. T ... Pilns apraksts
Jums varētu patikt arī
TOP
INCOSE Systems Engineering Handbook
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
If Anyone Builds It, Everyone Dies: The Case Against Superintelligent AI
Eliezer Yudkowsky, Nate Soares
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Open Circuits: The Inner Beauty of Electronic Components
Eric Schlaepfer, Windell Oskay
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Get started with MicroPython on Raspberry Pi Pico: The Official Raspberry Pi Pico Guide
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Practical Electronics for Inventors
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Nucleo Boards Programming with the STM32CubeIDE: Hands-on in more than 50 projects
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Fundamentals of Aerodynamics ISE
Christopher Cadou, John D. Anderson
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Black Holes: The Key to Understanding the Universe
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
How To Read Water: Clues & Patterns from Puddles to the Sea
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Foundations of Flavor: The Noma Guide to Fermentation: Including Step-By-Step Information on Making and Cooking with: Koji, Kombuchas, Shoyus, Misos, Vinegars, Garums, Lacto-Ferments and black Fruits Vegetables
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Make: Electronics: Learning by Discovery: A hands-on primer for the new electronics enthusiast
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Data-Driven Science and Engineering: Machine Learning, Dynamical Systems, and Control
Steven L. Brunton, J. Nathan Kutz
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
The Idea Factory: Bell Labs and the Great Age of American Innovation
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Flowers For Algernon: A Modern Literary Classic
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Professional SMD Assembly: Practical Low-Cost Methods for Reliable PCB Production
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
Blood in the Machine: The Origins of the Rebellion Against Big Tech
-30% ar kodu BOOKS
Piegādātāja noliktavā
TOP
KiCad Like A Pro - Fundamentals and Projects: Getting started with the world's best open-source PCB tool
-30% ar kodu BOOKS
Piegādātāja noliktavā
Aprašymas
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.
Vairāk informācijas
| Autors | Luís Filipe Santos Gomes, Filipe de Carvalho Moutinho |
|---|---|
| Izdevējs | Springer Nature Switzerland |
| Series | SpringerBriefs in Electrical and Computer Engineering |
| Izlaides gads | 2015 |
| Vāka tips | Mīkstais vāks |
| EAN | 9783319208213 |