On the development of specifications for process control software

Gegenstand dieser Arbeit ist ein System zur Entwicklung von Prozeßrechner- Software, das den Übergang von einer informalen Aufgabenstellung auf eine formale Spezifikation und die damit verbundene Strukturierung der Programme unterstützen und so einen Beitrag zur Zuverlässigkeit der Software leisten soll. Nach einigen Vorüberlegungen (2) werden die Konzepte entwickelt für das Begriffssystem, das den Kern bildet (3 .1), für die Spezifikationssprache (3.2), für das Werkzeug zur Verarbeitung, Speicherung und Auswertung der Spezifikation (3.3) und für das Verfahren, nach dem das System angewendet werden kann (3.4). Die Präzisierung der Sprache und die Implementierung des Werkzeugs werden beschrieben (4). Für den Übergang von der Spezifikation zum Programm wird ein Ansatz dargelegt (5). Es folgt ein größeres Beispiel (6). Die vollständige Grammatik (7), Literaturverzeichnis (8) und eine Liste der Abkürzungen (9) stehen am Schluß.This is a report on a system far the development of process-control software. The system supports the transition from an informal description of a problem to a formal specification. That includes the structuring process, which has a strong influence on software reliability. Based on some preliminary discussion (2), a basic set of constructs is defined (3.1). The specification language (3.2) and a tool to process, store, and evaluate specifications (3 . 3) are described , and it is shown how to use the system (3.4). The language definition and the implementation of the tool are presented (4). For the transition from specification to actual code, a technique is outlined (5) . Finally, an example is gi ven (6). The complete syntax (7), the references (8) and a list of abbreviations (9) follow

Konzeptioneller Ansatz einer Fehlerprädiktionsumgebung

In this thesis a failure prediction environment based on selected methods of statistics, machine learning and data mining was developed. For the system behavior representation of an observed information system mathematical models,such as Bayesian networks and Markov chains, were generated. These models were analyzed using a probabilistic model-checking for both the process evolution (path) into a fault condition as well as the time duration until the occurrence of this possible fault. Furthermore, based on a Kalman filter an approach for identification of anomalies and / or misbehavior in data streams was developed. This also includes a system identification part, which derives the models from measurement data. These models form the basis for the misbehavior detection

Einsatz und Bewertung komponentenbasierter Metadaten in einer föderierten Infrastruktur für Sprachressourcen am Beispiel der CMDI

Die Arbeit setzt sich mit dem Einsatz der Component Metadata Infrastructure CMDI im Rahmen der föderierten Infrastruktur CLARIN auseinander, wobei diverse konkrete Problemfälle aufgezeigt werden. Für die Erarbeitung entsprechender Lösungsstrategien werden unterschiedliche Verfahren adaptiert und für die Qualitätsanalyse von Metadaten und zur Optimierung ihres Einsatzes in einer föderierten Umgebung genutzt. Konkret betrifft dies vor allem die Übernahme von Modellierungsstrategien der Linked Data Community, die Übernahme von Prinzipien und Qualitätsmetriken der objektorientierten Programmierung für CMD-Metadatenkomponenten, sowie den Einsatz von Zentralitätsmaßen der Graph- bzw. Netzwerkanalyse für die Bewertung des Zusammenhalts des gesamten Metadatenverbundes. Dabei wird im Rahmen der Arbeit die Analyse verwendeter Schema- bzw. Schemabestandteile sowie die Betrachtung verwendeter Individuenvokabulare im Zusammenspiel aller beteiligten Zentren in den Vordergrund gestellt