Klienditugi: 7440010 (E-R 10-18)

Abi | Registreeri | Logi sisse

E-raamat: Runtime Reconfiguration in Networked Embedded Systems: Design and Testing Practices

Edited by George Exarchakos, Edited by Zoltan Papp

Formaat: PDF+DRM
Sari: Internet of Things
Ilmumisaeg: 02-May-2016
Kirjastus: Springer Verlag, Singapore
Keel: eng
ISBN-13: 9789811007156

Teised raamatud teemal:

Formaat - PDF+DRM
Hind: 110,53 €*
* hind on lõplik, st. muud allahindlused enam ei rakendu
Lisa ostukorvi
Lisa soovinimekirja
See e-raamat on mõeldud ainult isiklikuks kasutamiseks. E-raamatuid ei saa tagastada.

Formaat: PDF+DRM
Sari: Internet of Things
Ilmumisaeg: 02-May-2016
Kirjastus: Springer Verlag, Singapore
Keel: eng
ISBN-13: 9789811007156

Teised raamatud teemal:

DRM piirangud

Kopeerimine (copy/paste):

ei ole lubatud
Printimine:

ei ole lubatud
Kasutamine:

Digitaalõiguste kaitse (DRM)
Kirjastus on väljastanud selle e-raamatu krüpteeritud kujul, mis tähendab, et selle lugemiseks peate installeerima spetsiaalse tarkvara. Samuti peate looma endale Adobe ID Rohkem infot siin. E-raamatut saab lugeda 1 kasutaja ning alla laadida kuni 6'de seadmesse (kõik autoriseeritud sama Adobe ID-ga).

Vajalik tarkvara
Mobiilsetes seadmetes (telefon või tahvelarvuti) lugemiseks peate installeerima selle tasuta rakenduse: PocketBook Reader (iOS / Android)

