Mit dem zunehmenden Einzug der Elektronik ins Fahrzeug nimmt die Komplexität der Steuerungsstrukturen exponentiell zu. Durch diese Komplexität wird das Entwicklungsrisiko der Komponente Steuergerät sehr hoch. In vielen Fällen hat das Requirement Engineering großen Einfluss auf kritische Projektverläufe. Der folgende Praxisund Erfahrungsbericht aus diesem Bereich soll die Prozessverbesserungspot...

With the introduction of software into cars, many functions are now realized with reduced cost, weight and energy. The development of these software systems is done in a distributed manner independently by suppliers, following the traditional approach of the automotive industry, while the car maker takes care of the integration. However, the integration can lead to unexpected and unintended int...

In the present work a modular simulation-based technique for the automatic verification of logic control functions is introduced and exploited to define a structured bottom-up methodology for the testing of the overall control functions of process and power plants. The proposed method has been implemented in a CACSD environment which uses the Matlab toolboxes Simulink and Stateflow for the cont...

Statistical Model Checking is useful in situations where it is either inconvenient or impossible to build a concise representation of the global transition relation. This happens frequently with cyberphysical systems: Two examples are verifying Stateflow-Simulink models and in reasoning about biochemical reactions in Systems Biology. The main problem with Statistical Model Checking is caused by...