Projekte

Kombination Symbolischer und Subsymbolischer Methoden

Deep-Learning-Verfahren werden in vielen Anwendungsgebieten

eingesetzt und arbeiten nach einer Trainingsphase sehr

effizient. Allerdings kann über ihre Korrektheit im allgemeinen keine

verlässliche…

Validierung von SAfeTy- und Security-Anforderungen in autonomen Fahrzeugen

Ziel dieses Projektes ist es, Techniken zur Erfassung und frühzeitigen Verifikation von Anforderungen für Systeme zur autonomen Fahrzeugführung zu entwickeln, um die notwendigen Security- und…

Sichere Ausführung von Fremdapplikationen in einer Unternehmensinfrastruktur

Ziel des Projekts ist die Entwicklung und Umsetzung geeigneter Sicherheitspolitiken, die es erlauben, inkrementell Softwarepakete in bestehende Firmennetze zu integrieren, ohne die Sicherheit der…

Modelling and Refinement of Security Requirements on Data and Processes 2

Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen Aspekte der Workflowmodellierung (z.B. Tasks,…

Software Engineering for Spreadsheet Interaction

Hintergrund für das Projekt SiSSi ist die seit Jahren stark wachsende Bedeutung und Komplexität von Spreadsheets zur Analyse und Visualisierung von Wirtschaftsdaten. Als sogenannte aktive Dokumente…

Modelling and Refinement of Security Requirements on Data and Processes

The project MoReS aims at the transfer and enhancement of existing information-flow control techniques for the development of secure systems using the example of decision support systems in the area…

Secure and highly-available Trust contexts for mixed cloud scenarios

Cloud Computing ist in der Zukunft ein zentraler Bestandteil von IT-Infrastruktur in Organisationen. Typischerweise werden dabei jedoch nicht alle Bestandteile der IT-Infrastruktur in die Cloud…

Semantisch fundierte Implementierung klinischer Leitlinien

Das Forschungsprojekt SIMPLE hat sich zum Ziel gesetzt, durch Softwareunterstützung die Einhaltung klinischer Leitlinien in der medizinischen Behandlungspraxis zu verbessern. Dazu erzeugt das…

Semantic Integration of Heterogenous Processes

Ziel des Projektes SHIP ist es, die semantische Modellierung und Analyse, und darauf basierende Verifkationstechniken zu nutzen, zu erweitern und zu adaptieren, um verläßliche, verteilte heterogene…

Formale Entwicklung für Sichere Robotik

FormalSafe zielt auf die computergestützte Verwaltung der vielen Arten von Dokumenten, die in der Entwicklung hochzuverlässiger Systeme vorkommen, mit Anwendungen auf dem Gebiet der Sicheren Robotik.

 

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence