idw – Informationsdienst Wissenschaft

Nachrichten, Termine, Experten

Grafik: idw-Logo
Grafik: idw-Logo

idw - Informationsdienst
Wissenschaft

Science Video Project
idw-Abo

idw-News App:

AppStore

Google Play Store



Instanz:
Teilen: 
07.07.2020 10:51

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

Jens Peter Kückens DFKI Bremen
Deutsches Forschungszentrum für Künstliche Intelligenz GmbH, DFKI

    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.

    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


    Bilder

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

    COSEDA Technologies GmbH


    Merkmale dieser Pressemitteilung:
    Journalisten, Wissenschaftler
    Elektrotechnik, Informationstechnik, Maschinenbau, Physik / Astronomie, Verkehr / Transport
    überregional
    Forschungs- / Wissenstransfer, Forschungsprojekte
    Englisch


     

    Hilfe

    Die Suche / Erweiterte Suche im idw-Archiv
    Verknüpfungen

    Sie können Suchbegriffe mit und, oder und / oder nicht verknüpfen, z. B. Philo nicht logie.

    Klammern

    Verknüpfungen können Sie mit Klammern voneinander trennen, z. B. (Philo nicht logie) oder (Psycho und logie).

    Wortgruppen

    Zusammenhängende Worte werden als Wortgruppe gesucht, wenn Sie sie in Anführungsstriche setzen, z. B. „Bundesrepublik Deutschland“.

    Auswahlkriterien

    Die Erweiterte Suche können Sie auch nutzen, ohne Suchbegriffe einzugeben. Sie orientiert sich dann an den Kriterien, die Sie ausgewählt haben (z. B. nach dem Land oder dem Sachgebiet).

    Haben Sie in einer Kategorie kein Kriterium ausgewählt, wird die gesamte Kategorie durchsucht (z.B. alle Sachgebiete oder alle Länder).