Cyber-Physical Systems

Projekte

Seite 10 von 13.

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 …
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 …
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 …
SIMPLE - Semantisch fundierte Implementierung klinischer Leitlinien
Das Forschungsprojekt SIMPLE hat sich zum Ziel gesetzt, durch Softwareunterstützung die Einhaltung klinischer Leitlinien in der medizinischen …
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 …