nach oben
Meine Merkliste
Ihre Merklisteneinträge speichern
Wenn Sie weitere Inhalte zu Ihrer Merkliste hinzufügen möchten, melden Sie sich bitte an. Wenn Sie noch kein Benutzerkonto haben, registrieren Sie sich bitte im Hanser Kundencenter.

» Sie haben schon ein Benutzerkonto? Melden Sie sich bitte hier an.
» Noch kein Benutzerkonto? Registrieren Sie sich bitte hier.
Ihre Merklisten
Wenn Sie Ihre Merklisten bei Ihrem nächsten Besuch wieder verwenden möchten, melden Sie sich bitte an oder registrieren Sie sich im Hanser Kundencenter.
» Sie haben schon ein Benutzerkonto? Melden Sie sich bitte hier an.
» Noch kein Benutzerkonto? Registrieren Sie sich bitte hier.

« Zurück

Ihre Vorteile im Überblick

  • Ein Login für alle Hanser Fachportale
  • Individuelle Startseite und damit schneller Zugriff auf bevorzugte Inhalte
  • Exklusiver Zugriff auf ausgewählte Inhalte
  • Persönliche Merklisten über alle Hanser Fachportale
  • Zentrale Verwaltung Ihrer persönlichen Daten und Newsletter-Abonnements

Jetzt registrieren
Merken Gemerkt
31.07.2020

Projekt AUTOASSERT: Softwaretool zur Unterstützung deutscher KMUs

DFKI-Forschungsprojekt

Im Projekt AUTOASSERT arbeiten das DFKI und COSEDA Technologies an Methoden zur frühzeitigen Verifikation von heterogenen Systemen, um Kosten und Zeit zu sparen und deutsche KMUs konkurrenzfähiger zu machen. Das Projekt wird vom Bundesministerium für Bildung und Forschung (BMBF).

Um die kleinen und mittleren Unternehmen der Elektronikindustrie zu unterstützen, fördert das Bundesministerium für Bildung und Forschung (BMBF) Projekte, die der Entwicklung von Mikroelektronik aus Deutschland zu Gute kommen. Denn die analogen und digitalen Systeme sind die Schlüsseltechnologie für viele der heutigen und zukünftigen Entwicklungen in Bereichen wie dem Internet der Dinge, dem autonomen Fahren oder der Medizintechnik.

Zu den geförderten Projekten gehört auch AUTOASSERT, in dem der DFKI-Forschungsbereich Cyber-Physical Systems gemeinsam mit dem Start-up COSEDA Technologies an Möglichkeiten arbeitet, die Verifikation von Elektroniksystemen schneller und kostengünstiger zu gestalten. Seit dem 01. April 2020 erforschen Wissenschaftlerinnen und Wissenschaftler unter der Leitung von Prof. Dr. Rolf Drechsler zusammen mit ihrem Projektpartner Methoden zur Assertion-basierten Verifikation, die sowohl digitale als auch analoge Systeme frühzeitig überprüfen können.

Projekt knüpft an Vorarbeit an

In der Assertion-basierten Verifikation werden bereits vor der eigentlichen Implementierung in der Hardware Aussagen über mögliche Zustände des Systems getroffen, wodurch Fehler, die nicht den erwarteten Zuständen entsprechen, erkannt werden. Hierdurch können Hersteller Zeit und Kosten sparen und somit konkurrenzfähiger werden – ein Vorteil, der gerade kleinen und mittleren Unternehmen entgegenkommt. Die Herausforderung ist dabei allerdings, bei der Überprüfung der Software auch Einflüsse der analog-digitalen Hardware zu berücksichtigen. Beim bisherigen Vorgehen können diese Einflüsse erst überprüft werden, wenn die Hardware tatsächlich verfügbar ist.

Ein Lösungsansatz hierfür ist die Erstellung und Simulation von analog-digitalen virtuellen Prototypen inklusive der betrachteten Anwendungssoftware, an der Forschende des DFKI bereits erfolgreich im Projekt CONVERS arbeiteten – ebenfalls in Kooperation mit COSEDA Technologies. Die CPS-Mitarbeiter Dr. Daniel Große und Muhammad Hassan erhielten für ihre Forschung den Best Paper Award der „Design and Verification Conference Europe“ (DVCon) 2018 in München. Während es in CONVERS darum ging, die Simulationsszenarien mit Constraints, das heißt mit Vorgaben für den möglichen Inhalt von Variablen zu erzeugen, steht in AUTOASSERT die automatisierte Überprüfung der Simulationsergebnisse im Vordergrund.

So lässt sich beispielsweise das digital-analoge System eines elektrischen Autofensterhebers testen, bevor die Autotür gebaut wird. In der Simulation wird überprüft, ob das Fenster stoppt, sobald durch eine Hand ein physischer Widerstand aufgebaut wird. Die Assertion gibt das Stoppen des Fensters als erwarteten Zustand vor – das Einklemmen der Finger wäre entsprechend als Fehler erkennbar.

Frühzeitige Verifikation spart Schritte im Produktionsprozess

Das Projektziel ist es, die neue Verifikationssoftware prototypisch in die Entwicklungsumgebung COSIDE zu integrieren, die COSEDA Technologies seinen Kunden anbietet. Mit den neuen Methoden und dem Kernstück des Projekts, einer Assertion-Bibliothek für heterogene Systeme, soll die Möglichkeit entstehen, diese analog-digitalen Elektroniksysteme bereits lange bevor die richtige Hardware verfügbar ist automatisiert zu verifizieren. Denn viele Technologien werden an unterschiedlichen Stellen produziert und designt. Eine frühzeitige Verifikation, die auch Aspekte des physischen Designs durch Simulationen berücksichtigen kann, spart so zahlreiche Schritte im Produktionsprozess.

Mehr Informationen zu AUTOASSERT

AUTOASSERT

Zur Entwicklung der prototypischen Software und der Assertion-Bibliothek wird das Projekt AUTOASSERT ab dem 01. April 2020 über drei Jahre gefördert. Hierfür stellt das Bundesministerium für Bildung und Forschung (BMBF) den Projektpartnern, COSEDA Technologies GmbH und dem Deutschen Forschungszentrum für Künstliche Intelligenz, 830.000 Euro zur Verfügung.

Unternehmensinformation

Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)

Campus D3 2
DE 66123 Saarbrücken

Newsletter

Sie wollen immer top-aktuell informiert sein? Dann abonnieren Sie jetzt den kostenlosen Newsletter!

© masterzphotofo - Fotolia

Hier kostenlos anmelden