Forschungsprojekte

Zurück zur Übersicht

Scale4Edge

Statische Hardware-/Softwareanalysen im Kontext skalierbarer Edge-Computing-Plattformen

Start: 05.2020

Ende: 12.2025

https://www.edacentrum.de/scale4edge/

Scale4Edge reduziert die derzeit relativ langen Entwicklungszeiten und hohen Entwicklungskosten für anwendungsspezifische Edge-Komponenten. Der Ansatz beruht auf der Bereitstellung eines Ökosystems für skalierbare und flexibel erweiterbare Edge-Computing-Plattformen auf Basis der freien RISC-V-Instruktionssatzarchitektur.

Insbesondere bei anwendungsspezifischen, flexiblen Edge-Computing-Plattformen nimmt die Verifikation des gesamten Hardware-/Software-Systems einen wichtigen Stellenwert ein. So werden im Rahmen der Softwareentwicklung häufig Annahmen über die Hardware (HW) getroffen, die schwer zu verifizieren sind, da die Hardware nur als geschlossenes System (Black-Box) vorliegt. Dennoch müssen Aussagen über das Verhalten der Hardware bei der Verifikation von Software (SW) berücksichtigt werden. Scale4Edge erforscht ein Ansatz, um die gegenseitigen Wechselwirkungen bei der HW-SW-Co-Verifikation zu berücksichtigen. 

Kern des Ansatzes ist die Behavioral-Description, ein Beschreibungsformat, in dem Annahmen über die Hardware-/Software-Interaktion formal spezifiziert werden. Über das Werkzeug „verify-down“, können diese Annahmen automatisch sowohl in die statische Softwareanalyse als auch in die formale Hardwareverifikation mittels Bounded-Model-Checking einfließen.

Über die domänenspezifische Sprache CHIPS wird zusätzlich der generatorbasierte Entwurfsprozess von RISC-V-Plattformen um eine leichtgewichtige Möglichkeit zur Spezifikation von Hardwareeigenschaften in einem Hardwaregenerator erweitert. Durch bereitgestellte Transformationen können CHIPS-Properties automatisiert zum Beispiel in SystemVerilog-Assertions überführt werden.

Durch die Kombination der Ansätze wird eine umfassende Verifikation des Hardware/Software-Systems ermöglicht.

Publikationen

Ansprechperson

Dr. rer. nat. Sebastian Reiter

Abteilungsleiter
Bereich: Intelligent Systems and Production Engineering

Forschungsschwerpunkt

Safety, Security and Law

Um die sichere Digitalisierung zu ermöglichen, erforscht und vermittelt das FZI in diesem Forschungsschwerpunkt anwendungsnah innovative Konzepte, Methoden zur Absicherung von IT-Systemen sowie rechtliche Rahmenbedingungen.

Zum Forschungsschwerpunkt
Förderhinweis: Das Verbundprojekt Scale4Edge wird aufgrund eines Beschlusses des Bundesministerium für Forschung, Technologie und Raumfahrt gefördert.

Projektpartner:

Weitere Projekte

VINNIE

Körpernahe Sensorik & Wearables zur Erfassung von Vitaldaten und Ableitung gesundheitsrelevanter Fragestellungen bei psychischen und psychosomatischen Störungen

just better DATA

Effiziente und hochgenaue Datenerzeugung für KI-Anwendungen im Bereich autonomes Fahren

2 Miniatur-Hausmodelle, verbunden durch virtuelle Symbole vor Händen auf Digipad

GenIUs4KMU

Generative KI in der Softwareentwicklung am Beispiel Smart Home

HAL4SDV

Standardisierte Schnittstellen für mehr Geschwindigkeit, Sicherheit und Souveränität in der Fahrzeugentwicklung

Medicar 4.0

Neue Ansätze für eine vernetzte Krankenhauslogistik

FlexTools

Die modulare Toolbox für flexible Robotik kleinerer und mittlerer Automotive-Zulieferer

DisCoBoard

Ein KI Dashboard, das junge Menschen stark macht gegen Desinformation

AMAZING

Automatisierte Modellierung und Analyse durch intelligente Netzalgorithmen und Graphenmethoden

Alle Forschungsprojekte