Automated model translations for vehicular real-time embedded systems with preserved semantics

Model-based development of software architecture for real-time embedded systems in modern vehicles has had a surge in the last few years. While the introduction of models into the development of real-time embedded systems has increased efficiency in some parts of the engineering process, the models are also cause of novel concerns. In particular, mismatch between structural and semantic assumptions in modeling languages used in different parts of the design process of such systems cause large problems when design artifacts are transformed between modeling languages.