SysML-basierte Anforderungsmodellierung ( Vortrag mit Demo )

Referent:	Dr. Thorsten Keuler , Fraunhofer IESE
Vortragsreihe:	Architekturdesign
Zeit:	07. Dezember 4: 12:35-13:15
Co-Referenten:	Pablo Antonino

Zielgruppe

Entwicklung, Forschung&Lehre

Themenbereiche

Anforderungen definieren und verfolgen, Analyse & Design

Kurzfassung

Bevor mit dem Entwurf der Architektur eines eingebetteten Systems begonnen werden kann, sollten alle relevanten Anforderungen, die sich auf die Auslegung der Software- und Systemarchitektur auswirken können, zu einem gewissen Grad identifiziert und analysiert sein. Bei komplexen Systemen ist es unerlässlich, diese in einem werkzeuggestützten Modell zu erfassen, zu repräsentieren, zu analysieren und zu verwalten. In diesem Beitrag wird ein Ansatz vorgestellt, der auf Grundlage der SysML Anforderungen so modelliert, dass sie intuitiv und nachvollziehbar spezifiziert werden können und zudem die Basis für automatisierte formale Analysen bieten. Damit die formalen Analysen ohne Expertenwissen durchführbar sind, werden im Hintergrund werkzeuggestützte Modelltransformationen und Ansätze zum „Model Checking“ transparent für den Analysten eingesetzt.

Nutzen und Besonderheiten

Der vorgestellte Ansatz gibt eine pragmatische Anleitung zur systematischen Modellierung von Anforderungen komplexer Systeme. Die inkrementelle Modellerstellung ermöglicht dem Analysten, stets übersichtlich und skalierbar Anforderungen zu erheben und zu analysieren. Der Einsatz eines frei verfügbaren Open-Source Tools erleichtert die Adaption des Ansatzes und die Nutzung von Model-Checking-Techniken als "Black-Box".

Über den Referenten

Dr. Thorsten Keuler arbeitet seit 2004 als Berater und Forscher am Fraunhofer-Institut für Experimentelles Software Engineering in Kaiserslautern und ist verantwortlich für das Thema Software und Systemarchitekturen und promovierte 2010 in diesem Themengebiet an der TU Kaiserslautern. Er leitete zahlreiche Industrieprojekte in diesem Bereich, hält regelmäßig Vorträge zum Thema „Software und Systemarchitekturen“ bei Industriekunden, Konferenzen, auch im Rahmen von Vorlesungen an der TU KL.