Projekte

SELFIE – Selbstverifikation von Elektronischen Systemen

Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel …

MANIAC – Manipulation von BDDs für Approximate Computing

Das Projekt MANIAC zielt auf die Optimierung von Algorithmen für Approximate Computing auf Basis von Binären Entscheidungsdiagrammen. Approximate …

CAxMan – Computer Aided Technologies for Additive Manufacturing

Projekt Die Ziele und Möglichkeiten zum Einsatz computergestützter Technologien für die additive Fertigung (CAxMan) sind sehr vielfältig. Dieses …

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 …