Abstract
No abstract available.
Cited By
- Zhao Y, Yang Z and Ma D (2017). A survey on formal specification and verification of separation kernels, Frontiers of Computer Science: Selected Publications from Chinese Universities, 11:4, (585-607), Online publication date: 1-Aug-2017.
- Cheng S, Woodcock J and D’Souza D (2015). Using formal reasoning on a model of tasks for FreeRTOS, Formal Aspects of Computing, 27:1, (167-192), Online publication date: 1-Jan-2015.
- Vu D and Aoki T Faithfully formalizing OSEK/VDX operating system specification Proceedings of the 3rd Symposium on Information and Communication Technology, (13-20)
Index Terms
- Formal Models of Operating System Kernels
Recommendations
Faithfully formalizing OSEK/VDX operating system specification
SoICT '12: Proceedings of the 3rd Symposium on Information and Communication TechnologyOSEK/VDX has proposed a standard for operating systems used in automotive systems. This standard is described in the form of informal specification. The informal specification is not suitable for applying formal methods to the whole of the software ...