Cargando…

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Papp, Zoltan (Editor ), Exarchakos, George (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Singapore : Springer Nature Singapore : Imprint: Springer, 2016.
Edición:1st ed. 2016.
Colección:Internet of Things, Technology, Communications and Computing,
Temas:
Acceso en línea:Texto Completo

MARC

LEADER 00000nam a22000005i 4500
001 978-981-10-0715-6
003 DE-He213
005 20220425232106.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 
050 4 |a TK5101-5105.9 
072 7 |a TJK  |2 bicssc 
072 7 |a TEC041000  |2 bisacsh 
072 7 |a TJK  |2 thema 
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. 
250 |a 1st ed. 2016. 
264 1 |a Singapore :  |b Springer Nature 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-1081 
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 Telecommunication. 
650 0 |a Electronic circuits. 
650 0 |a Signal processing. 
650 1 4 |a Communications Engineering, Networks. 
650 2 4 |a Electronic Circuits and Systems. 
650 2 4 |a Signal, Speech and Image Processing . 
700 1 |a Papp, Zoltan.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
700 1 |a Exarchakos, George.  |e editor.  |4 edt  |4 http://id.loc.gov/vocabulary/relators/edt 
710 2 |a SpringerLink (Online service) 
773 0 |t Springer Nature eBook 
776 0 8 |i Printed edition:  |z 9789811007149 
776 0 8 |i Printed edition:  |z 9789811007163 
776 0 8 |i Printed edition:  |z 9789811092343 
830 0 |a Internet of Things, Technology, Communications and Computing,  |x 2199-1081 
856 4 0 |u https://doi.uam.elogim.com/10.1007/978-981-10-0715-6  |z Texto Completo 
912 |a ZDB-2-ENG 
912 |a ZDB-2-SXE 
950 |a Engineering (SpringerNature-11647) 
950 |a Engineering (R0) (SpringerNature-43712)