東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Runtime reconfiguration in networked...

Papp, Zoltan.

FindBook

Google Book

Amazon

博客來

Runtime reconfiguration in networked embedded systems = design and testing practices /

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Runtime reconfiguration in networked embedded systems/ edited by Zoltan Papp, George Exarchakos.
其他題名:	design and testing practices /
其他作者:	Papp, Zoltan.
出版者:	Singapore :Springer Singapore : : 2016.,
面頁冊數:	xxii, 171 p. :ill. (some col.), digital ;24 cm.
內容註:	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.
Contained By:	Springer eBooks
標題:	Networks on a chip - Programming. -
電子資源:	http://dx.doi.org/10.1007/978-981-10-0715-6
ISBN:	9789811007156

Runtime reconfiguration in networked embedded systems = 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:

2195169
Networks on a chip
--Programming.

LC Class. No.: TK5105.546

Dewey Class. No.: 006.22

Runtime reconfiguration in networked embedded systems = design and testing practices /
LDR:02419nmm a2200325 a 4500 001 2038187
003 DE-He213
005 20161021145122.0
006 m d
007 cr nn 008maaau
008 161209s2016 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 2195169
650 0 $a Adaptive computing systems. $3 628890
650 1 4 $a Engineering. $3 586835
650 2 4 $a Communications Engineering, Networks. $3 891094
650 2 4 $a Circuits and Systems. $3 896527
650 2 4 $a Signal, Image and Speech Processing. $3 891073
700 1 $a Papp, Zoltan. $3 2195166
700 1 $a Exarchakos, George. $3 2195167
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Internet of things. $3 2195168
856 4 0 $u http://dx.doi.org/10.1007/978-981-10-0715-6
950 $a Engineering (Springer-11647)