This paper focuses on the challenges of modeling cyber–physical systems (CPSs) that arise
from the intrinsic heterogeneity, concurrency, and sensitivity to timing of such systems. It …

This chapter deals with interoperability among pervasive networked systems, in particular
accounting for the heterogeneity of protocols from the application down to the middleware …

A self-adaptive software system modifies its behavior at runtime in response to changes
within the system or in its execution environment. The fulfillment of the system requirements …

A common feature of ambient intelligence is that many objects are inter-connected and act in
unison, which is also a challenge in the Internet of Things. There has been a shift in …

In this chapter we give an introduction to active learning of Mealy machines, an automata
model particularly suited for modeling the behavior of realistic reactive systems. Active …

Self-aware computing systems are envisaged to exploit the knowledge of their own software
architecture, hardware infrastructure and environment in order to follow high-level goals …

Interoperability remains a significant burden to the developers of Internet of Things systems.
This is because resources and APIs are dynamically composed; they are highly …

Ubiquitous and pervasive computing promotes the creation of an environment where
Networked Systems (NSs) eternally provide connectivity and services without requiring …

The Internet of Things is characterised by extreme heterogeneity of communication protocols
and data formats; hence ensuring diverse devices can interoperate with one another …

The INTERO (interoperability) model helps organizations manage and improve
interoperability among their large, evolving software systems. They can analyze a specific …