000 03141nam a22004935i 4500
001 978-981-10-0715-6
003 DE-He213
005 20200421111704.0
007 cr nn 008mamaa
008 160502s2016 si | s |||| 0|eng d
020 _a9789811007156
_9978-981-10-0715-6
024 7 _a10.1007/978-981-10-0715-6
_2doi
050 4 _aTK1-9971
072 7 _aTJK
_2bicssc
072 7 _aTEC041000
_2bisacsh
082 0 4 _a621.382
_223
245 1 0 _aRuntime Reconfiguration in Networked Embedded Systems
_h[electronic resource] :
_bDesign and Testing Practices /
_cedited by Zoltan Papp, George Exarchakos.
264 1 _aSingapore :
_bSpringer Singapore :
_bImprint: Springer,
_c2016.
300 _aXXII, 171 p. 85 illus., 62 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aInternet of Things, Technology, Communications and Computing,
_x2199-1073
505 0 _aModel-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 _aThis 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 _aEngineering.
650 0 _aElectrical engineering.
650 0 _aElectronic circuits.
650 1 4 _aEngineering.
650 2 4 _aCommunications Engineering, Networks.
650 2 4 _aCircuits and Systems.
650 2 4 _aSignal, Image and Speech Processing.
700 1 _aPapp, Zoltan.
_eeditor.
700 1 _aExarchakos, George.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9789811007149
830 0 _aInternet of Things, Technology, Communications and Computing,
_x2199-1073
856 4 0 _uhttp://dx.doi.org/10.1007/978-981-10-0715-6
912 _aZDB-2-ENG
942 _cEBK
999 _c55154
_d55154