Runtime Reconfiguration in Networked Embedded Systems

Design and Testing Practices
1. Auflage 2016
ISBN: 978-981-10-0714-9
Verlag: Springer Nature Singapore

Buch, Englisch, 171 Seiten, HC runder Rücken kaschiert, Format (B × H): 160 mm x 241 mm, Gewicht: 4203 g

Reihe: Internet of Things

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.

Zielgruppe

Professional/practitioner

Autoren/Hrsg.

Exarchakos, George

Papp, Zoltan

Fachgebiete

• Mathematik | Informatik EDV | Informatik Computerkommunikation & -vernetzung
• Technische Wissenschaften Elektronik | Nachrichtentechnik Nachrichten- und Kommunikationstechnik
• Mathematik | Informatik EDV | Informatik Informatik Mensch-Maschine-Interaktion Ambient Intelligence, RFID, Internet der Dinge
• Mathematik | Informatik EDV | Informatik Technische Informatik Eingebettete Systeme

Inhaltsverzeichnis

Model-based engineering of runtime reconfigurable networked embedded systems.- The design process: methodology and guidelines.- Runtime services and tooling for reconfiguration.- Runtime validation framework.- Tools and methods for testing and verification.- Cargo state monitoring.

Über Autor(innen)

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.