Explore projects

Demo repo for git bisect.

DEPRECATED. Use aorta/WCA/platin

TACLeBench's clang repository

Code Metrics for Benchmarking Timing Analysis

A solar powered wireless weather station based on a JeeNode

Umgeflashtes AccuCheck Gerät (OLED+Atmel)

Fork of the dOSEK source code for verification

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