A Refined Top-Down Methodology for the Development of Automotive Software Systems - The Keyless Entry-System Case Study

Martin Feilkas, Florian Hölzl, Christian Pfaller, Sabine Rittmann, Bernhard Schätz, Wolfgang Schwitzer, Wassiou Sitou, Maria Spichkova and David Trachtenherz

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

url: https://mediatum.ub.tum.de/1094230