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

Bundesministerium für Bildung und Forschung

01IW16001

Bundesministerium für Bildung und Forschung

Share project:

Contact Person

Keyfacts

Downloads

Images

Self-verification of eletronic systems

Videos

Publications about the project

Martin Ring, Fritjof Bornebusch, Christoph Lüth, Robert Wille, Rolf Drechsler

In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-2019) March 25-29 Florence Italy 2019.

To the publication
Kenneth Schmitz, Buse Ustaoglu, Daniel Große, Rolf Drechsler

In: Proceedings of the 15th International Symposium on Applied Reconfigurable Computing (ARC). International Symposium on Applied Reconfigurable Computing (ARC-2019) April 9-11 Darmstadt Germany 2019.

To the publication
Rehab Massoud, Hoang M. Le, Peter Chini, Prakash Saivasan, Roland Meyer, Rolf Drechsler

In: Design Automation Conference (DAC). Design Automation Conference (DAC-2019) June 2-6 Las Vegas Nevada United States 2019.

To the publication

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