PC või Mac seadmes lugemiseks peate installima Adobe Digital Editionsi (Seeon tasuta rakendus spetsiaalselt e-raamatute lugemiseks. Seda ei tohi segamini ajada Adober Reader'iga, mis tõenäoliselt on juba teie arvutisse installeeritud )

Seda e-raamatut ei saa lugeda Amazon Kindle's.

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.

1 Model-Based Engineering of Runtime Reconfigurable Networked Embedded Systems

(28)

Coen van Leeuwen

Yolanda Rieter-Barrell

Zoltan Papp

Andrei Pruteanu

Teus Vogel

1.1 Introduction

(1)

1.2 Multi-aspect Modeling for Networked Embedded Systems

(11)

1.2.1 Related Work

(1)

1.2.2 System Models

(2)

1.2.3 Multi-aspect Modeling

(1)

1.2.4 The Task Aspect

(3)

1.2.5 The Behavioral Aspect

(1)

1.2.6 The Physical Aspect

(2)

1.2.7 The Mapping Aspect

(1)

1.2.8 Conclusions

(1)

1.3 Model-Based Derivation of Key Performance Indicators

(6)

1.3.1 Deriving the Key Performance Indicators

(4)

1.3.2 Conclusions

(1)

1.4 Modeling of Runtime Reconfiguration

(7)

1.4.1 Model Based Design for Reconfiguration

(1)

1.4.2 Reconfiguration Types and Basic Architectures

(2)

1.4.3 Modeling of Runtime Reconfigurable NESs

(3)

1.4.4 Conclusions

(1)

1.5 Conclusions

(2)

References

(1)

2 Designing Reconfigurable Systems: Methodology and Guidelines

(40)

Zoltan Papp

Raul del Toro Matamoros

Coen van Leeuwen

Julio de Oliveira Filho

Andrei Pruteanu

Premysl Sucha

2.1 Introduction: Why Design for Runtime Reconfiguration?

(2)

2.1.1 Reasons for Reconfiguration

(2)

2.2 The Design Time Versus Runtime Optimization Trade-Off

(4)

2.3 Design Patterns for Reconfigurable Real-Time Monitoring and Control

(11)

2.3.1 Formalizing the Reconfiguration Functionality

(2)

2.3.2 Task Models for Runtime Reconfiguration

(6)

2.4 Design Space Exploration for Runtime Reconfiguration

(11)

2.4.1 A Quick Survey on Design Space Exploration and Design Decision Making

(10)

2.5 A Systems Engineering Process for Runtime Reconfigurable NESs

(8)

2.5.1 Related Work

(2)

2.5.2 The Customized Design Process

(4)

2.5.3 Managing Runtime Reconfiguration

(1)

2.6 Conclusions

(3)

References

(2)

3 Runtime Services and Tooling for Reconfiguration

(24)

Julio Oliveira de Filho

Teus Vogel

Jan de Gier

3.1 Introduction: Model Oriented Tool Chain---An Overview

(3)

3.2 Modeling Tools and Code Generation

(5)

3.2.1 Developing a Model-Based Modeling Tool

(3)

3.2.2 Meta Modeling

(2)

3.3 Quantitative Evaluation and Optimization of System Designs

(9)

3.3.1 Modeling for Design Evaluation

(1)

3.3.2 Design Evaluation

(1)

3.3.3 Input for Design Exploration

(2)

3.3.4 Models for Optimization

(1)

3.3.5 DynAA

(3)

3.4 Runtime Services

(5)

3.4.1 Support for a Runtime System Composition Through Reconfiguration and Module Lifecycle Management

(1)

3.4.2 Support for Managing the Adaptation Process

(1)

3.4.3 Support for Adaptive Networking and Communication

(1)

3.4.4 Support for Resource Monitoring

(1)

3.4.5 Support for Service-Oriented Component Architecture

(1)

3.5 Conclusions

(2)

References

(2)

4 Runtime Validation Framework

(20)

Roshan Kotian

Stefano Galzarano

Claudio Bacchiani

Aly A. Syed

Premysl Sucha

Roman Vaclavik

Andrei Pruteanu

4.1 Introduction

(1)

4.2 Needs for Runtime Verification and Validation in ANES

(1)

4.3 Challenges of Runtime Verification and Validation in ANES

(1)

4.4 Runtime V&V Requirements for ANES

(2)

4.5 The V&V Reference Framework: An Overview

(3)

4.6 The V&V Runtime Infrastructure

101

(7)

4.6.1 System Monitoring

104

(1)

4.6.2 System Analysis

104

(2)

4.6.3 Playback Feature

106

(2)

4.7 Testing Workflow Examples

108

(4)

4.8 Conclusions

112

(1)

References

112

(1)

5 Tools and Methods for Validation and Verification

113

(24)

Paola Jaramillo

Andrei Pruteanu

Willem van Driel

Wijnand van Kooten

Jean-Paul Linnartz

5.1 Introduction

114

(1)

5.2 Related Work

115

(1)

5.3 Translating Key Performance Indicators from Software Reliability and Monitoring Approaches

116

(9)

5.3.1 Software Reliability Concepts

117

(2)

5.3.2 Monitoring Communication Networks

119

(2)

5.3.3 Monitoring the Application Context

121

(4)

5.4 Methods for Testing Under Induced and Normal Operation Conditions

125

(10)

5.4.1 Accelerated Life Testing: An Example of a Playback Feature of the V & V Framework

126

(1)

5.4.2 Tools for Testing Runtime Self-adaptive Systems

127

(8)

5.5 Conclusions

135

(2)

References

135

(2)

6 An Illustrative Application Example: Cargo State Monitoring

137

(32)

Coen van Leeuwen

Vicente Hernandez Diaz

Roshan Kotian

Raul del Toro Matamoros

Zoltan Papp

Yolanda Rieter-Barrell

6.1 Problem Definition

138

(1)

6.2 Design Challenges

139

(2)

6.3 System Design

141

(21)

6.3.1 Task Model

141

(8)

6.3.2 Behavioral Model

149

(6)

6.3.3 Physical Model

155

(3)

6.3.4 Mapping Model

158

(4)

6.4 Implementation Example

162

(6)

6.4.1 Implementation Hardware

163

(1)

6.4.2 Software Architecture

164

(2)

6.4.3 Use Cases

166

(1)

6.4.4 Performance Considerations

166

(2)

6.5 Conclusions

168

(1)

References

168

(1)

Index

169

Zoltan Papp received his MSc and doctoral degree at Technical University Budapest, Hungary in 1978 and 1982, respectively, both in electrical engineering. Before joining TNO he served as faculty member at the Department of Measurement and Instrument Engineering of the Technical University of Budapest, Hungary. He held a visiting professor position at School of Engineering, Vanderbilt University, USA, while on leave from TNO. His professional interest covered model-based signal processing and control, distributed real-time systems, multi-agent systems and sensor networks. During the recent years he was involved in projects as system architect covering space robot arm path planning, a real-time simulator for multi-agent systems, control of intelligent transportation systems and wireless sensor network based monitoring.

Georgios Exarchakos is an assistant professor of dependable communications. His primary focus areas are complex network dynamics, internet of things, network resource management and smart cross layer optimizations. Georgios joined the Department of Electrical Engineering at Eindhoven University of Technology in 2009 as postdoctoral researcher of network management. Since 2011, as assistant professor at the same department has managed two multinational EU projects and has been teaching computer networks and network overlays. He is co-author of Networks for Pervasive Services: six ways to upgrade the Internet (Springer) and editor of one edited book (IGI-Global). George is the author of more than 50 journal articles and conference papers. He received his doctoral degree on peer-to-peer overlays from University of Surrey, Guildford in 2009 and his MSc degree from Imperial College London in 2005.

Lisainfo e-raamatute kohta