Projekte

Um Systeme effizient zu entwerfen, muss die korrekte und sichere Funktionsweise des Gesamtsystems in möglichst frühen Entwurfsphasen nachgewiesen werden. Dabei ist es notwendig sowohl analoges als auc

Das exponentielle Wachstum der Komplexität elektronischer Systeme erschwert den Nachweis der Korrektheit (Verifikation) dieser Systeme zusehends. Ziel des Projektes SELFIE ist daher ein fundamentaler

Das Projekt MANIAC zielt auf die Optimierung von Algorithmen für Approximate Computing auf Basis von Binären Entscheidungsdiagrammen. Approximate Computing (AC) – zu Deutsch annäherndes Rechnen – mach

Der Industriepartner hat in verschiedenen Anwendungen Konzepte der rollenbasierten Zugriffskontrolle (RBAC) und Sicherheitsregeln umgesetzt, mit denen sich zusätzliche Sicherheitsanforderungen (wie z.

Ziel des Projekts ist die Entwicklung und Umsetzung geeigneter Sicherheitspolitiken, die es erlauben, inkrementell Softwarepakete in bestehende Firmennetze zu integrieren, ohne die Sicherheit der bere

eProcurementsysteme erlauben eine effiziente sowie finanziell und personell kostengünstige Abwicklung von Beschaffungsvorgängen in Unternehmen. Mitarbeiter/-innen wählen hier die gewünschten Artikel ü

Das Projekt MORES2 zielt auf die Entwicklung geeigneter Verfeinerungstechniken für Workflow-Spezifikationen. Dabei müssen zum einen die verschiedenen Aspekte der Workflowmodellierung (z.B. Tasks, Date

Ziel des Projektes SPECifIC ist ein neuartiger Entwurfsablauf samt Werkzeugunterstützung für eingebettete und cyber-physische Systeme, der den extrem gestiegenen Anforderungen an die Qualität und Komp

Hintergrund für das Projekt SiSSi ist die seit Jahren stark wachsende Bedeutung und Komplexität von Spreadsheets zur Analyse und Visualisierung von Wirtschaftsdaten. Als sogenannte aktive Dokumente st

The project MoReS aims at the transfer and enhancement of existing information-flow control techniques for the development of secure systems using the example of decision support systems in the area o