國立高雄大學圖資館 |

Language: English

Back

Runtime reconfiguration in networked...

Exarchakos, George.

Runtime reconfiguration in networked embedded systemsdesign and testing practices /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Runtime reconfiguration in networked embedded systemsedited by Zoltan Papp, George Exarchakos.
Reminder of title:	design and testing practices /
other author:	Papp, Zoltan.
Published:	Singapore :Springer Singapore :2016.
Description:	xxii, 171 p. :ill. (some col.), digital ;24 cm.
Contained By:	Springer eBooks
Subject:	Networks on a chipProgramming.
Online resource:	http://dx.doi.org/10.1007/978-981-10-0715-6
ISBN:	9789811007156$q(electronic bk.)

Runtime reconfiguration in networked embedded systemsdesign and testing practices /
Runtime reconfiguration in networked embedded systemsdesign and testing practices /[electronic resource] :edited by Zoltan Papp, George Exarchakos. - Singapore :Springer Singapore :2016. - xxii, 171 p. :ill. (some col.), digital ;24 cm. - Internet of things,2199-1073. - Internet of things..

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

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.

ISBN: 9789811007156$q(electronic bk.)

Standard No.: 10.1007/978-981-10-0715-6doiSubjects--Topical Terms:

747712
Networks on a chip
--Programming.

LC Class. No.: TK5105.546

Dewey Class. No.: 006.22

Runtime reconfiguration in networked embedded systemsdesign and testing practices /
LDR:02419nmm a2200325 a 4500 001 489330
003 DE-He213
005 20161021145122.0
006 m d
007 cr nn 008maaau
008 161213s2016 si s 0 eng d
020 $a 9789811007156$q(electronic bk.)
020 $a 9789811007149$q(paper)
024 7 $a 10.1007/978-981-10-0715-6 $2 doi
035 $a 978-981-10-0715-6
040 $a GP $c GP
041 0 $a eng
050 4 $a TK5105.546
072 7 $a TJK $2 bicssc
072 7 $a TEC041000 $2 bisacsh
082 0 4 $a 006.22 $2 23
090 $a TK5105.546 $b .R943 2016
245 0 0 $a Runtime reconfiguration in networked embedded systems $h [electronic resource] : $b design and testing practices / $c edited by Zoltan Papp, George Exarchakos.
260 $a Singapore : $b Springer Singapore : $b Imprint: Springer, $c 2016.
300 $a xxii, 171 p. : $b ill. (some col.), digital ; $c 24 cm.
490 1 $a Internet of things, $x 2199-1073
505 0 $a Model-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 $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 Networks on a chip $x Programming. $3 747712
650 0 $a Adaptive computing systems. $3 299106
650 1 4 $a Engineering. $3 210888
650 2 4 $a Communications Engineering, Networks. $3 273745
650 2 4 $a Circuits and Systems. $3 274416
650 2 4 $a Signal, Image and Speech Processing. $3 273768
700 1 $a Papp, Zoltan. $3 747710
700 1 $a Exarchakos, George. $3 514344
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Internet of things. $3 747711
856 4 0 $u http://dx.doi.org/10.1007/978-981-10-0715-6
950 $a Engineering (Springer-11647)