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.
Projekt | SELFIE
Laufzeit:
Selbstverifikation von Elektronischen Systemen
Forschungsthemen
- Sonstige
Anwendungsfelder
- Sonstige
Videos
Projektbilder
Prof. Dr. Christoph Lüth
Keyfacts
Publikationen zum Projekt
Fördergeber
BMBF - Bundesministerium für Bildung und Forschung
01IW16001
