In komplexen Heizungsanlagen kommt es zu Betriebsfehlern, die den thermischen Komfort und die Energieeffizienz mindern sowie Kosten durch Verschleiss und Ausfälle verursachen. Häufige Betriebsfehler werden identifiziert und in einer Datenbank beschrieben. Es werden Methoden vorgestellt, mit denen der Nutzer auf fehlerhaften Anlagenbetrieb aufmerksam gemacht wird. Die Daten werden offline ausgewertet. Die signalgestützte Prüfung basiert auf der Definition von Regeln und Kennwerten. 17 Regeln werden vorgestellt. Mit Tensoren und Tensorzerlegung wird die Struktur der Betriebsdaten für die Analyse aufbereitet. In den Tensorfaktoren werden Betriebsfehler sichtbar. Bei der modellbasierten Prüfung wird das Nominalverhalten eines Systems mit dem realen Systemverhalten verglichen. Es werden multi-lineare Zustandsraummodelle definiert, deren Parameter in einer Tensorstruktur abgelegt werden. Durch eine Tensorzerlegung mit einem niedrigen Rank können bei ausreichender Datengrundlage die fehlenden Systemparameter bestimmt werden. Mit Paritätsgleichungen wird fehlerhafter Betrieb erkannt. Weiterhin wird die Modellbildung anhand von vereinfachten Energiebilanzen gezeigt. Ein Gebäudemodell wird zur Erkennung von Fehlern bei Einzelraumregelung genutzt.

