Metriken und Regeln für eine zustandsbasierte SW-entwicklung im Automobilbereich : Automotive software engineering

In the following, a prototypic tool is introduced for quality assurance in model-based design. Automatic checking of modelling rules in state-based models can be done with this application. Furthermore, an evaluation of the total system is possible by means of software metrics. The prototype called rule checker has been developed and used in a automotive project. With the Rule Checker, modelling rules and software metrics can be defined in OCL and/or Java in order to analyse and evaluate inconsistencies, incompatibilities as well as design errors.