Explore projects

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

Haskell-Projekt für mein Masterprojekt

Horizontal verification: Trace the kernel dynamically and do isomorphism check against SSTG

Simple PDF viewer

Fork of the dOSEK source code for verification

OSEK-V top-level Git. Look here, if you want to start.

Umgeflashtes AccuCheck Gerät (OLED+Atmel)

A solar powered wireless weather station based on a JeeNode

Code Metrics for Benchmarking Timing Analysis

TACLeBench's clang repository

Simple PDF viewer

The C Annotation and Rewriting Tool