An Overview of Model Transformations for a Simple Automotive Power Window

The goal of this report is to illustrate the Model-Based Development of a simple automotive control system. The Power Window example was chosen as one the hand, it is simple enough to not require extensive automotive and control theory background, and on the other hand, it is complex enough to be representative for Model-Based Development in the automotive domain. This complexity mainly stems from the use of models in different formalisms. Models in different formalisms are composed as well as transformed. Furthermore, this example was chosen as we already have some concrete experience with this case, having built a full hardware realization of it using Model-Based techniques. This example, and this document, are meant as a starting point for further discussion among NECSIS partners (and in particular, with GM, to discuss correctness and completeness). It is hoped that after sufficient refinement, this example can be used as a common case study by NECSIS partners, each focusing on different aspects (such as safety or variability) and techniques (simulation, code synthesis, model checking of models and transformations). As such it can be used as a benchmark for individual researchers to test their own approaches and techniques. If a common representation is used, exchange of models will be possible and different techniques developed by the partners can be combined