Jörg Holtmann arbeitet seit 2012 am Fraunhofer IEM und begann seine Dissertation unter der Betreuung von Professor Wilhelm Schäfer. Schwerpunkte seiner Arbeit sind der modellbasierte System- und Softwaree­ntwurf sowie das Requirements Engineering, hauptsächlich im Bereich Automotive. Seine Kolleginnen und Kollegen gratulieren ganz herzlich.

Zum Thema »Improvement of Software Requirements Quality Based on Systems Engineering«

Software-intensive Systeme durchdringen zunehmend unsere Gesellschaft und Industrie. Ihre Anwendung in sicherheitskritischen Bereichen kann sogar über Leben und Tod entscheiden (z.B. im Fall von Fahrerassistenzsystemen). Solche Systeme werden typischerweise multidisziplinär entwickelt, unterliegen oft Echtzeitanforderungen und werden auf verteilten und nebenläufigen Plattformen ausgeführt, die ihr Zeitverhalten beeinflussen.

Eine hohe Qualität der Anforderungen an die Software dieser Systeme ist unabdingbar, da die Softwareanforderungen die Basis für den Entwurf und die Entwicklung der Software sind. Die Anwendung von Modellen im Requirements Engineering (RE) wird als vorteilhaft angesehen, da Modelle automatische Analysetechniken zur Sicherstellung von hochqualitativen Anforderungen fördern. Jedoch berücksichtigen existierende modellbasierte RE-Ansätze weder den Übergang von multidisziplinären zu disziplinspezifischen RE-Phasen noch plattforminduzierte Zeiteffekte während der Echtzeitanforderungsvalidierung in ausreichender Weise. Dies resultiert zum einen in potentiellen Softwareanforderungsdefekten, die sich während des Übergangs einschleichen. Zum anderen entstehen kostspielige Entwicklungsiterationen durch Zeitanalysen, die erst in späten Entwicklungsphasen durchgeführt werden.

Die Dissertation präsentiert und evaluiert einen modellbasierten RE-Ansatz, der diese Probleme durch zwei Techniken adressiert. Zum einen führt sie eine semiautomatische Technik für den Übergang von multidisziplinären Systemmodellen zu Software-RE-Modellen ein, sodass sich die Wahrscheinlichkeit für die Entstehung von Anforderungsdefekten bei dem Übergang verringert. Zum anderen stellt sie eine Technik zur semiautomatischen Verifikation von Plattformeigenschaften gegenüber Echtzeitanforderungen in den Software-RE-Modellen vor, sodass eine plattforminduzierte Verletzung von Echtzeitanforderungen bereits in frühen Phasen aufgedeckt werden kann. Insgesamt verbessern diese Techniken somit die Qualität der Softwareanforderungen.

Kommissionsmitglieder

• Prof. Dr.-Ing. Roman Dumitrescu (Gutachter)
• Prof. Dr. Eric Bodden
• Prof. Dr. Joel Greenyer (Gutachter)
• Dr. Matthias Meyer
• Dr. Stefan Sauer