Kompatibilitätsabsicherung verteilter eingebetteter Systeme in der Mechatronik

Die Architektur eingebetteter Systeme in der Mechatronik führt zunehmend zur Vernetzung einer großen Zahl von Hard- und SW-Komponenten, die gemeinsam eine übergeordnete Funktion realisieren. Die Kompatibilität der Komponenten ist die wesentliche Voraussetzung für eine erfolgreiche Integration zu einem funktionierenden Gesamtsystem und somit ein entscheidendes Qualitätsmerkmal. Die Dissertation stellt die notwendigen Konzepte vor, die eine entwicklungsbegleitende Kompatibilitätsabsicherung eingebetteter Systeme ermöglichen. Eine virtuelle Integration formaler Schnittstellenbeschreibungen sichert die Kompatibilität in der Entwicklungsphase ab. Diese wird ergänzt durch einen Kompatibilitätstest, dessen Testfälle sich aufwandsarm aus den Schnittstellenbeschreibungen generieren lassen. Eine Fallstudie aus der Automobilbranche zeigt die Realisierbarkeit der vorgestellten Ansätze.