Research on a Differentiated Task Scheduling Model for Embedded Operating Systems in the Energy Industry | IEEE Conference Publication | IEEE Xplore