Model-Based Quality Assurance of Automotive Software

Software in embedded (e.g. automotive) systems requires a high level of reliability. Model-based development techniques are increasingly used to reach this goal, but so far there is relatively little published knowledge oil the comparative benefits in using different assurance techniques. We investigate different and potentially complementary model-based software quality assurance methods (namely simulation and white-box testing vs. model-checking) at the land of an application to the software component of a door control unit. We draw conclusions with regards to suitable application use cases.