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.
Project | SELFIE
Duration:
Self-Verification of Electronic Systems
Research Topics
- Other
Application fields
- Other
Videos
Images
Prof. Dr. Christoph Lüth
Keyfacts
Involved research areas
Downloads
Publications about the project
Sponsors
BMBF - Federal Ministry of Education and Research
01IW16001
