Projekte

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

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

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 …

CloudFlow – Computational Cloud Services and Workflows for Agile Engineering

CloudFlow has the ambition to provide a Cloud Computing infrastructure based on existing technology and standards that allows SME software vendors to …

CyProS – Cyber-Physische Produktionssysteme - Produktivitäts- und Flexibilitätssteigerung für den Mittelstand durch die Vernetzung intelligenter Systeme in der Fabrik

Das Ziel im vom Bundesministerium für Bildung und Forschung (BMBF) geförderten Projekt CyProS besteht darin, ein repräsentatives Spektrum an …

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 …