Planned

UPEC: Formal Security Verification

Image
Speculative program execution can enable side channel
Component is required for safety critical systems
Nein
Target TRL at the end of phase 1
TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle
Target TRL at the end of phase 2
TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle

Figure: Speculative program execution can enable side channel

Status
Visibility
Publicly available!

Formale Security Analyse (UPEC)

Image
Formale Security Analyse (UPEC) Bild
Component is required for safety critical systems
Nein
Target TRL at the end of phase 1
TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle
Target TRL at the end of phase 2
TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle

Abbildung: Spekulative Programmausführung kann Seitenkanal ermöglichen

Status
Visibility
Internal for Scale4Edge partners only!

Drawing Engine Nlview

Image
Nlview-rendered schematics
Component is required for safety critical systems
Nein
Target TRL at the end of phase 1
TRL4: Versuchsaufbau im Labor --> Plattform mit Parametrisierung
Target TRL at the end of phase 2
TRL7: Demonstration des Systemprototyps in einer betrieblichen Umgebung

Concept Engineering's Nlview® engine provides automatic generation of schematic diagrams for different levels of electronic circuits, including gate-level, RTL and block-level. Optional engines are available for the system-level (S-engine), for the transistor-level (T-engine), and for automotive and aerospace applications (E-engine).

Status
License

Commercial licenses can be obtained from Concept Engineering.

Visibility
Internal for Scale4Edge partners only!

On Chip Debug Solution

Image
Lauterbach Development Tools
Component is required for safety critical systems
Nein
Target TRL at the end of phase 1
TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle
Target TRL at the end of phase 2
TRL7: Demonstration des Systemprototyps in einer betrieblichen Umgebung

Lauterbach implements debugging and trace support in alignment with Partner Infineon specific Hardware Solution. 

Status
License

The Solution will be part of Lauterbach's commercial RISC-V Debug Tools

Visibility
Publicly available!

On Chip Debug Hardware

Image
RISC-V Debug System Overview (Source: Figure 2.1 in RISC-V External Debug Support Version 0.13.2)
Component is required for safety critical systems
Nein
Target TRL at the end of phase 1
TRL5: Versuchsaufbau in vereinfachter Einsatzumgebung --> Optimierte Plattform
Target TRL at the end of phase 2
TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle

Infineon implements for its evaluation platform in alignment with Partner Lauterbach specific Hardware Components for On-Chip-Debug. The Hardware acts as Evaluation Vehicle for the Lauterbach On Chip Debug solution.

Status
License

The Infineon Solution will be productized with its chips. It is therefore no tool or IP but part of semiconductor products.

Visibility
Internal for Scale4Edge partners only!

tflite_micro_compiler

Component is required for safety critical systems
Nein
Target TRL at the end of phase 1
TRL5: Versuchsaufbau in vereinfachter Einsatzumgebung --> Optimierte Plattform
Target TRL at the end of phase 2
TRL6: Prototyp in vereinfachter/simulierter Einsatzumgebung --> Anwendungsfälle

Generate tflite micro code which bypasses the interpreter (directly calls into kernels)

Basically this code uses a fully set up tflite micro instance to dump the internal allocations and function calls assigned to the model, then dumps the tensor and node settings into a compilable file, eliminating the need for running the interpreter at each program start and for resolving the correct kernel at run time.

Status
License

Apache License 2.0

Visibility
Publicly available!

PikeOS Operating System and Hypervisor

Image
PikeOS Logo
Component is required for safety critical systems
Nein
Target TRL at the end of phase 1
TRL5: Versuchsaufbau in vereinfachter Einsatzumgebung --> Optimierte Plattform
Target TRL at the end of phase 2
TRL5: Versuchsaufbau in vereinfachter Einsatzumgebung --> Optimierte Plattform

PikeOS and PikeOS for MPU are each a real-time operating system and hypervisor for embedded systems. It provides partitioning to separate different applications or guest operating systems from each other. PikeOS is often combined with ELinOS, SYSGO's embedded Linux, which is then run in a partition under the PikeOS hypervisor.

Status
License

SYSGO issues evaluation licenses in the scope of the Scale4Edge project to interested project partners.

Visibility
Publicly available!