Doctoral Thesis
Refine
Document Type
- Doctoral Thesis (2) (remove)
Language
- German (2)
Has Fulltext
- yes (2)
Keywords
- Modelling (2) (remove)
Faculty / Organisational entity
In dieser Arbeit wird gezeigt, wie durch eine Automatisierung von Software-Entwicklungsaktivitäten sowohl Effizienz- als auch Qualitätsgewinne erzielt und komplexe Aktivitäten beherrschbar gemacht werden können. Dazu wird zunächst eine solide Basis für eine modellbasierte Software-Entwicklung geschaffen. Nach der Identifikation der Probleme der bisher üblicherweise eingesetzten Metamodellierung wird eine verbesserte Multiebenenmodellierung vorgeschlagen, welche die explizite Angabe der Instanziierbarkeit (Tiefe und Automatismus der Instanziierung) der Modellelemente erlaubt und damit eine deutliche Vereinfachung und bessere Verständlichkeit der Metamodelle ermöglicht. Zur operationalen Beschreibung von Modelltransformationen im Kontext dieser Multiebenenmodellierung wird sodann die Aktionssprache AL++ konzipiert. Insbesondere durch die Einführung von Sprachelementen für die Handhabung von Relationen und Attributen und die Aufnahme von Reflexionskonstrukten in die Sprache AL++ werden Transformationen kompakt und generisch beschreibbar. Anwendung finden diese Ansätze in der modellbasierten Entwicklung reaktiver Systeme. Dazu wird eine existierende Entwicklungsmethode erweitert, um eine durchgängige Automatisierung realisieren zu können. Die wichtigste Erweiterung ist dabei die modifizierte Automatenmodellierung, bei welcher erweiterte Endliche Automaten durch die Komposition getrennt modellierter Zustandsübergänge spezifiziert werden, was eine eindeutige Verfolgbarkeit zu den Anforderungen erlaubt. Eingesetzt werden obige Techniken für die statische Analyse von Spezifikationen, wobei insbesondere die automatische Detektion von Feature-Interaktionen (also die Feststellung kritischer Wechselwirkungen zwischen Produktmerkmalen) in dieser Form erstmalig für den Bereich der reaktiven Systeme durchgeführt wird. Daneben werden automatisierte dynamische Analysen auf der Basis generierter Prototypen betrachtet. Die Analyseergebnisse können automatisiert für die Modifikation und Neukonstruktion der Prototypen genutzt werden, womit Software-Entwicklungsexperimente vollständig in einem „virtuellen Labor“ durchgeführt werden können. Wichtigstes experimentelles Ergebnis ist, dass eine statische Parametrisierung einer „intelligenten“ Temperaturregelung möglich ist und daher eine Reduktion der notwendigen Produktmerkmale (und damit der Komplexität) erreicht werden kann. In Fallstudien wird am Ende der Arbeit nachgewiesen, dass alleine durch die automatische Erzeugung von Entwicklungsdokumenten und die konsistente Änderung vorhergehender Dokumente durch die in dieser Arbeit implementierten Werkzeuge ein Effizienzgewinn von 54 % erreicht werden kann. Die Erstellung der eingesetzten Werkzeuge hätte sich dabei bereits nach zwei ähnlichen Projekten bezahlt gemacht.
Regenüberlaufbecken (RÜB) sind wichtige Bauwerke in Entwässerungsnetzen nach dem Mischverfahren. Sie tragen durch ihre Rückhaltewirkung dazu bei, den Schmutzaustrag in die Gewässer zu vermindern und die nachfolgende Kläranlage während der Niederschlagsereignisse zu entlasten. Obwohl nach einheitlichen Richtlinien bemessene Regenüberlaufbecken in großer An-zahl in Deutschland in Betrieb sind, ist über die Wirkung dieser recht teuren Bauwerke noch sehr wenig bekannt. Das gilt auch für alternative Anlagen wie hydrodynamische Abscheider und Kombinationsbauwerke, die in den letzten Jahren gebaut worden sind. Hier knüpft die vorliegende Arbeit an, deren Ziel es war, die Wirkung eines Kombinati-onsbauwerks in Bexbach/Rothmühle, bestehend aus Durchlaufbecken im Nebenschluss und zwei parallel beschickten hydrodynamischen Abscheidern als Trennbauwerke, zu untersuchen und modelltechnisch nachzubilden. Am Anfang der Arbeit steht ein Exkurs über Anlagen der Regenwasserbehandlung im Mischsystem und Faktoren, die für deren Reinigungswirkung maßgebend sind. Es wer-den die Grundlagen der Sedimentation und Ansätze zur Bilanzierung von Wirkungsgrad und Effektivität behandelt. Die Bedeutung des Bilanzierungszeitraums wird herausgestellt. Anschließend werden die Randbedingungen für die Untersuchungen des RÜB Bex-bach/Rothmühle sowie die Konzeption und der Betrieb des Bauwerks erläutert. Um die Wirkungsweise des Bauwerks zu ermitteln, wurden umfangreiche Messungen der Abflussquantität und -qualität an verschiedenen Punkten des Bauwerks durchgeführt. Die gemessenen Daten dienten dann als Grundlage zur Bestimmung der Wir-kungsgrade und Effektivitäten der einzelnen Anlagenteile sowie der Gesamtanlage für einige Entlastungsereignisse. Die Ergebnisse der Auswertungen über die Reinigungswirkung wurden mit den Resultaten ähnlicher Untersuchungen an anderen Anlagen verglichen und es wurde eine qualitative Wertung des untersuchten Bauwerks vorgenom-men. Im nächsten Schritt wurden sowohl die Ergebnisse der Untersuchungen als auch eines Tracerversuchs dazu genutzt, ein MATLAB/SIMULINK-Modell zur Nachbildung der Reinigungsvorgänge zu entwickeln. Durch die Verknüpfung dieses Modells mit dem Schmutzfrachtmodell WKosmoCOM gelang es, das Langzeitverhalten des Kombinati-onsbauwerks zu untersuchen. In einer vergleichenden Betrachtung der langfristigen Entlastungstätigkeit der unter-suchten Anlage mit der eines fiktiven Durchlaufbeckens im Nebenschluss herkömmli-cher Bauart wurde abgeschätzt, ob Speichervolumen durch den Einsatz der Kombinati-on von Wirbelabscheider und Durchlaufbecken eingespart werden kann. Die angesetzte Reinigungswirkung des fiktiven Durchlaufbeckens orientierte sich dabei an derjenigen, die für die Durchlaufbeckenstufe des untersuchten Bauwerks festgestellt wurde zuzüglich eines Aufschlags zur Verbesserung der Rückhaltewirkung. In mehreren Simulationsläufen auf der Basis des MATLAB/SIMULINK-Modells, gekoppelt mit dem Schmutzfrachtmodell WKosmoCOM, wurde das Volumen des fiktiven Beckens variiert, bis die Rückhaltewirkung der des realen Beckens entsprach. Der aus dem Vergleich resultierende Volumenunterschied ist ein Maß für das Einsparpotenzial. Die Simulationen erga-ben, dass die Reinigungswirkung des untersuchten Kombinationsbauwerks durch ein herkömmliches Durchlaufbecken erreicht wird, dessen Speichervolumen um etwa 17% größer ist.