The fourth industrial revolution, ie, Industry 4.0, is associated with Cyber-Physical Systems
(CPS), which are entities integrating hardware (eg, smart sensors and actuators connected …

Bidirectional transformations (bx) are relevant for a wide range of application domains.
While bx problems may be solved with unidirectional languages and tools, maintaining …

The functional suitability of digital twin systems relies on accurately capturing, modelling,
and exchanging data from their corresponding assets or processes. Consequently …

Trace-based timing analysis is a technique, which assesses the software timing
requirements against the timing information contained in so-called traces, which are files …

Bidirectional model transformations (Bx) are considered as one of the cornerstones of model-
driven engineering paradigm. Bx re-establishes the consistency between the source and …

In modern, computer-aided engineering processes, restoring and maintaining the
consistency of multiple, related artefacts is an important challenge. This is especially the …

Modern automotive software systems consist of hundreds of heterogeneous software
applications, belonging to separated function domains and often developed within …

In recent years, software product line development has been adopted by a growing number
of companies. Within software product line development, one way of creating specific …

The increasing complexity of modern automotive software systems has prompted the
development and adoption of various model-based methodologies. One such methodology …

Abstract Model-driven software development proposes model transformations as a key
system design principle. However, devel-opment of model transformations can be …