SDI4ECom
Secure and self-determined digital identities in e-commerce
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 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 Research, Technology and Space.
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
regioKArgoTramTrain
Jointly moving people and goods
PathoBot
Stopping pathogen transmission in hospitals quickly, reliably, and comprehensively using AI.
ISOLDE
Generating resilient system-on-a-chip architectures for RISC-V
VINNIE
Body-worn sensors and wearables for recording vital data and identifying health-related issues in mental and psychosomatic disorders
just better DATA
Efficient and highly accurate data generation for AI applications in autonomous driving
GenIUs4KMU
Generative AI in Software Development with a focus on smart home applications.
HAL4SDV
Standardized interfaces for greater speed, safety, and sovereignty in vehicle development
Medicar 4.0
New approaches for interconnected hospital logistics
FlexTools
The modular toolbox for flexible robotics, tailored to the needs of small and medium-sized automotive suppliers