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 atTechnical University Budapest, Hungary in 1978 and 1982, respectively, both inelectrical engineering. Before joining TNO he served as faculty member at theDepartment of Measurement and Instrument Engineering of the TechnicalUniversity of Budapest, Hungary. He held a visiting professor position atSchool of Engineering, Vanderbilt University, USA, while on leave from TNO. Hisprofessional interest covered model-based signal processing and control, distributedreal-time systems, multi-agent systems and sensor networks. During the recentyears he was involved in projects as system architect covering space robot armpath planning, a real-time simulator for multi-agent systems, control ofintelligent transportation systems and wireless sensor network basedmonitoring.
Georgios Exarchakos is an assistant professor ofdependable communications. His primary focus areas are complex networkdynamics, internet of things, network resource management and smart cross layeroptimizations. Georgios joined the Department of Electrical Engineering atEindhoven University of Technology in 2009 as postdoctoral researcher ofnetwork management. Since 2011, as assistant professor at the same departmenthas managed two multinational EU projects and has been teaching computernetworks and network overlays. He is co-author of Networks for PervasiveServices: six ways to upgrade the Internet (Springer) and editor of one editedbook (IGI-Global). George is the author of more than 50 journal articles andconference papers. He received his doctoral degree on peer-to-peer overlaysfrom University of Surrey, Guildford in 2009 and his MSc degree from ImperialCollege London in 2005.