Skip to main content Skip to main navigation

Projekte

Zeige Ergebnisse 1 bis 10 von 17.
  1. ECXL – Eine erweiterbare und konsistente ebenenübergreifende RISC-V Verifikationsplattform

    ECXL – Eine erweiterbare und konsistente ebenenübergreifende RISC-V Verifikationsplattform

    Ziel des Projektes ECXL ist die Entwicklung einer Entwurfs- und Verifikationsplattform für RISC-V-basierte Systeme. Die Verifikationsplattform erlaubt die Modellierung auf der abstrakten elektronische

  2. VE-HEP – Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren

    VE-HEP – Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren

    Im Zentrum des Projekts „Härtung der Wertschöpfungskette durch quelloffene, vertrauenswürdige EDA-Tools und Prozessoren (HEP)“ stehen RISC-V-Prozessoren. RISC-V ist eine neue, offene und freie Befehls

  3. VerSys – Eine konsistente Verifikationsplattform  zur frühen Softwareentwicklung für RISC-V-basierte Systeme

    VerSys – Eine konsistente Verifikationsplattform zur frühen Softwareentwicklung für RISC-V-basierte Systeme

    Ziel des Projektes VerSys ist die Entwicklung einer konsistenten Entwicklungsplattform für die frühzeitige Software-Entwicklung auf Basis der RISC-V-Technologie, einer Befehlssatzarchitektur für Mikro

  4. CONVERS – Entwurfsautomatisierung für komplexe Elektroniksysteme

    CONVERS – Entwurfsautomatisierung für komplexe Elektroniksysteme

    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

  5. SELFIE – Selbstverifikation von Elektronischen Systemen

    SELFIE – Selbstverifikation von Elektronischen Systemen

    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

  6. MANIAC – Manipulation von BDDs für Approximate Computing

    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 Computing (AC) – zu Deutsch annäherndes Rechnen – mach

  7. SaferApps – Sichere Ausführung von Fremdapplikationen in einer Unternehmensinfrastruktur

    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 Firmennetze zu integrieren, ohne die Sicherheit der bere

  8. MORES2 – Modelling and Refinement of Security Requirements on Data and Processes 2

    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 Aspekte der Workflowmodellierung (z.B. Tasks, Date

  9. SPECifIC – Quality-driven Design Flow using Formal Specifications and Functional Change Management

    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 gestiegenen Anforderungen an die Qualität und Komp

  10. MORES – Modelling and Refinement of Security Requirements on Data and Processes

    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 example of decision support systems in the area o