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
+49 421 218 63932