Project

SELFIE

Self-Verification of Electronic Systems

Self-Verification of Electronic Systems

  • Duration:
  • Research Topics
    Other
  • Application fields
    Other

The exponential growth of the complexity of electronic systems makes it increasingly diffult to prove their correctness (verification). Addressing this problem, the goal of the SELFIE project is a fundamental change in the development of electronic systems. Instead of having to finish the verification before delivery irregardless of success, systems will verify themselves during operation. This self-verification will give system engineers more time, more resources and more information to successfully finish the verification. The SELFIE project will develop the methodology of self-verifying systems and a suitable architecture together with hardware and software support. The new design methodology will be validated with a case study from the smart homes domain.

Sponsors

Federal Ministry of Education and Research (BMBF)

01IW16001

Federal Ministry of Education and Research (BMBF)

Share project:

Contact Person

Keyfacts

Images

Self-verification of eletronic systems

Videos

Publications about the project

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.

To the publication
Christoph Lüth, Robert Wille, Rolf Drechsler

In: Slimane Hammoudi , Luís Ferreira Pires , Bran Selić (editor). 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.

To the publication
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.

To the publication

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