Automatic verification of application-tailored OSEK kernels


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


9 Figures and Tables

Slides referencing similar topics