Towards an executable semantics of automobile RTOS standard and its application to conformance verification

Xiaoran Zhu, Min Zhang, Jian Guo

The automobile Real-Time Operating System (RTOS) is hard to design and implement due to its real time features and increasing complexity. Some automobile RTOS standards are release…