Modellbasierter Entwurf heterogener Systeme unter Verwendung von UML-Zustandsdiagrammen und SystemCAMS

Inhalt:
Beim Entwurf von komplexen elektronischen Systemen der Automobiltechnik wird die Betrachtung des Gesamtsystems immer wichtiger, da die Interaktion zwischen digitaler Hard- und Software, analogen Komponenten und der physikalischen Umgebung immer enger wird. Speziell für den Entwurf von eingebetteter Software für solche Systeme ist die Berücksichtigung des gesamten heterogenen Systems einschließlich seiner Umgebung unerlässlich. Basierend auf Systembeschreibungssprache SystemC / SystemC AMS wurde eine Methodik entwickelt, welche speziell den Entwurf von Algorithmen für komplexe elektronische Systeme der Automobiltechnik unterstützt. Dabei lag der Schwerpunkt auf der Entwicklung der eingebetteten Softwarealgorithmen. Es wurden Strategien entwickelt, diese abstrakt mit Hilfe von UML-Zustandsdiagrammen unter Einbeziehung des Gesamtsystems zu entwerfen und zu überprüfen. Außerdem wurde eine Methodik erarbeitet, welche dieses abstrakte Softwaremodell in den Code für den eingebetteten Prozessor überführt und eine Verifikation dieses Target-Codes im Gesamtsystem erlaubt.