参考文献
[1]王剑平,张云生,张果,等.实时系统时间并行模型确定性分析[J].控制与决策,2012,27(12):1859-1863.
[2]王剑平,张云生,张果,等.嵌入式控制状态转移的确定性实时语义[J].控制与决策,2014,29(1):83-88.
[3]邹荣念,赵文涛,王鹏飞,等.嵌入式系统可生存性分析模型研究[J].计算机工程,2013,39(9):178-182.
[4]刘静.应用混合队列调度策略的AFDX实时性优化研究[J].计算机工程,2015,41(11):135-141.
[5]张晶,陈沫良.嵌入式软件算法级能耗建模与分析[J].计算机工程,2014,40(6):13-15.
[6]Bengtsson J,Wang Yi.Timed Automata:Semantics,Algorithms and Tools[M]//Desel J,Reisig W,Rozenberg G.Lectures on Concurrency and Petri Nets.Berlin,Germany:Springer,2004:87-12.
[7]王剑平,张云生,张果,等.并行分布控制网络的实时信号时序流图分析[J].控制与决策,2010,25(11):1727-1731.
(下转第100页)
(上接第94页)
[8]Ramchandani C.Analysis of Asynchronous Concurrent Systems by Timed Petri Nets[D].Cambridge,USA:Massachusetts Institute of Technology,1973.
[9]刘昊知,胥布工,高福荣.基于时序模型迁移的间歇过程监测建模方法[J].控制与决策,2015,30(10):1885-1889.
[10]黄姝娟,朱怡安,李兵哲,等.具有依赖关系的周期任务实时调度方法[J].计算机学报,2015,38(5):999-1006.
[11]Oh J,Kyoung-Don K.A Predictive-reactive Method for Improving the Robustness of Real-time Data Services[J].IEEE Transactions on Knowledge and Data Engineering,2013,25(5):974-986.
[12]Zhou Yan,Kang K D.Deadline Assignment and Feedback Control for Differentiated Real-time Data Services[J].IEEE Transactions on Knowledge and Data Engineering,2015,27(12):3245-3257.
[13]Alur R,Dill D L.A Theory of Timed Automata[J].Theoretical Computer Science,1994,126(2):183-235.
[14]赵罡,何锋,徐亚军,等.时间触发总线流量调度机制及其实时性分析[J].计算机工程,2015,41(10):59-65.
[15]张彬连,徐洪智.基于随机任务的可靠性约束与节能调度算法[J].计算机工程,2015,41(8):1-5.
[16]Song Han,Lam K,Wang Jiantao.Adaptive Co-scheduling for Periodic Application and Update Transactions in Real-time Database Systems[J].Journal of Systems and Software,2012,85(8):1729-1743.
[17]黄国兵,李瑞玲,李华丽,等.μC/OS-II任务优先级调度算法分析与改进[J].计算机工程,2015,41(8):52-54,60.
[18]Emesto W,Lothar T.Real-Time Calculus(RTC) Toolbox[EB/OL].[2016-03-20].http://www.map.ethz.ch/Rtctoolbox.
编辑金胡考 |