Model-based System Engineering (MBSE) of the Internet of Things (IoT) literature is broad,
and analysis of this literature enables the identification of themes and potential future study …

The increasing complexity of reactive systems can be mitigated with the use of components
and composition languages in model-driven engineering. Designing composition languages …

Recent advances in machine learning led to the appearance of Learning-Enabled
Components (LECs) in Cyber-Physical Systems. LECs are being evaluated and used for …

Smart cyber-physical systems (CPSs) have complex interaction with their environment which
is rarely known in advance, and they heavily depend on intelligent data processing carried …

In safety-critical cyber-physical systems (CPS), a service failure may result in severe
financial loss or damage in human life. Smart CPSs have complex interaction with their …

Runtime monitoring plays a key role in the assurance of modern intelligent cyber-physical
systems, which are frequently data-intensive and safety-critical. While graph queries can …

Cyber-Physical Systems (CPS) are used in many applications where they must perform
complex tasks with a high degree of autonomy in uncertain environments. Traditional design …

Abstract The Industrial Internet of Things (IIoT) has brought a novel technological paradigm
that is rapidly changing the modem manufacturing systems, economic landscape and …

This paper introduces a demonstrator for a Collaborative Human-Robot Picking application
consisting of a robot in front of a rack picking known objects into a bin. The major part of the …

This work presents a model railway based demonstrator for safety-critical applications. The
demonstrator is intended as a use case for both R&D projects as well as educational …