Abstract
Abstract:
The numbers of electronic devices in modern automobiles increased enormously within the last few years. Not only the raising number of the Embedded Control Units (ECUs) within one automobile is a challenge, but there is also a very strong increase in functionality in every single ECU. These facts lead to an exponential boost of complexity regarding intra- and inter-ECU behavior. Development of these systems is only manageable if accurate and sophisticated processes are implemented allowing development engineers to deal with this enormous complexity. Those processes provide a means to deliver the devices under hard time and cost constraints. The Model-Based Development process is an approach that allows engineers to graphically specify the behavior of a system and to simulate and execute it in a very early development stage. The tool environment MATLAB®/Simulink®/ Stateflow® offered by TheMathworks is a wide spread modelbased development tool for designing control applications for different industrial domains such as automotive, aerospace or rail systems. Once a model-based development process has been established, engineers are able to apply new technologies and tools to enhance and shorten product development cycles, e.g. by introducing Automatic Model Validation based upon formal verification technology and Automatic Production Code Generation.