Mit zunehmender Komplexität technischer Softwaresysteme ist die Nachfrage an produktiveren Methoden und Werkzeugen auch im sicherheitskritischen Umfeld gewachsen. Da insbesondere objektorientierte und modellbasierte Ansätze und Methoden ausgezeichnete Eigenschaften zur Entwicklung großer und komplexer Systeme besitzen, ist zu erwarten, dass diese in naher Zukunft selbst bis in sicherheitskritische Bereiche der Softwareentwicklung vordringen. Mit der Unified Modeling Language Real-Time (UML-RT) wird eine Softwareentwicklungsmethode für technische Systeme durch die Object Management Group (OMG) propagiert. Für den praktischen Einsatz im technischen und sicherheitskritischen Umfeld muss diese Methode nicht nur bestimmte technische Eigenschaften, beispielsweise temporale Analysierbarkeit, besitzen, sondern auch in einen bestehenden Qualitätssicherungsprozess integrierbar sein. Ein wichtiger Aspekt der Integration der UML-RT in ein qualitätsorientiertes Prozessmodell, beispielsweise in das V-Modell, ist die Verfügbarkeit von ausgereiften Konzepten und Methoden für einen systematischen Modultest. <br><br> Der Modultest dient als erste Qualititätssicherungsphase nach der Implementierung der Fehlerfindung und dem Qualitätsnachweis für jede separat prüfbare Softwarekomponente eines Systems. Während dieser Phase stellt die Durchführung von systematischen Tests die wichtigste Qualitätssicherungsmaßnahme dar. Während zum jetzigen Zeitpunkt zwar ausgereifte Methoden und Werkzeuge für die modellbasierte Softwareentwicklung zur Verfügung stehen, existieren nur wenig überzeugende Lösungen für eine systematische modellbasierte Modulprüfung. <br><br> Die durchgängige Verwendung ausführbarer Modelle und Codegenerierung stellen wesentliche Konzepte der modellbasierten Softwareentwicklung dar. Sie dienen der konstruktiven Fehlerreduktion durch Automatisierung ansonsten fehlerträchtiger, manueller Vorgänge. Im Rahmen einer modellbasierten Qualitätssicherung sollten diese Konzepte konsequenterweise in die späteren Qualitätssicherungsphasen transportiert werden. Daher ist eine wesentliche Forderung an ein Verfahren zur modellbasierten Modulprüfung ein möglichst hoher Grad an Automatisierung. <br><br> In aktuellen Entwicklungen hat sich für die Generierung von Testfällen auf Basis von Zustandsautomaten die Verwendung von Model Checking als effiziente und an die vielfältigsten Testprobleme anpassbare Methode bewährt. Der Ansatz des Model Checking stammt ursprünglich aus dem Entwurf von Kommunikationsprotokollen und wurde bereits erfolgreich auf verschiedene Probleme der Modellierung technischer Software angewendet. Insbesondere in der Gegenwart ausführbarer, automatenbasierter Modelle erscheint die Verwendung von Model Checking sinnvoll, das die Existenz einer formalen, zustandsbasierten Spezifikation voraussetzt. Ein ausführbares, zustandsbasiertes Modell erfüllt diese Anforderungen in der Regel. Aus diesen Gründen ist die Wahl eines Model Checking Ansatzes für die Generierung von Testfällen im Rahmen eines modellbasierten Modultestverfahrens eine logische Konsequenz.<br><br> Obwohl in der aktuellen Spezifikation der UML-RT keine eindeutigen Aussagen über den zur Verhaltensbeschreibung zu verwendenden Formalismus gemacht werden, ist es wahrscheinlich, dass es sich bei der UML-RT um eine zu Real-Time Object-Oriented Modeling (ROOM) kompatible Methode handelt. Alle in dieser Arbeit präsentierten Methoden und Ergebnisse sind somit auf die kommende UML-RT übertragbar und von sehr aktueller Bedeutung.<br><br> Aus den genannten Gründen verfolgt diese Arbeit das Ziel, die analytische Qualitätssicherung in der modellbasierten Softwareentwicklung mittels einer modellbasierten Methode für den Modultest zu verbessern. Zu diesem Zweck wird eine neuartige Testmethode präsentiert, die auf automatenbasierten Verhaltensmodellen und CTL Model Checking basiert. Die Testfallgenerierung kann weitgehend automatisch erfolgen, um Fehler durch menschlichen Einfluss auszuschließen. Das entwickelte Modultestverfahren ist in die technischen Konzepte Model Driven Architecture und ROOM, beziehungsweise UML-RT, sowie in die organisatorischen Konzepte eines qualitätsorientierten Prozessmodells, beispielsweise das V-Modell, integrierbar. / In consequence to the increasing complexity of technical software-systems the demand on highly productive methods and tools is increasing even in the field of safety-critical systems. In particular, object-oriented and model-based approaches to software-development provide excellent abilities to develop large and highly complex systems. Therefore, it can be expected that in the near future these methods will find application even in the safety-critical area. The Unified Modeling Language Real-Time (UML-RT) is a software-development methods for technical systems, which is propagated by the Object Management Group (OMG). For the practical application of this method in the field of technical and safety-critical systems it has to provide certain technical qualities, e.g. applicability of temporal analyses. Furthermore, it needs to be integrated into the existing quality assurance process. An important aspect of the integration of UML-RT in an quality-oriented process model, e.g. the V-Model, represents the availability of sophisticated concepts and methods for systematic unit-testing. <br><br> Unit-testing is the first quality assurance phase after implementation to reveal faults and to approve the quality of each independently testable software component. During this phase the systematic execution of test-cases is the most important quality assurance task. Despite the fact, that today many sophisticated, commercial methods and tools for model-based software-development are available, no convincing solutions exist for systematic model-based unit-testing. <br><br> The use of executable models and automatic code generation are important concepts of model-based software development, which enable the constructive reduction of faults through automation of error-prone tasks. Consequently, these concepts should be transferred into the testing phases by a model-based quality assurance approach. Therefore, a major requirement of a model-based unit-testing method is a high degree of automation. In the best case, this should result in fully automatic test-case generation. <br><br> Model checking already has been approved an efficient and flexible method for the automated generation of test-cases from specifications in the form of finite state-machines. The model checking approach has been developed for the verification of communication protocols and it was applied successfully to a wide range of problems in the field of technical software modelling. The application of model checking demands a formal, state-based representation of the system. Therefore, the use of model checking for the generation of test-cases is a beneficial approach to improve the quality in a model-based software development with executable, state-based models. <br><br> Although, in its current state the specification of UML-RT provides only little information on the semantics of the formalism that has to be used to specify a component’s behaviour, it can be assumed that it will be compatible to Real-Time Object-Oriented Modeling. Therefore, all presented methods and results in this dissertation are transferable to UML-RT.<br><br> For these reasons, this dissertations aims at the improvement of the analytical quality assurance in a model-based software development process. To achieve this goal, a new model-based approach to automated unit-testing on the basis of state-based behavioural models and CTL Model Checking is presented. The presented method for test-case generation can be automated to avoid faults due to error-prone human activities. Furthermore it can be integrated into the technical concepts of the Model Driven Architecture and ROOM, respectively UML-RT, and into a quality-oriented process model, like the V-Model.

