A digital twin improves our use of a cyber–physical system and understanding of its
emerging behavior. To this effect, a digital twin is to be developed and configured and …

Abstract Internet of Things (IoT) applications are exposed to harsh conditions due to factors
such as device failure, network problems, or implausible sensor values. We investigate how …

Engineering software and software intensive systems has become increasingly complex
over the last decades. In the ongoing digitalization of all aspects of our lives in almost every …

ABSTRACT The Systems Modeling Language (SysML) is defined as an extension of UML
that reuses, forfeits, and adjusts selected parts of UML to facilitate the modeling of complex …

Use case diagrams (UCDs) are widely used for describing how different users use the
functionalities of a system to achieve their goals. As today's software systems offer an ever …

It is well-known that the satisfiability problem of feature diagrams (FDs) is computationally
hard. This paper examines the complexities of the satisfiability problems of sixteen FD …

For the systematic development of logical, message-driven architectures, automating
parallel decomposition of software components is important to achieve efficient modular and …

Robustness is an important property of a software, which must be tested in addition to a
software's functionality. This requires invalid values and invalid value combinations to be …

The development of avionics message communication systems is expensive due to their
complexity and the need to get them accepted by the certification authorities. We need to …