Research on Multi-Kernel Fusion Technology for Highly Reliable Embedded Operating Systems | IEEE Conference Publication | IEEE Xplore