Runtime Reconfiguration in Networked Embedded Systems Design and Testing Practices
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. Targ...
Other Authors: | , |
---|---|
Format: | eBook |
Language: | English |
Published: |
Singapore
Springer Nature Singapore
2016, 2016
|
Edition: | 1st ed. 2016 |
Series: | Internet of Things, Technology, Communications and Computing
|
Subjects: | |
Online Access: | |
Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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.