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
Self-Verification of Electronic Systems
-
Duration:
-
Research Topics
Other
- Application fields
Other
Sponsors
BMBF - Federal Ministry of Education and Research
01IW16001
Contact Person
Keyfacts
- Involved research areas
Cyber-Physical Systems - Head
Prof. Dr. Rolf Drechsler
Downloads
Publications about the project