Readers will progress from an understanding of what the Internet is now towards an understanding of the motivations and techniques that will drive its future.

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.

This book discusses the design and implementation of, as well as experimentation on, an open cross-layer framework and associated methodology to provide voluntary interoperability among heterogeneous Internet of Things (IoT) platforms. It allows readers to effectively and efficiently develop smart IoT applications for various heterogeneous IoT platforms, spanning single and/or multiple application domains. To do so, it provides an interoperable framework architecture for the seamless integration of different IoT architectures present in different application domains. In this regard, interoperability is pursued at various levels: device, network, middleware, services and data.

Readers will progress from an understanding of what the Internet is now towards an understanding of the motivations and techniques that will drive its future.

This book discusses the design and implementation of, as well as experimentation on, an open cross-layer framework and associated methodology to provide voluntary interoperability among heterogeneous Internet of Things (IoT) platforms. It allows readers to effectively and efficiently develop smart IoT applications for various heterogeneous IoT platforms, spanning single and/or multiple application domains. To do so, it provides an interoperable framework architecture for the seamless integration of different IoT architectures present in different application domains. In this regard, interoperability is pursued at various levels: device, network, middleware, services and data.

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.