Runtime Reconfiguration in Networked Embedded Systems : Design and Testing Practices
Runtime Reconfiguration in Networked Embedded Systems : Design and Testing Practices
edited by Zoltan Papp, George Exarchakos
- 1 recurso en línea (XXII, 171 páginas) 85 ilustraciones, 62 ilustraciones a color
- Internet of Things, Technology, Communications and Computing 2199-1073 .
Model-based Engineering of Runtime Recon?gurable Networked Embedded Systems -- Designing Recon?gurable Systems: Methodology and Guidelines -- Runtime Services and Tooling for Recon?guration -- Runtime Validation Framework -- Tools and Methods for Validation and Veri?cation -- 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 zevolutiony 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 zcookbooky 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.
9789811007156
Circuitos electrónicos
Telecomunicaciones
Redes informáticas
TK5105.546 / .R85 2016 EB
621.382
Model-based Engineering of Runtime Recon?gurable Networked Embedded Systems -- Designing Recon?gurable Systems: Methodology and Guidelines -- Runtime Services and Tooling for Recon?guration -- Runtime Validation Framework -- Tools and Methods for Validation and Veri?cation -- 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 zevolutiony 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 zcookbooky 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.
9789811007156
Circuitos electrónicos
Telecomunicaciones
Redes informáticas
TK5105.546 / .R85 2016 EB
621.382