dOSEK: the design and implementation of a dependability-oriented static embedded kernel.

Martin Hoffmann, Florian Lukas, Christian Dietrich, Daniel Lohmann

Browse the full RTAS paper archive.