Die Digitalisierung industrieller Fertigungs- und Qualitätssicherungsprozesse hat mittlerweile in einer Vielzahl von Unternehmen Einzug gefunden und ist dort nicht mehr wegzudenken. Ausgehend von einem funktionalen 3D-CAD-Modell soll es möglich sein, nahezu alle produktbegleitenden Prozesse – von der Konstruktion bis zur Endabnahme beim Kunden – teil- oder vollautomatisiert zu steuern. Das Ziel ist die eindeutige Vergleichbarkeit konstruktiver, fertigungstechnischer und qualitätsrelevanter Daten im Produktentstehungsprozess. Gerade im Bereich der Qualitätssicherung und der abgeleiteten Messprotokollierung besteht diesbezüglich bisher nicht ausgeschöpftes Optimierungspotenzial. Die bestehende Entwicklungslücke stört die Durchgängigkeit der digitalen 3D-CAD-basierten Prozesskette und beeinträchtigt die Prozess- und Informationstransparenz innerhalb der Produktentstehung. Mit der Verwendung der Product and Manufacturing Information (PMI) im 3D-CAD-Modell wird dieser Problematik zwar entgegengewirkt, jedoch ist es bislang nur begrenzt möglich, die Produkt- und Fertigungsinformationen eindeutig und unverändert in der heterogenen CAx-Systemlandschaft innerhalb der Produktentstehung zu transferieren. Neben der fehlenden Eindeutigkeit der PMI liegt die Ursache häufig bereits bei Fehldefinitionen der Informationen im Bereich der Bauteilkonstruktion. Eine eindeutige Zuordnung der Prüfmerkmale zu den jeweiligen Geometrieelementen wird nicht gewährleistet, sodass prüftechnisch ermittelte Soll-Wert-Abweichungen aus der Qualitätssicherung nicht direkt (ohne manuelle Nach- bzw. Mehrarbeit) dem entsprechenden geometrischen Element im 3D-CAD-Modell zugeordnet werden können. Das Ziel dieser Arbeit ist daher, eine Methode zu entwickeln, mit der die 3D-CAD-Modellinformationen semantisch korrekt definiert und auf Basis einer einheitlichen Kennzeichnung eindeutig im Produktentstehungsprozess identifiziert und maschinenlesbar weiterverarbeitet werden können. Zusätzlich werden aufbauend auf der eindeutigen Identifikation der Bauteilinformationen neue Methoden im Bereich der 3D CAD-basierten Arbeitsweise entwickelt, die den Mitarbeiter im Bereich der Prüf- und Arbeitsplanung sowie bei arbeitsvorgangsspezifischen Aufgaben in der Fertigung entlasten.:1. Einleitung 2. Stand der Forschung und Technik 3. Anforderungsprofil zur Methodenentwicklung 4. Entwicklung von Methoden zur 3D-modellbasierten Arbeitsweise in der Fertigung 5. Validierung der Methode zur Erreichung eines 3D modellbasierten Fertigungsansatzes 6. Diskussion und Fazit zu den Ergebnissen im Bereich der 3D-modellbasierten Arbeitsweise 7. Zusammenfassung und Ausblick

