HANNOVER MESSE 2020,
20 - 24 April
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
DFKI, together with partners Airbus Operations, Broetje Automation, EngRoTec, and The Captury, developed a technology demonstrator for scenarios in hybrid manufacturing ...
CLAIRE is a European initiative in the field of Artificial Intelligence to bring research, industry, and civic partners closer together, to represent common interests, ...
The anticipatory textbook from project HyperMind at the Immersive Quantified Learning Lab (iQL) is a dynamic-adaptive, personal textbook that helps enable individual ...
Leveraging Manufacturing Execution Systems (MES) for AI in production
AI-based decision aids help subject matter experts as they make judgments in the context ...
At this year's Hannover Messe, the Embedded Intelligence department presents ways in which automated condition monitoring, remote management, and predictive maintenance ...
AI Technology Detects Physical Strain at the Workplace
Hitachi, Ltd. and DFKI have jointly developed an AI-based technology to measure the physical strain of ...
Space robots today are mostly passive observers and controlled by people back on Earth. Soon, however, they will be operating independently under extreme conditions ...