| Descript |
1 online resource (xxii, 171 pages) : illustrations (some color), digital ; 24 cm |
|
text txt rdacontent |
|
computer c rdamedia |
|
online resource cr rdacarrier |
|
text file PDF rda |
| Series |
Internet of things, 2199-1073
|
|
Internet of things
|
| Note |
Model-based Engineering of Runtime Reconfigurable Networked Embedded Systems -- Designing Reconfigurable Systems: Methodology and Guidelines -- Runtime Services and Tooling for Reconfiguration -- Runtime Validation Framework -- Tools and Methods for Validation and Verification -- An Illustrative Application Example: Cargo State Monitoring |
|
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 systems for greenhouses and smart homes |
| Host Item |
Springer eBooks
|
| Subject |
Networks on a chip -- Programming
|
|
Adaptive computing systems
|
|
Engineering
|
|
Communications Engineering, Networks
|
|
Circuits and Systems
|
|
Signal, Image and Speech Processing
|
| Alt Author |
Papp, Zoltan, editor
|
|
Exarchakos, George, editor
|
|
SpringerLink (Online service)
|
|
