×

使用时间自动机的固定优先级系统的可调度性分析。 (英语) Zbl 1088.68087号

摘要:在经典的调度理论中,实时任务通常被假定为周期性的,即任务被周期性地释放并以固定的速率计算。为了放松对任务到达时间的严格限制,我们建议使用时间自动机来描述任务到达模式。在以前的工作中,已经证明了此类模型的一般可调度性检查问题是一类可判定的带减法扩展的时间自动机的可达性问题。不幸的是,分析中所需的时钟数与与模型关联的最大可调度任务实例数成正比,在许多情况下,这是巨大的。本文表明,对于固定优先级调度策略,除了原始模型中用于描述任务到达时间的时钟外,还可以使用标准的时间自动机来解决可调度性检查问题,该自动机具有两个额外的时钟。该分析可以以类似于经典速率单调分析(RMA)中的响应时间分析的方式进行。该结果进一步扩展到具有数据相关控制的系统,其中任务的释放时间可能取决于其他任务完成其执行的时间点。对于任务执行时间为常数的情况,我们证明了可调度性问题可以使用额外的时钟来解决,其中n是任务数。所提出的分析技术已在Times工具中实现。对于只有周期性任务的系统,该工具的性能与实现基于方程求解的经典RMA技术的工具相当,而不会遭受任务数量的指数级爆炸。

MSC公司:

