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

URL BibTeX Back