Explore projects

The cHash CLang Plugin

dOSEK used for OSEK-V in the LCTES'17 Publication "OSEK-V: Application-Specific RTOS Instantiation in Hardware"

Fork of the dOSEK source code for verification

RTSC version that was used to for our RTAS21 Publication "Constrained Data-Age with Job-Level Dependencies: How to Reconcile Tight Bounds and Overheads"

Der Denkspielklassiker Minesweeper für das SPiCboard

Logic Analyzer für SPiCboard Kommunikation

Conway's Game of Life auf dem SPiCboard

Ein Mariospiel für das SPiCBoard.

Ein Morse-Code Übersetzer

Umsetzung des Videospielklassikers

Ein SPiCboard-Schachcomputer

Public repository for LLVM with patches needed for RTSC compilation

Computational Engineering 2 Übung Gruppenaufgabe 2 Bearbeitet von Mira und Leo.

WEEE Paper 2021 - Automated Selection of Energy-efficient Operating System Configurations