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...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
Άλλοι συγγραφείς: Papp, Zoltan (Επιμελητής έκδοσης), Exarchakos, George (Επιμελητής έκδοσης)
Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:English
Έκδοση: Singapore : Springer Singapore : Imprint: Springer, 2016.
Σειρά:Internet of Things, Technology, Communications and Computing,
Θέματα:
Διαθέσιμο Online:Full Text via HEAL-Link
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)