|
|
|
|
LEADER |
03148nam a22004815i 4500 |
001 |
978-981-10-0715-6 |
003 |
DE-He213 |
005 |
20160502161144.0 |
007 |
cr nn 008mamaa |
008 |
160502s2016 si | s |||| 0|eng d |
020 |
|
|
|a 9789811007156
|9 978-981-10-0715-6
|
024 |
7 |
|
|a 10.1007/978-981-10-0715-6
|2 doi
|
040 |
|
|
|d GrThAP
|
050 |
|
4 |
|a TK1-9971
|
072 |
|
7 |
|a TJK
|2 bicssc
|
072 |
|
7 |
|a TEC041000
|2 bisacsh
|
082 |
0 |
4 |
|a 621.382
|2 23
|
245 |
1 |
0 |
|a Runtime Reconfiguration in Networked Embedded Systems
|h [electronic resource] :
|b Design and Testing Practices /
|c edited by Zoltan Papp, George Exarchakos.
|
264 |
|
1 |
|a Singapore :
|b Springer Singapore :
|b Imprint: Springer,
|c 2016.
|
300 |
|
|
|a XXII, 171 p. 85 illus., 62 illus. in color.
|b online resource.
|
336 |
|
|
|a text
|b txt
|2 rdacontent
|
337 |
|
|
|a computer
|b c
|2 rdamedia
|
338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
347 |
|
|
|a text file
|b PDF
|2 rda
|
490 |
1 |
|
|a Internet of Things, Technology, Communications and Computing,
|x 2199-1073
|
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. .
|
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 systems for greenhouses and smart homes.
|
650 |
|
0 |
|a Engineering.
|
650 |
|
0 |
|a Electrical engineering.
|
650 |
|
0 |
|a Electronic circuits.
|
650 |
1 |
4 |
|a Engineering.
|
650 |
2 |
4 |
|a Communications Engineering, Networks.
|
650 |
2 |
4 |
|a Circuits and Systems.
|
650 |
2 |
4 |
|a Signal, Image and Speech Processing.
|
700 |
1 |
|
|a Papp, Zoltan.
|e editor.
|
700 |
1 |
|
|a Exarchakos, George.
|e editor.
|
710 |
2 |
|
|a SpringerLink (Online service)
|
773 |
0 |
|
|t Springer eBooks
|
776 |
0 |
8 |
|i Printed edition:
|z 9789811007149
|
830 |
|
0 |
|a Internet of Things, Technology, Communications and Computing,
|x 2199-1073
|
856 |
4 |
0 |
|u http://dx.doi.org/10.1007/978-981-10-0715-6
|z Full Text via HEAL-Link
|
912 |
|
|
|a ZDB-2-ENG
|
950 |
|
|
|a Engineering (Springer-11647)
|