Projekte

SIRKA – Sensoranzug zur individuellen Rückmeldung körperlicher Aktivität

In vielen körperlich anstrengenden Berufen bilden stark belastende Bewegungsabläufe ein erhebliches Risiko für Berufskrankheiten in der zweiten …

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 …

LAWCHECK – Automatische Formalisierung gesetzlicher Regularien mit Hilfe von Natural Language Processing Techniken

Im Rahmen des Kooperationsprojektes sollen Verfahren entwickelt werden, welche eine (semi)automatische Formalisierung von natürlich-sprachlichen …

ASSAM – Assistants for Safe Mobility

Ziel des ASSAM Projekts ist die Kompensierung rückläufiger körperlicher sowie kognitiver Leistungsfähigkeiten älterer Menschen durch …

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

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 …

SIMPLE – Semantisch fundierte Implementierung klinischer Leitlinien

Das Forschungsprojekt SIMPLE hat sich zum Ziel gesetzt, durch Softwareunterstützung die Einhaltung klinischer Leitlinien in der medizinischen …

RESCAR (2.0) – Robuster Entwurf von neuen Elektronikkomponenten für Anwendungen im Bereich Elektromobilität

Ob im Antriebsstrang, in zentralen Steuergeräten oder der Karosserie- und Komfortelektronik  der Anteil elektronischer Komponenten im Auto nimmt …

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 …