Projekte

SPECifIC – Quality-driven Design Flow using Formal Specifications and Functional Change Management

Ziel des Projektes SPECifIC ist ein neuartiger Entwurfsablauf samt Werkzeugunterstützung für eingebettete und cyber-physische Systeme, der den extrem …

SATCLOUD – 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 …

MORES – 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 …

SHIP – 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 …

FormalSafe – 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 …

GenMod – Generische Algorithmen und Komplexitätsschranken für Koalgebraische Modallogiken

Dieses Projekt entwickelt eine Erweiterung herkömmlicher existierender generisches algorithmischer Methoden für koalgebraische Modallogik, welches als …

HasCASL – HasCASL

Kombination von algebraischer Spezifikation und funktionaler Programmierung als Umgebung für formale Softwareentwicklung.

PGKit – Generische Benutzerschnittstellen für interaktive Theorembeweiser

Ziel des Proof General Kit ist die Implementation eines Rahmenwerks für interaktives Theorembeweisen, basierend auf einer leichtgewichtigen Middleware …

AWE – Abstraktion und Wiederverwendung Formaler Entwicklungen

Das Projekt AWE untersucht das Potential der systematischen Verallgemeierung von formalen Entwicklung zur besseren Wiederverwendung. Partner …