Forum for Science, Industry and Business

Sponsored by:     3M 
Search our Site:

 

Project AUTOASSERT: DFKI scientists develop software tool for the support of German electronics companies

07.07.2020

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.


Visualization of a digital-analogue system that is verified early on in the project AUTOASSERT.

COSEDA Technologies GmbH

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.

Photo material
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.

DFKI Contact
Dr.-Ing. Daniel Grosse
German Research Center for Artificial Intelligence (DFKI)
Cyber-Physical Systems
Mail: Daniel.Grosse@dfki.de
Phone: +49 421 218 63935

DFKI Press contact
German Research Center for Artificial Intelligence (DFKI)
Team Corporate Communications Bremen
Mail: uk-hb@dfki.de
Phone: +49 421 17845 4180

Jens Peter Kückens DFKI Bremen | idw - Informationsdienst Wissenschaft
Further information:
http://www.dfki.de

More articles from Information Technology:

nachricht Research alliance: TRUMPF and Fraunhofer IPA ramping up artificial intelligence for industrial use
06.08.2020 | Fraunhofer-Institut für Produktionstechnik und Automatisierung IPA

nachricht Novel approach improves graphene-based supercapacitors
03.08.2020 | University of Technology Sydney

All articles from Information Technology >>>

The most recent press releases about innovation >>>

Die letzten 5 Focus-News des innovations-reports im Überblick:

Im Focus: ScanCut project completed: laser cutting enables more intricate plug connector designs

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...

Im Focus: New Strategy Against Osteoporosis

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...

Im Focus: AI & single-cell genomics

New software predicts cell fate

Traditional single-cell sequencing methods help to reveal insights about cellular differences and functions - but they do this with static snapshots only...

Im Focus: TU Graz Researchers synthesize nanoparticles tailored for special applications

“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...

Im Focus: Tailored light inspired by nature

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...

All Focus news of the innovation-report >>>

Anzeige

Anzeige

VideoLinks
Industry & Economy
Event News

“Conference on Laser Polishing – LaP 2020”: The final touches for surfaces

23.07.2020 | Event News

Conference radar for cybersecurity

21.07.2020 | Event News

Contact Tracing Apps against COVID-19: German National Academy Leopoldina hosts international virtual panel discussion

07.07.2020 | Event News

 
Latest News

Rare Earth Elements in Norwegian Fjords?

06.08.2020 | Earth Sciences

Anode material for safe batteries with a long cycle life

06.08.2020 | Power and Electrical Engineering

Turning carbon dioxide into liquid fuel

06.08.2020 | Life Sciences

VideoLinks
Science & Research
Overview of more VideoLinks >>>