000			03225nam a22004095i 4500
001			86826
003			ES-MaUEC
005			20240611040150.0
007			cr nn 008mamaa
008			160502s2016 si | s |||| 0|eng d
020			_a9789811007156
040			_aES-MaUEC
050		4	_aTK5105.546 _b.R85 2016 EB
082	0	4	_a621.382
245	0	0	_aRuntime Reconfiguration in Networked Embedded Systems : _bDesign and Testing Practices _cedited by Zoltan Papp, George Exarchakos
264		1	_aSingapore _bSpringer _c2016
300			_a1 recurso en línea (XXII, 171 páginas) 85 ilustraciones, 62 ilustraciones a color
336			_aTexto (visual) _btxt _2rdacontent
337			_aelectrónico _bc _2rdamedia
338			_arecurso electrónico _bcr _2rdacarrier
490	0		_aInternet of Things, Technology, Communications and Computing _x2199-1073
505	0		_aModel-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. .
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 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.
650	0	4	_aCircuitos electrónicos _9109672 _0comprobar BNE19900974538
650		7	_aTelecomunicaciones _2embne _9138448
650		7	_aRedes informáticas _2embne _9141354
700	1		_aExarchakos, George _eeditor literario _0Local _0http://id.loc.gov/authorities/names/nb2011018642 _1http://viaf.org/viaf/173193655 _9100851
700	1		_aPapp, Zoltan. _eeditor literario _9100850 _0Local _1http://viaf.org/viaf/121417923
856	4	0	_uhttps://go.openathens.net/redirector/universidadeuropea.es?url=https://link.springer.com/book/10.1007/978-981-10-0715-6 _zAcceso a este recurso digital (usuarios Universidad Europea de Madrid)
901			_ai9789811007156
907			_a.b12961048 _b10-10-17 _c21-11-16
942			_2lcc _cLE
945			_aEBOOK EB _g1 _ieBOOK _j0 _lmae _o- _pEUR0.00 _q- _r- _sb _t15 _u0 _v0 _w0 _x0 _y.i11616519 _z30-06-17
988	0	0	_aEBOOK, EBSPRINGER, GOBI_sep2018
988			_aEbook_one2one
998			_aSI _a_alco _a_vill _b10/2018 _cm _dz _ea _feng _gsi _h0
999			_c86826 _d86826 _x1