第68季度第45季度 形式语言和自动机
68平方米 计算机系统环境下的性能评估、排队和调度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] Y.Abdedda¨m,O.Maler,《使用时间自动机的作业车间调度》,in:Proc。CAV’01,《计算机科学讲义》,第2102卷,施普林格,柏林,2001年,第478-492页。;Y.Abdedda¨m,O.Maler,《使用时间自动机的作业车间调度》,in:Proc。CAV’01,《计算机科学讲义》,第2102卷,施普林格,柏林,2001年,第478-492页·Zbl 0991.68507号
[2] 阿卜杜达,Y。;Maler,O.,《使用秒表自动机的抢占式作业车间调度》(Proc.TACAS'02(2002)),113-126·Zbl 1043.68510号
[3] Altisen,K。;哥勒,G。;普努利,A。;Sifakis,J。;Tripakis,S。;Yovine,S.,《调度器综合框架》(Proc.IEEE RTSS’99(1999),IEEE Computer Society Press),154-163
[4] K.Altisen,G.Gößler,J.Sifakis,《构建计划系统的方法论》,摘自:Proc。FTRTFT’2000,《计算机科学讲义》,第1926卷,施普林格,柏林,2000年,第106-120页。;K.Altisen,G.Gößler,J.Sifakis,《构建计划系统的方法论》,摘自:Proc。FTRTFT’2000,《计算机科学讲义》,第1926卷,施普林格,柏林,2000年,第106-120页·Zbl 0986.90501号
[5] Altisen,K。;哥勒,G。;Sifakis,J.,基于控制器综合范式的调度器建模,J.实时系统(实时计算控制方法特刊),23,55-84(2002)·Zbl 1018.68006号
[6] 阿鲁尔(Alur,R.)。;Courcoubetis,C。;Halbwachs,N。;Henzinger,T.A。;Ho,P.-H。;尼科林,X。;奥利维罗,A。;Sifakis,J。;Yovine,S.,混合系统的算法分析,理论。计算。科学。,138, 1, 3-34 (1995) ·Zbl 0874.68206号
[7] 阿鲁尔(Alur,R.)。;Dill,D.L.,时间自动机理论,定理。计算。科学。,126, 2, 183-235 (1994) ·Zbl 0803.68071号
[8] T.Amnell,E.Fersman,L.Mokrushin,P.Pettersson,W.Yi,《Times-嵌入式系统建模和实现工具》,摘自:Proc。第八国际。系统构造和分析工具和算法会议,计算机科学讲稿,第2280卷,柏林斯普林格,2002年,第460-464页。;T.Amnell,E.Fersman,L.Mokrushin,P.Pettersson,W.Yi,《Times-嵌入式系统建模和实现工具》,摘自:Proc。第八国际。系统构建和分析工具和算法会议,计算机科学讲稿,第2280卷,柏林斯普林格,2002年,第460-464页·Zbl 1043.68513号
[9] T.Amnell,E.Fersman,P.Pettersson,H.Sun,W.Yi,《时间自动机的代码合成》,北欧计算机杂志。2002年,提交。;T.Amnell,E.Fersman,P.Pettersson,H.Sun,W.Yi,《时间自动机的代码合成》,北欧计算机杂志。2002年提交·Zbl 1088.68625号
[10] Buttazzo,G.C.,《硬实时计算系统》。《可预测调度算法与应用》(1997),Kluwer学术出版社:Kluwer-学术出版社Dordrecht·Zbl 0890.68016号
[11] F.Cassez,F.Laroussinie,《通过商和约束求解对混合系统进行模型检验》,摘自:Proc。第12届国际米兰。计算机辅助验证会议,美国加利福尼亚州斯坦福德,2000年,第1855卷,施普林格,柏林,2000年,第373-388页。;F.Cassez,F.Laroussinie,《通过商和约束求解对混合系统进行模型检验》,摘自:Proc。第12届国际米兰。计算机辅助验证会议,美国加利福尼亚州斯坦福德,2000年,第1855卷,柏林施普林格,2000年。第373-388页·Zbl 0974.68117号
[12] Corbett,J.,《实时ada任务程序的建模与分析》(Proc.real-time Systems Symposium(1994),IEEE Computer Society Press),132-141
[13] Fehnker,A.,《用时间自动机调度钢铁厂》(Proc.RTCSA’99(1999),IEEE Computer Society Press)
[14] E.Fersman,P.Pettersson,W.Yi,《异步进程的时间自动机:可调度性和可判定性》,摘自:Proc。第八国际。系统构造和分析工具和算法会议,计算机科学讲稿,第2280卷,柏林斯普林格,2002年,第67-82页。;E.Fersman,P.Pettersson,W.Yi,《异步进程的时间自动机:可调度性和可判定性》,摘自:Proc。第八国际。系统构造和分析工具和算法会议,计算机科学讲稿,第2280卷,柏林斯普林格,2002年,第67-82页·Zbl 1043.68589号
[15] E.Fersman,W.Yi,《实时任务可调度性分析的通用方法》,北欧计算机杂志。2004年,即将上市。;E.Fersman,W.Yi,《实时任务可调度性分析的通用方法》,北欧计算机杂志。2004年,即将上市·Zbl 1088.68525号
[16] Hune,T。;Larsen,K.G。;Pettersson,P.,使用Uppaal公司,北欧J.计算。,8, 1, 43-64 (2001) ·Zbl 0978.68021号
[17] 约瑟夫,M。;Pandya,P.,《寻找实时系统中的响应时间》,BSC Compute。J.,29,5,390-395(1986)
[18] P.Krc˘ál,W.Yi,使用时间自动机进行可调度性分析中的可决定和不可决定问题,收录于:K.Jensen,A.Podelski(编辑),Proc。TACAS'04,西班牙巴塞罗那。《计算机科学讲义》,第2988卷,施普林格,柏林,2004年,第236-250页。;P.Krc˘ál,W.Yi,使用时间自动机进行可调度性分析中的可决定和不可决定问题,收录于:K.Jensen,A.Podelski(编辑),Proc。TACAS'04,西班牙巴塞罗那。计算机科学课堂讲稿,第2988卷,施普林格,柏林,2004年,第236-250页·Zbl 1126.68456号
[19] 克里希纳,C.M。;Shin,K.G.,实时系统(1997),McGraw-Hill:McGraw-Hill纽约·Zbl 0910.68078号
[20] Larsen,K.G。;Pettersson,P。;Yi,W。,Uppaal公司在Nutshell内部。J.技术转让软件工具,1,1-2,134-152(1997)·Zbl 1060.68577号
[21] Liu,J.W.S.,《实时系统》(2000),《Prentice-Hall:Prentice-Hall Englewood Cliffs》
[22] 刘,Z。;Joseph,M.,《实时程序的验证、改进和调度》,Theoret。计算。科学。,253, 1, 119-152 (2001) ·Zbl 0954.68099号
[23] J.McManis,P.Varaiya,悬浮自动机:混合自动机的一个可判定类,收录于:D.L.Dill(编辑),Proc。第六国际。计算机辅助验证会议,美国加利福尼亚州斯坦福德,1994年,第818卷,施普林格,柏林,1994年,第105-117页。;J.McManis,P.Varaiya,悬浮自动机:混合自动机的一个可判定类,收录于:D.L.Dill(编辑),Proc。第六国际。《计算机辅助验证会议》,美国加利福尼亚州斯坦福德,1994年,第818卷,柏林斯普林格,1994,第105-117页。
[24] 巴伦西亚,J.C。;Harbour,M.G.,具有静态和动态偏移的任务的可调度性分析,(RTSS’98(1998),IEEE计算机学会出版社),26-38
[25] 雷德尔,O。;Törngren,M.,《计算具有偏移和抖动的静态优先级调度任务的准确最坏情况响应时间》(IEEE实时技术与应用研讨会(2002))
[26] K.Tindell。将时间偏移添加到可调度性分析中,(1994)。;K.Tindell。将时间偏移添加到可调度性分析中,(1994年)。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。