Explore projects

Evaluation artifact for the emper IO subsystem

EMPER I/O Latency Evaluation Artifact

Material zur Erstsemestereinführung (Vortragsfolien, Briefe, Grillen, Evaluation, ...)

The data points used for all scenarios in the Evaluation section of the paper "Honey, I Shrunk the ELFs: Lightweight Binary Tailoring of Shared Libraries", presented at EMSOFT 2019 and published in the ESWEEK-TECS special issue.

Precompiled executables for the custom software used in our paper "Automatic Verification of Application-Tailored OSEK Kernels"

Template and instructions for second exercise sheet

Template and instructions for thirdexercise sheet

Template and instructions for fourth exercise sheet

Templates and instructions for exercise 5: Matrix operations/linear systems

Templates for the sixth exercise: Solutions to differential equations using the Runge-Kutta method

Templates for the seventh exercise sheet: Chaotic systems and stability of solutions

Templates for the eighth exercise sheet: Random dynamics

Small wrapper script around OpenVPN to connect to the VPN of FAU.

Contains main setup script for faumachine, faucc, and fhdlc