Trampoline An Open Source Implementation of the OSEK/VDX RTOS Specification.

Jean-Luc Bchennec, Mikal Briday, Sbastien Faucou, Yvon Trinquet

Browse the full ETFA paper archive.