Towards Model-Based Engineering : A Constraint-Based Approach

Elektronische Modelle haben heute ihren Weg in fast alle Phasen des Konstruktionsprozesses technischer Systeme gefunden. Beginnend mit der breiten Einführung von CAD-Programmen haben modellbasierte Entwicklungswerkzeuge die Arbeit von Ingenieuren revolutioniert. Doch obwohl modellbasierte Techniken zur Bewältigung einer Fülle von Aufgaben eingesetzt werden, ist die Wiederverwendung von elektronischen Modellen wegen existierender Beschränkungen und Barrieren auf der Repräsentations- und Berechnungsebene immer noch sehr eingeschränkt. Folglich bedarf die Modellerzeugung in hohem Maß manueller Eingriffe, was zunehmend die Arbeitszeit von Ingenieuren verschlingt und fehleranfällig ist.In diesem Buch werden die Ergebnisse eines Dissertationsvorhabens vorgestellt, in welchem die Anwendbarkeit von Techniken aus dem Forschungsgebiet der modellbasierten Diagnose zur Unterstützung des Konstruktionsprozesses untersucht wurde. Ziel des Vorhabens war, die prozessübergreifende Wiederverwendbarkeit von Modellen und Analyseverfahren zu verbessern, wobei zwei spezielle Phasen im Mittelpunkt des Interesses lagen: Zuverlässigkeitsanalyse und Diagnose.Es wird ein constraintbasierter Ansatz vorgestellt, der stark von der klassischen General Diagnostic Engine (GDE) inspiriert wurde. Die diskutierten Erweiterungen und Varianten konzentrieren sich auf zwei Bereiche:- Verbesserung der für die Simulation grundlegenden Constraintlösungskomponente in Bezug auf Vollständigkeit und Effizienz, wobei Verfahren zur Constraintnetzzerlegung eine wichtige Rolle spielen, sowie - Verbesserung der Effizienz der Abhängigkeitsverfolgungskomponente, welche die zielgerichtete Suche nach Erklärungen (z.B. Fehlerkandidaten im Fall eines Diagnoseproblems) unterstützt.Eine Referenzimplementierung der vorgestellten Konzepte wurde in das kommerzielle Analysewerkzeug RODON integriert und mit typischen Problemstellungen aus Automobilbau und Luftfahrt evaluiert. Die vorgestellten Resultate unterstreichen die Effizienz der diskutierten Verfahren.