Automatic verification of application-tailored OSEK kernels

Abstract

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 generator that weaves system calls and application code using a static configuration file, producing a stand-alone application that… (More)
DOI: 10.23919/FMCAD.2017.8102260

Topics

9 Figures and Tables

Slides referencing similar topics