大葉大學圖書館 |

Runtime reconfiguration in networked embedded systems[electronic resource] :design and testing practices /

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
杜威分類號:	006.22
書名/作者:	Runtime reconfiguration in networked embedded systems : design and testing practices // edited by Zoltan Papp, George Exarchakos.
其他作者:	Papp, Zoltan.
出版者:	Singapore : : Springer Singapore :, 2016.
面頁冊數:	xxii, 171 p. : : ill. (some col.), digital ;; 24 cm.
Contained By:	Springer eBooks
標題:	Networks on a chip - Programming.
標題:	Adaptive computing systems.
標題:	Engineering.
標題:	Communications Engineering, Networks.
標題:	Circuits and Systems.
標題:	Signal, Image and Speech Processing.
ISBN:	9789811007156
ISBN:	9789811007149
內容註:	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.
電子資源:	http://dx.doi.org/10.1007/978-981-10-0715-6

Runtime reconfiguration in networked embedded systems[electronic resource] :design 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

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

647020
Networks on a chip
--Programming.

LC Class. No.: TK5105.546

Dewey Class. No.: 006.22

Runtime reconfiguration in networked embedded systems[electronic resource] :design and testing practices /
LDR:02419nam a2200325 a 4500 001 450678
003 DE-He213
005 20161021145122.0
006 m d
007 cr nn 008maaau
008 161210s2016 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 647020
650 0 $a Adaptive computing systems. $3 386141
650 1 4 $a Engineering. $3 372756
650 2 4 $a Communications Engineering, Networks. $3 463863
650 2 4 $a Circuits and Systems. $3 463473
650 2 4 $a Signal, Image and Speech Processing. $3 463860
700 1 $a Papp, Zoltan. $3 647017
700 1 $a Exarchakos, George. $3 647018
710 2 $a SpringerLink (Online service) $3 463450
773 0 $t Springer eBooks
830 0 $a Internet of things. $3 647019
856 4 0 $u http://dx.doi.org/10.1007/978-981-10-0715-6
950 $a Engineering (Springer-11647)