Die komponentenbasierten Softwareentwicklung verspricht die vereinfachte Entwicklung von komplexen Anwendungen. Um die Wiederverwendbarkeit zu verbessern und die Flexibilität zu erhöhen, müssen Komponenten dazu möglichst an verschiedene Umgebungsbedingungen angepasst werden können, sowohl innerhalb einer als auch in unterschiedlichen Anwendungen. Diese Prozesse werden als Komponentenadaption bezeichnet. In dieser Arbeit wird ein neues Adaptionskonzept für Komponenten entwickelt. Die sogenannten Adaptierbare Komponenten verwenden ein hierarchisches Komponentenmodell und werden aus einer Menge von Subkomponenten zusammengesetzt. Die Kernidee zur Umsetzung der Adaptivität besteht darin, bestimmte Parameterwerte einer Adaptierbaren Komponente auf unterschiedliche interne Konfigurationen der Subkomponenten abzubilden. Zur Beschreibung der möglichen internen Konfigurationen von Adaptierbaren Komponenten werden vier verschiedene graphische Modellierungstechniken entwickelt, die alle auf der graphischen Notation von UML-Komponentendiagrammen basieren und diese erweitern. Eine sogenannte Parameterabbildung definiert die Zuordnung von Parameterwerten auf bestimmte Konfigurationen. Die Konzepte Adaptierbarer Komponenten setzen keine neue Komponentenplattform voraus, sondern werden durch eine Kombination von Modelltransformation und spezieller Laufzeitunterstützung auf existierende Komponentenplattformen abgebildet. Ein dazu entwickeltes generisches Verfahren definiert die Schritte zur Unterstützung einer neuen Komponentenplattform. Mit Hilfe von zwei Fallstudien wird gezeigt, dass sich die Modellierungskonzepte von Adaptierbaren Komponenten für komplexe Beispiele anwenden lassen. Mit EJB, JavaBeans und Microsoft COM wird die Modelltransformation und Laufzeitunterstützung anhand des generischen Verfahrens exemplarisch für populäre Komponentenplattformen demonstriert.

Die komponentenbasierten Softwareentwicklung verspricht die vereinfachte Entwicklung von komplexen Anwendungen. Um die Wiederverwendbarkeit zu verbessern und die Flexibilität zu erhöhen, müssen Komponenten dazu möglichst an verschiedene Umgebungsbedingungen angepasst werden können, sowohl innerhalb einer als auch in unterschiedlichen Anwendungen. Diese Prozesse werden als Komponentenadaption bezeichnet. In dieser Arbeit wird ein neues Adaptionskonzept für Komponenten entwickelt. Die sogenannten Adaptierbare Komponenten verwenden ein hierarchisches Komponentenmodell und werden aus einer Menge von Subkomponenten zusammengesetzt. Die Kernidee zur Umsetzung der Adaptivität besteht darin, bestimmte Parameterwerte einer Adaptierbaren Komponente auf unterschiedliche interne Konfigurationen der Subkomponenten abzubilden. Zur Beschreibung der möglichen internen Konfigurationen von Adaptierbaren Komponenten werden vier verschiedene graphische Modellierungstechniken entwickelt, die alle auf der graphischen Notation von UML-Komponentendiagrammen basieren und diese erweitern. Eine sogenannte Parameterabbildung definiert die Zuordnung von Parameterwerten auf bestimmte Konfigurationen. Die Konzepte Adaptierbarer Komponenten setzen keine neue Komponentenplattform voraus, sondern werden durch eine Kombination von Modelltransformation und spezieller Laufzeitunterstützung auf existierende Komponentenplattformen abgebildet. Ein dazu entwickeltes generisches Verfahren definiert die Schritte zur Unterstützung einer neuen Komponentenplattform. Mit Hilfe von zwei Fallstudien wird gezeigt, dass sich die Modellierungskonzepte von Adaptierbaren Komponenten für komplexe Beispiele anwenden lassen. Mit EJB, JavaBeans und Microsoft COM wird die Modelltransformation und Laufzeitunterstützung anhand des generischen Verfahrens exemplarisch für populäre Komponentenplattformen demonstriert.