February 2011
This technical report advances the methodology for the model-based development of automotive systems that was already defined in [FFH + 09], which was evaluated by developing an Adaptive Cruise Control (ACC) system with Pre-Crash Safety (PCS) functionality.
subject terms: AutoFOCUS3, model-based testing, case study, model-based systems engineering, MbSE