This paper presents a method for detecting cyber-attacks in cyber-physical systems using a
monitor. The method employs an abstract model called Tiny Twin, which is built at design …

With the rapid development and continuous updating of computing technology, computer
software is increasingly used in various management of enterprises, which brings great …

Drones are widely used in a number of key fields and are having a profound impact on all
walks of life. Working out how to improve drone safety through fault detection is key to …

We propose a method to detect attacks on sensors and controllers in cyber-physical
systems. We develop a monitor that uses an abstract digital twin, Tiny Twin, to detect false …

BPMN process models have been widely used in software designs. The BPMN process
models are characterized by a static graph-oriented modeling language and a lack of …

Complex distributed systems such as the ones induced by Internet of Things (IoT)
deployments, are expected to operate in compliance to their requirements. This can be …

The Internet of Things (IoT) connects a wide range of entities and can be applied to various
types of environments. In addition, IoT environments can be dynamically changed at …

The Internet of Things (IoT) provides convenience for our daily lives via a huge number of
devices. However, due to low-resource and poor computing capability, these devices have a …

The ever-increasing complexity of modern software architectures has exacerbated the need
for advanced software tools able to track software execution traces to improve software …