This work presents mainly two contributions to Description Logics (DLs) research by means of Formal Concept Analysis (FCA) methods: supporting bottom-up construction of DL knowledge bases, and completing DL knowledge bases. Its contribution to FCA research is on the computational complexity of computing generators of closed sets.

This work presents mainly two contributions to Description Logics (DLs) research by means of Formal Concept Analysis (FCA) methods: supporting bottom-up construction of DL knowledge bases, and completing DL knowledge bases. Its contribution to FCA research is on the computational complexity of computing generators of closed sets.

Die Einführung des AUTOSAR Standards in der Softwareentwicklung für Steuergeräte ermöglicht die Entwicklung von Kundenfunktionalitäten unabhängig von der Zielplattform. Eine AUTOSAR konforme Applikation wird anschließend für eine konkrete Zielplattform konfiguriert. Diese Flexibilität bringt auch neue Herausforderungen für den Test eines Steuergerätes mit sich. Diese Arbeit präsentiert einen Ansatz, der sowohl durch statische Analysen von Konfigurationen und Quellcode, als auch durch dynamische Tests den Entwicklungsprozess von AUTOSAR Systemen unterstützt. Der dynamische Test überprüft auf der Zielplattform die Schichten der Basissoftware und der RTE und unterstützt bei der Fehlerlokalisierung. Der präsentierte Ansatz ist für alle Versionen der AUTOSAR Classic Plattform anwendbar und nutzt nur Methoden, die durch den AUTOSAR Standard erlaubt sind. Für diese Arbeit wurde eine Wissensbasis entworfen und umgesetzt, die das Architekturwissen des AUTOSAR Standards vorhält. In der Wissensbasis sind Schichten, Stacks und Basissoftwaremodule mit ihren Eigenschaften abgelegt. Durch die Arbeit konnten verschiedenen Projekte mit AUTOSAR Architektur überprüft, verglichen und optimiert werden.:1. Einleitung 2. Grundlagen 3. Stand der Technik 4. Konzept 5. Implementierung 6. Ergebnisse 7. Zusammenfassung und Ausblick A. AUTOSAR Basissoftwaremodule in Wissensbasis / The introduction of the AUTOSAR standard in software development for electronic control units enables the development of customer functionalities independent of the target platform. An AUTOSAR-compliant application is configured for a specific target platform. This flexibility leads to new challenges for testing of electronic control units. This work presents an approach for supporting the development and test process of AUTOSAR systems by static analysis and dynamic tests. The dynamic test checks the different layers of the basic software and RTE on the target platform. Moreover, error localization is supported. The presented approach can be used for all versions of the AUTOSAR Classic platform and only uses methods that are permitted by the AUTOSAR standard. A knowledge base was designed and implemented for this work, which contains the architecture knowledge of the AUTOSAR standard. Layers, stacks and basic software modules with their properties are stored in the knowledge base. The work enabled various projects with AUTOSAR architecture to be checked, compared and optimized.:1. Einleitung 2. Grundlagen 3. Stand der Technik 4. Konzept 5. Implementierung 6. Ergebnisse 7. Zusammenfassung und Ausblick A. AUTOSAR Basissoftwaremodule in Wissensbasis

Although many terminologies, taxonomies and also first ontologies for visualization have been suggested, there is still no unified and formal knowledge representation including the various fields of this interdisciplinary domain. We moved a step towards such an ontology by systematically reviewing existing models and classifications, identifying important fields and discussing inconsistently used terms. Finally, we specified an initial visualization ontology which can be used for both classification and synthesis of graphical representations. Our ontology can also serve the visualization community as a foundation to further formalize, align and unify its existing and future knowledge.