Skip to main content Skip to main navigation

Projekt

SELFIE

Selbstverifikation von Elektronischen Systemen

Selbstverifikation von Elektronischen Systemen

  • Laufzeit:
  • Forschungsthemen
    Sonstige
  • Anwendungsfelder
    Sonstige

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 Wandel in der Entwicklung elektronischer Systeme. Anstatt eines erzwungenen Endes der Verifikation bei der Auslieferung verifizieren sich Systeme während des Betriebs selbst. Diese Selbstverifikation gibt den Systementwicklern mehr Zeit, mehr Ressourcen, und mehr Informationen, um die Verifikation erfolgreich abzuschließen. Im Projekt SELFIE wird die Methodik selbstverifizierender Systeme sowie die passende Architektur samt Hardware- und Softwareunterstützung entwickelt. Der neue Entwurfsablauf wird mit Hilfe einer Anwendungsstudie aus dem Bereich smart homes validiert.

Fördergeber

BMBF - Bundesministerium für Bildung und Forschung

01IW16001

BMBF - Bundesministerium für Bildung und Forschung

Projekt teilen auf:

Kontakt
Prof. Dr. Christoph Lüth
Prof. Dr. Christoph Lüth

Keyfacts

Downloads

SELFIE.pdf (pdf, 275 KB)

Verwandte Projekte

Projektbilder

© Lisa Jungmann, DFKI GmbH

Selbstverifikation elektronischer Systeme

Videos

Publikationen zum Projekt

Performance Aspects of Correctness-oriented Synthesis Flows

Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

In: 9th International Conference on Model-Driven Engineering and Software Development (MODELSWARD). International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2021), 9th, February 8-10, Online-Conference, 2021.

Zur Publikation

Safety First: About the Detection of Arithmetic Overflows in Hardware Design Specifications

Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

In: Slimane Hammoudi; Luís Ferreira Pires; Bran Selić (Hrsg.). 8th International Conference on Model-Driven Engineering and Software Development (MODELSWARD), Revised Selected Papers. International Conference on Model-Driven Engineering and Software Development (MODELSWARD-2020), February 25-27, Valletta, Malta, Springer, 2021.

Zur Publikation

Towards Automatic Hardware Synthesis from Formal Specification to Implementation

Fritjof Bornebusch; Christoph Lüth; Robert Wille; Rolf Drechsler

In: 25th Asia and South Pacific Design Automation Conference (ASP-DAC). Asia and South Pacific Design Automation Conference (ASP-DAC-2020), 25th, January 13-16, Beijing, China, 2020.

Zur Publikation
Alle Publikationen