SSE@TU-BS : Oberseminar

Wilhelm Schäfer: Ein UML-basierter Ansatz für die Modellierung, Verifikation und Implementierung der Informationsverarbeitung in mechatronischen Systemen

Am Beispiel des Projekts Neue Bahntechnik Paderborn wird der, in der Arbeitsgruppe Softwaretechnik im Rahmen des SFB 614 entwickelte Ansatz zur Spezifikation und Analyse der Informationsverarbeitung in mechatronischen Systemen vorgestellt. Der Ansatz beruht auf einem gemeinsamen hierarchischen Architekturmodell für alle Systemkomponenten sowie einer speziellen Anpassung und Erweiterung der UML (Unified Modelling Language) und wird Mechatronic-UML genannt. Durch hybride Schnittstellen erweiterte UML-Komponentendiagramme unterstützen die formale Abbildung des obigen Architekturmodells sowie eine syntaktische Konsistenzprüfung der verschiedenen Systemebenen und die korrekte Einbettung kontinuierlicher Systembeschreibungen. Zu Realtime-Statecharts erweiterte Statecharts, die durch eine Abbildung auf Timed Automata eine formale Semantik erhalten, ermöglichen das Model Checking des Systemverhaltens und damit die formale Überprüfung von sicherheitsrelevanten Eigenschaften. Letztlich wird der Ansatz zur Zeit durch die Möglichkeit mit Graphtransformationssystemen komplexere Verhalten beschreiben zu können, erweitert.

main page staff teaching theses research publications books press jobs download FB Informatik TU Braunschweig		Wilhelm Schäfer: Ein UML-basierter Ansatz für die Modellierung, Verifikation und Implementierung der Informationsverarbeitung in mechatronischen Systemen Am Beispiel des Projekts Neue Bahntechnik Paderborn wird der, in der Arbeitsgruppe Softwaretechnik im Rahmen des SFB 614 entwickelte Ansatz zur Spezifikation und Analyse der Informationsverarbeitung in mechatronischen Systemen vorgestellt. Der Ansatz beruht auf einem gemeinsamen hierarchischen Architekturmodell für alle Systemkomponenten sowie einer speziellen Anpassung und Erweiterung der UML (Unified Modelling Language) und wird Mechatronic-UML genannt. Durch hybride Schnittstellen erweiterte UML-Komponentendiagramme unterstützen die formale Abbildung des obigen Architekturmodells sowie eine syntaktische Konsistenzprüfung der verschiedenen Systemebenen und die korrekte Einbettung kontinuierlicher Systembeschreibungen. Zu Realtime-Statecharts erweiterte Statecharts, die durch eine Abbildung auf Timed Automata eine formale Semantik erhalten, ermöglichen das Model Checking des Systemverhaltens und damit die formale Überprüfung von sicherheitsrelevanten Eigenschaften. Letztlich wird der Ansatz zur Zeit durch die Möglichkeit mit Graphtransformationssystemen komplexere Verhalten beschreiben zu können, erweitert.