Offers design and testing of large-scale distributed signal processing systems
Puts a special emphasis on systems architecture, tooling and best practices
Serves as a "cook book” guideline for practitioners and system designers
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.
Thisbook focuses on the design and testing of large-scale, distributed signalprocessing systems, with a special emphasis on systems architecture, toolingand best practices. Architecture modeling, model checking, model-basedevaluation and model-based design optimization occupy central roles. Targetsystems with resource constraints on processing, communication or energy supplyrequire non-trivial methodologies to model their non-functional requirements,such as timeliness, robustness, lifetime and "evolution” capacity. Besides thetheoretical foundations of the methodology, an engineering process andtoolchain are described. Real-world cases illustrate the theory and practicetested by the authors in the course of the Europeanproject ARTEMIS DEMANES. The book can be used as a "cookbook” for designers andpractitioners working with complex embedded systems like sensor networks for thestructural integrity monitoring of steel bridges, and distributed micro-climatecontrol systems for greenhouses and smart homes.
Model-basedEngineering of Runtime Reconfigurable Networked Embedded Systems.- DesigningReconfigurable Systems: Methodology and Guidelines.- Runtime Services andTooling for Reconfiguration.- Runtime Validation Framework.- Tools and Methodsfor Validation and Verification.- An Illustrative Application Example: CargoState Monitoring.
Thisbook focuses on the design and testing of large-scale, distributed signalprocessing systems, with a special emphasis on systems architecture, toolingand best practices. Architecture modeling, model checking, model-basedevaluation and model-based design optimization occupy central roles. Targetsystems with resource constraints on processing, communication or energy supplyrequire non-trivial methodologies to model their non-functional requirements,such as timeliness, robustness, lifetime and "evolution" capacity. Besides thetheoretical foundations of the methodology, an engineering process andtoolchain are described. Real-world cases illustrate the theory and practicetested by the authors in the course of the Europeanproject ARTEMIS DEMANES. The book can be used as a "cookbook" for designers andpractitioners working with complex embedded systems like sensor networks for thestructural integrity monitoring of steel bridges, and distributed micro-climatecontrol systemsfor greenhouses and smart homes.
Model-basedEngineering of Runtime Reconfigurable Networked Embedded Systems.- DesigningReconfigurable Systems: Methodology and Guidelines.- Runtime Services andTooling for Reconfiguration.- Runtime Validation Framework.- Tools and Methodsfor Validation and Verification.- An Illustrative Application Example: CargoState Monitoring.
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.
Über den Autor
rn Zoltan Papp received his MSc and doctoral degree atrnTechnical University Budapest, Hungary in 1978 and 1982, respectively, both inrnelectrical engineering. Before joining TNO he served as faculty member at thernDepartment of Measurement and Instrument Engineering of the TechnicalrnUniversity of Budapest, Hungary. He held a visiting professor position atrnSchool of Engineering, Vanderbilt University, USA, while on leave from TNO. Hisrnprofessional interest covered model-based signal processing and control, distributedrnreal-time systems, multi-agent systems and sensor networks. During the recentrnyears he was involved in projects as system architect covering space robot armrnpath planning, a real-time simulator for multi-agent systems, control ofrnintelligent transportation systems and wireless sensor network basedrnmonitoring.
rnrn
rn Georgios Exarchakos is an assistant professor ofrndependable communications. His primary focus areas are complex networkrndynamics, internet of things, network resource management and smart cross layerrnoptimizations. Georgios joined the Department of Electrical Engineering atrnEindhoven University of Technology in 2009 as postdoctoral researcher ofrnnetwork management. Since 2011, as assistant professor at the same departmentrnhas managed two multinational EU projects and has been teaching computerrnnetworks and network overlays. He is co-author of Networks for PervasivernServices: six ways to upgrade the Internet (Springer) and editor of one editedrnbook (IGI-Global). George is the author of more than 50 journal articles andrnconference papers. He received his doctoral degree on peer-to-peer overlaysrnfrom University of Surrey, Guildford in 2009 and his MSc degree from ImperialrnCollege London in 2005.
rn
Inhaltsverzeichnis
Model-based
Engineering of Runtime Recon¿gurable Networked Embedded Systems.- Designing
Recon¿gurable Systems: Methodology and Guidelines.- Runtime Services and
Tooling for Recon¿guration.- Runtime Validation Framework.- Tools and Methods
for Validation and Veri¿cation.- An Illustrative Application Example: Cargo
State Monitoring.
Klappentext
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.
Offers design and testing of large-scale distributed signal processing systems
Puts a special emphasis on systems architecture, tooling and best practices
Serves as a "cook book" guideline for practitioners and system designers
Includes supplementary material: sn.pub/extras
