Carlos E. Palau (ed.); Giancarlo Fortino (ed.); Miguel Montesinos (ed.); George Exarchakos (ed.); Pablo Giménez (ed.); Mark Springer (2021) Kovakantinen kirja
Carlos E. Palau (ed.); Giancarlo Fortino (ed.); Miguel Montesinos (ed.); George Exarchakos (ed.); Pablo Giménez (ed.); Mark Springer (2022) Pehmeäkantinen kirja
Springer Sivumäärä: 171 sivua Asu: Kovakantinen kirja Julkaisuvuosi: 2016, 11.05.2016 (lisätietoa) Kieli: Englanti Tuotesarja:Internet of Things
This book focuses on the design and testing of large-scale, distributed signal processing systems, with a special emphasis on systems architecture, tooling and best practices. Architecture modeling, model checking, model-based evaluation and model-based design optimization occupy central roles. Target systems with resource constraints on processing, communication or energy supply require non-trivial methodologies to model their non-functional requirements, such as timeliness, robustness, lifetime and “evolution” capacity. Besides the theoretical foundations of the methodology, an engineering process and toolchain are described. Real-world cases illustrate the theory and practice tested by the authors in the course of the European project ARTEMIS DEMANES. The book can be used as a “cookbook” for designers and practitioners working with complex embedded systems like sensor networks for the structural integrity monitoring of steel bridges, and distributed micro-climate control systemsfor greenhouses and smart homes.
