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

Bundesministerium für Bildung und Forschung

01IW16001

Bundesministerium für Bildung und Forschung

Projekt teilen auf:

Ansprechpartner

Keyfacts

Projektbilder

Selbstverifikation elektronischer Systeme

Videos

Projektvideo SELFIE

Publikationen zum Projekt

Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2019) March 25-29 Florence Italy 2019.

Zur Publikation
Kenneth Schmitz, Buse Ustaoglu, Daniel Große, Rolf Drechsler

In: Proceedings of the 15th International Symposium on Applied Reconfigurable Computing (ARC). International Symposium on Applied Reconfigurable Computing (ARC-2019) April 9-11 Darmstadt Germany 2019.

Zur Publikation
Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler

In: Design Automation Conference (DAC). Design Automation Conference (DAC-2019) June 2-6 Las Vegas Nevada United States 2019.

Zur Publikation

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence