This report summarizes the main results of a project between an international automotive supplier and the chair for Software and Systems Engineering at Technische Universität Muenchen. The goal of this project was to refine an existing methodology for the model-based development of innovative automotive systems. This refined methodology is evaluated by developing a Keyless/Passive Entry System for cars. This document explains the methodology, shows how it is applied to the Keyless/Passive Entry System, and summarizes the results of evaluation. First, specification-models of the Keyless Entry case study have been developed at the chair for Software and Systems Engineering at Technische Universität Muenchen, starting with initial requirements provided by the automotive supplier. In subsequent steps, these specification-models are employed for testing, formal verification, and automated code-generation with deployment on a distributed embedded target platform. Furthermore, environment modeling is applied for deriving appropriate test cases for the system under design.      «

This report summarizes the main results of a project between an international automotive supplier and the chair for Software and Systems Engineering at Technische Universität Muenchen. The goal of this project was to refine an existing methodology for the model-based development of innovative automotive systems. This refined methodology is evaluated by developing a Keyless/Passive Entry System for cars. This document explains the methodology, shows how it is applied to the Keyless/Passive Entry...     »