Deifel, Hans-Peter; Dietrich, Christian; Göttlinger, Merlin; Milius, Stefan; Lohmann, Daniel; Schröder, Lutz
(Piscataway : IEEE, 2017-08-08)
The OSEK industrial standard governs the design of embedded real-time operating systems in the automotive domain. We report on efforts to develop verification methods for OSEK-conformant compilers, specifically of a code ...