Abstract Model-Driven Engineering is a development paradigm that uses models instead of
code as primary development artifacts. In this paper, we focus on executable models, which …

Due to the ever increasing complexity of embedded and cyber‐physical systems,
corresponding design solutions relying on modelling languages such as Unified Modelling …

Abstract System development strategies, like model-driven engineering (MDE), help to
abstract architectures and provide a promising way to deal with architecture complexity and …

Abstract Executable Domain-Specific Modeling Languages (xDSMLs) enable the
application of early dynamic verification and validation (V&V) techniques for behavioral …

With the emergence of Cyber-Physical Systems (CPS), several sophisticated runtime
monitoring solutions have been proposed in order to deal with extensive execution logs …

Abstract Executable Domain-Specific Modeling Languages (xDSMLs) open many
possibilities for performing early verification and validation (V&V) of systems. Dynamic V&V …

Software systems are increasingly making decisions autonomously by incorporating AI and
machine learning capabilities. These systems are known as self-adaptive and autonomous …

The complexity of today's embedded and cyber-physical systems is rapidly increasing and
makes the consideration of higher levels of abstraction during the design process inevitable …

This contribution presents an automatic transformation from UML and OCL models into
enriched UML and OCL models, so-called filmstrip models, which embody temporal …

Guaranteeing the essential properties of a system early in the design process is an
important as well as challenging task. Modeling languages such as the UML allow for a …