Self-checking Systems

DFKI + Cyber physical systems in industrial applications | Other expert systems, diagnosis systems and simulation systems | Other software and solutions for maintenance and repair


Computer systems need to be checked for correctness prior to market launch. However, because of time constraints and the complexity of today’s computers, a full verification is often not possible. In the SELFIE project at DFKI’s Cyber-Physical Systems department, headed by Prof. Dr. Rolf Drechsler, a fundamentally new approach is being developed that allows systems to self-verify after production and delivery. Researchers are presenting the prototype of a self-verifying system at the Hannover Messe.

Today, embedded and cyber-physical systems are in use in the form of microchips in nearly all areas of everyday life – in smartphones, coffee machines, and electrical toothbrushes as well as in essential safety applications for trains, airplanes, and medical implants. To ensure the correctness of these increasingly complex systems, they are checked for errors during the design phase by various verification procedures. The problem: The growing complexity and ever-shorter product launch cycles force engineers to complete the verification process even though no assurance of full functional correctness can be given at that point. Consequently, errors in the final product often remain undetected.

Prof. Dr. Rolf Drechsler
Cyber-Physical Systems
+49 421 218 63932


There are no reviews yet.

Be the first to review “Self-checking Systems”

Your email address will not be published. Required fields are marked *

General Inquiries

There are no inquiries yet.

Request to join Club

30-minutes video or phone call

To discuss your expectations

Roles and Profile setup

To define what you give and what you get