Microelectronics is known as a key technology for many future developments, from autonomous cars to intelligent fridges. Small and medium-sized companies play an important role in the production process – and are now supported by the German Research Center for Artificial Intelligence (DFKI). The DFKI cooperates with COSEDA Technologies in the project AUTOASSERT, in which methods for the early verification of heterogeneous systems are developed in order to save time and costs and thus make German companies more competitive. The project is funded by the German Federal Ministry of Education and Research (BMBF) with roughly 830,000 Euros.
They are the ‘innovation drivers of the digitalization’ in Germany: In order to support the small and medium-sized companies of the electronics industry, the German Federal Ministry for Education and Research (BMBF) is funding projects from which the development of microelectronics in Germany can benefit.
The reason for this is that analogue and digital systems are a key technology for many of todays and future developments in the areas of the Internet of Things (IoT), autonomous driving or medical technology.
One of the projects is AUTOASSERT, in which the DFKI Cyber-Physical Systems research department and the start-up COSEDA Technologies work on ways to allow for a faster and cheaper verification of electronic systems. Since 1 April 2020, scientists led by Prof. Dr. Rolf Drechsler and their project partner develop methods for an assertion-based verification that can verify both digital and analogue systems in an early stage.
Project continues award-winning groundwork
In the assertion-based verification, the software makes statements (assertions) about possible state of the systems before its actual implementation in the hardware, which leads to the detection of errors that do not comply with the expected state. By applying this method, producers can save time and money and are thus more competitive – an advantage that is of great importance especially for small and medium-sized companies.
The challenge in this is to take into account the influences of the analogue-digital hardware during the verification. In the usual procedures, these influences could only be observed after the production of the hardware and the implementation of the software.
A solution for this is the creation and simulation of analogue-digital virtual prototypes including the application software that is of interest. In the project CONVERS, researchers of the DFKI have already successfully worked on this simulation – again in cooperation with COSEDA Technologies.
For their work, the CPS employees Dr. Daniel Grosse and Muhammad Hassan received the Best Paper Award of the ‘Design and Verification Conference Europe’ (DVCon) 2018 in Munich. While CONVERS concentrated on creating simulation scenarios with constraints, which means specifications for the possible content of the variables, AUTOASSERT aims at the automated verification of the simulation results.
For example, the new software can verify the digital-analogue system of an electric car window opener before the car door is built. In the simulation, the method tests whether the window stops moving as soon as a physical resistance is created – e.g. by a hand. The assertion states the stopping of the window as the expected state. Jamming the fingers would thus be recognized as an error.
Early verification saves steps in the production process
The project aim is to integrate the new verification software as a prototype in the COSIDE development environment, which COSEDA Technologies is providing for its clients. The new methods and the heart of the project, an assertion library for heterogeneous systems, offer the opportunity to automatically verify these systems long before the hardware becomes available.
Many technologies are produced and designed in different locations – an early verification, which also takes into account aspects of the physical design via simulation, thus saves many steps in the production process.
The project AUTOASSERT for the development of a prototype software and an assertion library is funded since 1 April 2020 over the course of three years. The German Federal Ministry for Education and Research (BMBF) is providing roughly 830,000 Euros for the project partners, the German Research Center for Artificial Intelligence and COSEDA Technologies.
At https://cloud.dfki.de/owncloud/index.php/s/tjQR7coLK3mLxq8 you can find the project logo and a visualization for usage in your publication. Please consider the information on the source of the material when publishing the photo material.
Dr.-Ing. Daniel Grosse
German Research Center for Artificial Intelligence (DFKI)
Phone: +49 421 218 63935
DFKI Press contact
German Research Center for Artificial Intelligence (DFKI)
Team Corporate Communications Bremen
Phone: +49 421 17845 4180
Jens Peter Kückens DFKI Bremen | idw - Informationsdienst Wissenschaft
Research alliance: TRUMPF and Fraunhofer IPA ramping up artificial intelligence for industrial use
06.08.2020 | Fraunhofer-Institut für Produktionstechnik und Automatisierung IPA
Novel approach improves graphene-based supercapacitors
03.08.2020 | University of Technology Sydney
Scientists at the Fraunhofer Institute for Laser Technology ILT have come up with a striking new addition to contact stamping technologies in the ERDF research project ScanCut. In collaboration with industry partners from North Rhine-Westphalia, the Aachen-based team of researchers developed a hybrid manufacturing process for the laser cutting of thin-walled metal strips. This new process makes it possible to fabricate even the tiniest details of contact parts in an eco-friendly, high-precision and efficient manner.
Plug connectors are tiny and, at first glance, unremarkable – yet modern vehicles would be unable to function without them. Several thousand plug connectors...
An international research team has found a new approach that may be able to reduce bone loss in osteoporosis and maintain bone health.
Osteoporosis is the most common age-related bone disease which affects hundreds of millions of individuals worldwide. It is estimated that one in three women...
Traditional single-cell sequencing methods help to reveal insights about cellular differences and functions - but they do this with static snapshots only...
“Core-shell” clusters pave the way for new efficient nanomaterials that make catalysts, magnetic and laser sensors or measuring devices for detecting electromagnetic radiation more efficient.
Whether in innovative high-tech materials, more powerful computer chips, pharmaceuticals or in the field of renewable energies, nanoparticles – smallest...
An international research team with Prof. Cornelia Denz from the Institute of Applied Physics at the University of Münster develop for the first time light fields using caustics that do not change during propagation. With the new method, the physicists cleverly exploit light structures that can be seen in rainbows or when light is transmitted through drinking glasses.
Modern applications as high resolution microsopy or micro- or nanoscale material processing require customized laser beams that do not change during...
23.07.2020 | Event News
21.07.2020 | Event News
07.07.2020 | Event News
06.08.2020 | Earth Sciences
06.08.2020 | Power and Electrical Engineering
06.08.2020 | Life Sciences