Runtime Reconfiguration in Networked Embedded Systems
Springer Verlag, Singapore
978-981-10-9234-3 (ISBN)
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 systemsfor greenhouses and smart homes.
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.
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.
| Erscheinungsdatum | 18.08.2018 |
|---|---|
| Reihe/Serie | Internet of Things |
| Zusatzinfo | 62 Illustrations, color; 23 Illustrations, black and white; XXII, 171 p. 85 illus., 62 illus. in color. |
| Verlagsort | Singapore |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Technik ► Elektrotechnik / Energietechnik |
| Technik ► Nachrichtentechnik | |
| Schlagworte | Adaptive Monitoring • Cargo state monitoring • DEMANES • optimal control • runtime validation • System of Systems |
| ISBN-10 | 981-10-9234-6 / 9811092346 |
| ISBN-13 | 978-981-10-9234-3 / 9789811092343 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
