FlexTools
The modular toolbox for flexible robotics, tailored to the needs of small and medium-sized automotive suppliers
Scale4Edge
Static hardware/software analyses in the context of scalable edge computing platforms
Start: 05/2020
End: 12/2025
https://www.edacentrum.de/scale4edge/en
Scale4Edge reduces the currently extensive development times and high development costs for application-specific edge components. The approach is based on providing an ecosystem for a scalable and flexibly expandable edge computing platform based on the free RISC-V instruction set architecture.
Verification of the entire hardware/software system is significant for application-specific, flexible edge computing platforms. Software development, for example, often falls back on assumptions about the hardware that are difficult to verify, as the hardware is only available as a closed system (black box). Nevertheless, statements about the hardware behavior must be considered during software verification. Scale4Edge investigates an approach considering the mutual interaction in HW/SW co-verification.
The approach’s core is the behavioral description, a description format that formally specifies assumptions about the hardware/software interaction. With the ‘verify-down’ tool, these assumptions can be automatically included in both the static software analysis and the formal hardware verification using Bounded Model Checking.
Via the domain-specific language CHIPS, the generator-based design process of RISC-V platforms is enhanced by a lightweight option for specifying hardware properties in a hardware generator. Utilizing the provided transformations, CHIPS properties can be automatically transferred to, e.g., SystemVerilog assertions.
Combining these approaches allows for comprehensive verification of the hardware/software system.
Publications
Contact
Dr. rer. nat. Sebastian Reiter
Department Manager
Division: Intelligent Systems and Production Engineering
- +49 721 9654-430
- reiter@fzi.de
- Headquarters Karlsruhe
Research Focus
Safety, Security and the Law
In this research focus, the FZI investigates and conveys innovative concepts, methods for protecting IT systems, and legal framework conditions to enable secure digitalization.
Funding notice:
The joint project Scale4Edge is funded by the Federal Ministry of Education and Research (BMBF).
Project partners:
- infineon
- AbsInt Angewandte Informatik GmbH
- University of Freiburg
- Deutsches Zentrum für Luft- und Raumfahrt e.V. (DLR)
- University of Tübingen (EKUT)
- EPOS GmbH & Co KG (EPOS)
- Hochschule München
- IHP GmbH (IHP)
- MINRES Technologies GmbH (MNRS))
- University of Kaiserslautern-Landau (RPTU))
- Robert Bosch GmbH (RB)
- SpiNNcloud Systems GmbH (SCS)
- SYSGO GmbH (SYSGO)
- Technical University of Darmstadt (TUDA)
- Technical University of Munich (TUM)
- University of Bremen (UB)
- Paderborn University (UPB)
More projects
DisCoBoard
An AI Dashboard helping young people uncover online disinformation
AMAZING
Automated modeling and analysis using intelligent network algorithms and graph methods
Universal Robots ROS Driver
The FZI develops ROS driver for Universal Robots
Tech for Democracy
German-Israeli Research Initiative on Digital Democracy
DigiT4TAF-BW
Artificial Intelligence in Traffic Systems
CeCaS
Supercomputing Platform for Highly Automated Vehicles
Transfer Centre for Cybersecurity in SMEs
Cybersecurity for SMEs
PfleDaKi
Data management repository for care-supporting AI applications
InnoSecBW
Innovation with Cybersecurity for SMEs in Baden-Württemberg