Cyber-physical system (CPS) analysis and design are challenging due to the intrinsic
heterogeneity of those systems. Today, CPSs are often designed by leveraging existing …

The SBIP framework consists of a stochastic real-time component-based modelling
formalism and a statistical model checking engine. The former is built as a stochastic …

The design of software for networked systems with nodes running an Internet of things
operating system faces important challenges due to the heterogeneity of interacting things …

Jordan is one of the poorest countries in terms of water resources, estimated to be below the
poverty line. Due to high population growth and development, water supply and demand …

The interaction among components of an IoT-based system usually requires using low
latency or real time for message delivery, depending on the application needs and the …

The exponential increase in the number of wires needed for the deployment of industrial
applications in production lines combined with the complexity of the application …

Abstract Many autonomous Cyber-Physical Systems (CPSs)(eg, autonomous vehicles, IoT
or medical devices, etc.) are mission-or safety-critical (ie, errors may result in, resp., loss of …

In this paper we survey the main experiments performed using the SBIP framework. The
latter consists of a stochastic component-based modeling formalism and a probabilistic …

During the past few years, mashups have gained wide attention as they utilize Web 2.0
technologies in order to combine data, as well as the functionalities of numerous services, in …

Over the latest years the use of embedded devices has expanded rapidly due to the
convenience they offer in daily life. Embedded devices are characterized by their tiny size …