ABSTRACT
Increasing complexity and increasing quality and reliability demands, often together with a short time to market, require efficient development methods for automotive software systems. Over the past three decades, model-based development (MBD)∗ and model-based testing (MBT) both made their way into the automotive industry.
