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

Projektbilder

Selbstverifikation elektronischer Systeme

Videos

Publikationen zum Projekt

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
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
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

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