|
|
|
|
| LEADER |
02635nmm a2200337 u 4500 |
| 001 |
EB001225324 |
| 003 |
EBX01000000000000000868627 |
| 005 |
00000000000000.0 |
| 007 |
cr||||||||||||||||||||| |
| 008 |
160601 ||| eng |
| 020 |
|
|
|a 9789811007156
|
| 100 |
1 |
|
|a Papp, Zoltan
|e [editor]
|
| 245 |
0 |
0 |
|a Runtime Reconfiguration in Networked Embedded Systems
|h Elektronische Ressource
|b Design and Testing Practices
|c edited by Zoltan Papp, George Exarchakos
|
| 250 |
|
|
|a 1st ed. 2016
|
| 260 |
|
|
|a Singapore
|b Springer Nature Singapore
|c 2016, 2016
|
| 300 |
|
|
|a XXII, 171 p. 85 illus., 62 illus. in color
|b online resource
|
| 505 |
0 |
|
|a 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.
|
| 653 |
|
|
|a Electronic circuits
|
| 653 |
|
|
|a Signal, Speech and Image Processing
|
| 653 |
|
|
|a Telecommunication
|
| 653 |
|
|
|a Communications Engineering, Networks
|
| 653 |
|
|
|a Electronic Circuits and Systems
|
| 653 |
|
|
|a Signal processing
|
| 700 |
1 |
|
|a Exarchakos, George
|e [editor]
|
| 041 |
0 |
7 |
|a eng
|2 ISO 639-2
|
| 989 |
|
|
|b Springer
|a Springer eBooks 2005-
|
| 490 |
0 |
|
|a Internet of Things, Technology, Communications and Computing
|
| 028 |
5 |
0 |
|a 10.1007/978-981-10-0715-6
|
| 856 |
4 |
0 |
|u https://doi.org/10.1007/978-981-10-0715-6?nosfx=y
|x Verlag
|3 Volltext
|
| 082 |
0 |
|
|a 621.382
|
| 520 |
|
|
|a 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
|