Open Access

Torsten Ronneberger

• Der ständige Anspruch die alltäglichen Systeme zu verbessern, indem sie optimiert und erweitert werden, erfordert eine permanente Verbesserung der Entwicklungsprozesse. Hierfür kann, mit Hilfe der Einführung neuer Entwicklungskonzepte, der gesamte Prozess verbessert werden. Im Gegensatz zur Prozesserneuerung besteht die Möglichkeit die einzelnen Entwicklungsphasen zu überarbeiten, indem neue Methoden eingeführt werden. Dementsprechend werden in dieser Master Thesis formale Methoden untersucht, die die Analysephase und den Anforderungsmanagementprozess unterstützen sollen. Die Unterstützung bezieht sich dabei auf die Vorteile, die ein Entwicklungsteam durch die Nutzung von Formalismen und formalen Sprachen erhält. Mit Hilfe dieser Vorteile und der rechnergestützten Datenverarbeitung soll es möglich sein, der zunehmenden Systemkomplexität zu entgegnen, indem die Spezifikation und das Management von funktionellen Anforderungen verbessert wird. Hierzu wird der Anforderungsmanagementprozess im Allgemeinen und in der Automobilindustrie dargestellt. Weiterhin werden spezielle formale Methoden vorgestellt und analysiert, die den Bereich der Beschreibung funktioneller Anforderungen bei reaktiven Systemen umfassen. Aus der Analyse heraus wird ein Formalismus identifiziert, der eine mögliche Unterstützung im speziellen Anforderungsmanagementprozess des Automotivbereiches bieten soll. Ausgehend von dieser konkreten formalen Methode, wird gleichfalls ein prinzipielles methodisches Vorgehen beschrieben. Dieses wird unter Nutzung eines entsprechenden Anwendungstools für eine praktische Anwendbarkeit untersucht.