Martin Hoffmann, Florian Lukas, Christian Dietrich 0001, Daniel Lohmann. dOSEK: the design and implementation of a dependability-oriented static embedded kernel. In 21st IEEE Real-Time and Embedded Technology and Applications Symposium, Seattle, WA, USA, April 13-16, 2015. pages 259-270, IEEE, 2015. [doi]
Abstract is missing.