Runtime Reconfiguration in Networked Embedded Systems

Design and Testing Practices

  • Zoltan Papp
  • George Exarchakos

Part of the Internet of Things book series (ITTCC)

Table of contents

  1. Front Matter
    Pages i-xxii
  2. Coen van Leeuwen, Yolanda Rieter-Barrell, Zoltan Papp, Andrei Pruteanu, Teus Vogel
    Pages 1-28
  3. Zoltan Papp, Raul del Toro Matamoros, Coen van Leeuwen, Julio de Oliveira Filho, Andrei Pruteanu, Přemysl Šůcha
    Pages 29-68
  4. Julio Oliveira de Filho, Teus Vogel, Jan de Gier
    Pages 69-92
  5. Roshan Kotian, Stefano Galzarano, Claudio Bacchiani, Aly A. Syed, Přemysl Šucha, Roman Václavík et al.
    Pages 93-112
  6. Paola Jaramillo, Andrei Pruteanu, Willem van Driel, Wijnand van Kooten, Jean-Paul Linnartz
    Pages 113-136
  7. Coen van Leeuwen, Vicente Hernández Díaz, Roshan Kotian, Raúl del Toro Matamoros, Zoltan Papp, Yolanda Rieter-Barrell
    Pages 137-168
  8. Back Matter
    Pages 169-171

About this book

Introduction

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.

Keywords

DEMANES Adaptive Monitoring Optimal control Cargo state monitoring System of systems Runtime validation

Editors and affiliations

  • Zoltan Papp
    • 1
  • George Exarchakos
    • 2
  1. 1.TNOThe HagueThe Netherlands
  2. 2.Technical University EindhovenEindhovenThe Netherlands

Bibliographic information

  • DOI https://doi.org/10.1007/978-981-10-0715-6
  • Copyright Information Springer Science+Business Media Singapore 2016
  • Publisher Name Springer, Singapore
  • eBook Packages Engineering
  • Print ISBN 978-981-10-0714-9
  • Online ISBN 978-981-10-0715-6
  • Series Print ISSN 2199-1073
  • Series Online ISSN 2199-1081
  • About this book