Research on the reliable loading technology of OS-based space-borne embedded systems | IEEE Conference Publication | IEEE Xplore