supported by the National Natural Science Foundation of China under Grant No.61802052;the Fundamental Research Funds for the Central Universities under Grant No.A030202063008085;the China Postdoctoral Science Foundation Funded Project under Grant No.2017M612947。
In the real-time scheduling theory,schedulability and synchronization analyses are used to evaluate scheduling algorithms and real-time locking protocols,respectively,and the empirical synthesis experiment is one of t...
Power saving is one of the key factors of emerging 4G mobile network as well as in IEEE 802.16e wireless metropolitan area networks (Wireless MAN). An efficient power saving mechanism is the heart for the guarantee of...
supported by the National Natural Science Foundation of China(No.60873138,No.61100004);the Fundamental Research Funds for the Central Universities(No.HEUCF100607)
Against the defect of the real time system fault tolerant model that can only tolerate one fault, the Local optimum checkpoint(LOC) algorithm was proposed.Then according to the schedulability analysis, the worst case ...
the National Natural Science Foundation of China(Nos.61174159 and 61101184)
With notably few exceptions, the existing satellite mission operations cannot provide the ability of schedulability prediction, including the latest satellite planning service (SPS) standard–Sensor Planning Service...
Timing constraint Petri nets (TCPNs) can be used to model a real-time system specification and to verify the timing behavior of the system. This paper describes the limitations of the reachability analysis method in ...