A Refined Top-Down Methodology for the Development of Automotive Software Systems - The Keyless Entry-System Case Study
February 2011
abstract
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