朱旭东;李健芬;张惠友 为统一实时系统优化路径实时逻辑。 （英语） 兹比尔1425.68049 软计算。 21，第12号，3135-3145（2017）. 摘要：通过简单描述一个典型的弱硬实时系统在任务数量满足或错过截止日期时的性能，无法准确表达系统的实时特性，也无法建立其可靠性。路径实时逻辑（RTL）用于确定实时系统的可靠性；虽然需要，但它不能用作配置优化实时系统的工具。本文介绍了优化路径RTL的概念，其中路径RTL中算术不等式的整数常数被整数常数或整数变量取代。经过进一步修改，优化路径RTL不仅可以确定实时系统的可靠性，还可以用于优化系统。此外，基于路径RTL优化，建立了硬、软、弱硬实时系统的统一框架。演示了将弱硬实时系统转换为该统一框架的过程。此外，本文还提出并证明了一个定理，即如果约束图的有向环包含行为规范（SP）的所有元素且仅包含SP，则其值不得大于零。该定理可用于快速确定实时系统的可靠性和安全性。通过实例分析，验证了优化路径RTL和统一实时系统的有效性和可靠性。 MSC公司： 68平方米 计算机系统环境下的性能评估、排队和调度 03B44号 时间逻辑 68米15 网络和计算机系统的可靠性、测试和容错 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：优化路径RTL;统一实时系统;弱硬实时系统;时间约束 PDF格式BibTeX公司 XML格式引用 \textit{X.Zhu}等人，《软计算》。21，第12号，3135-3145（2017；Zbl 1425.68049） 全文： 内政部 参考文献： [1] Alves D、NetoDaniel AC、Valcrcel F、Felton R、Lopez JM（2014）JET托卡马克中的新一代实时系统。IEEE Trans Nucl Sci 61（2）：711-719·doi:10.1109/TNS.2014.2308923 [2] Andrei S，Cheng AMK（2009）实时逻辑指定系统的有效验证和优化。IEEE传输计算58（12）：1640-1653·Zbl 1368.68178号 ·doi:10.1109/TC.2009.79 [3] Andrei S，Chin WN（2004）实时系统、实时和嵌入式技术及应用的增量可满足性计算研讨会，2004年。In：诉讼。RTAS 2004，第10届IEEE，482-489 [4] Bernat G、Burns A、Llamos A（2001）《弱硬实时系统》。IEEE传输计算50（4）：308-321·Zbl 1392.68114号 ·doi:10.1109/12.919277 [5] Chen J-M，Song Y，Sun Y（2006）弱硬实时系统约束规范研究。软件杂志17（12）：2601-2608·兹比尔1113.68480 ·doi:10.1360/jos172601 [6] Contreras I，Yiyi Jiang J，Hidalgo I，Nunez-Letamendia L（2012）使用GPU-CPU体系结构加速基于ga的实时股市交易系统。软计算16（2）：203-215·doi:10.1007/s00500-011-0714-3 [7] Duan Q，Zeng J，Chakrabarty K（2015）基于动态增量进化算法的数字印刷服务提供商实时生产调度程序。IEEE Trans-Autom Sci Eng 12（2）：701-715·doi:10.1109/TASE.2014.2304177 [8] Hamdaoui M，Ramanathan P（1995）具有（M，k）固定截止日期的流的动态优先级分配技术。IEEE传输计算44（12）：1443-1451·Zbl 1068.68618号 ·doi:10.1109/12.477249 [9] Heitmeyer CL，Labaw BG（1993）用于比较指定和验证实时系统的不同方法的基准。华盛顿特区海军研究实验室 [10] Jahanian F，Mok AKL（1986）实时系统中定时特性的安全分析。IEEE Trans Softw工程12:890-904·doi:10.1109/TSE.1986.6313045 [11] Jahanian F，Mok AKL（1987）时序分析的图论方法及其实现。IEEE传输计算36:961-975·Zbl 0618.68008号 ·doi:10.1109/TC.1987.5009519 [12] Jahanian F，Stuart DA（1988）验证模式图规范特性的方法。摘自：第九届IEEE实时系统研讨会，12-21·Zbl 1392.68114号 [13] Lorraine EPR，Cheng AMK（1999）X-38空间站机组返回飞行器航空电子设备的定时分析。实时技术和应用研讨会，1999年。摘自：第五届IEEE会议记录，255-264 [14] Meng FL，Zeng XJ（2013）智能电网最优实时定价的Stackelberg游戏理论方法。软计算17（12）：2365-2380·Zbl 1325.91037号 ·doi:10.1007/s00500-013-1092-9 [15] Mok AK、Tsou DC、de Rooij RCM（1996）《MSP》。RTL实时调度器综合工具。In:第17届IEEE实时系统研讨会，118-128 [16] Neto AC、Sartori F、Piccolo F、Vitelli R、De Tommasi G、Zabeo L（2010）MARTe:多平台实时框架。IEEE Trans-Nucl Sci 57（2）：479-486·doi:10.1109/TNS.2009.2037815 [17] Niu L，Xu J（（2012）改善弱硬实时系统的可调度性和能量性能，性能计算和通信会议（IPCCC），2012 IEEE 31国际，41-50 [18] Quellec G，Lamard M，Cochener B，Cazuguel G（2015）使用自适应时空多项式进行白内障手术视频中的实时任务识别。IEEE Trans-Med Imaging 34（4）：877-887·doi:10.1010/TMI.2014.2366726 [19] Sahuquillo J，Hassan H，Petit S，March JL，Duato J（2016）在运行周期性任务的异构多核中节省能量的动态执行时间估计模型。未来世代计算系统56:211-219 [20] Singh Y，Popli M，Shukla SSP（2012）弱硬实时系统中的能量减少。信息技术（RAIT）的最新进展。2012年第一届国际会议 [21] Tsai TH，Fan LF，Chen YS，Yao TS（2016）三速：同质多核系统中的能量感知实时任务同步。IEEE Trans Compute 65（4）：1297-1309·Zbl 1360.68110号 ·doi:10.1109/TC.2015.2441704 [22] Wang F，Mok AK（1994）RTL和正周期反驳。FME’94：正式方法的工业效益，659-680 [23] West R，Zhang Y，Schwan K，Poellabauer C（2004）媒体服务器中实时流的动态窗口约束调度。IEEE传输计算53（6）：744-759·doi:10.1109/TC.2004.10 [24] West R，Schwan K，Poellabauer C（1999），损失和延迟受限媒体流的可扩展调度支持，实时技术和应用研讨会，1999年。摘自：第五届IEEE会议记录，24-33·Zbl 1199.68028号 [25] Wu N，Zhou M（2012）具有驻留时间约束和活动时间变化的双臂集群工具的可调度性分析和优化调度。IEEE Trans Autom科学工程9:203-209·doi:10.1109/TASE.2011.2160452 [26] Wu T，Jin S，Chen J-M（2008）基于裁减的弱硬实时调度算法。软件杂志19（7）：1837-1846·Zbl 1199.68028号 ·doi:10.3724/SP.J.1001.2008.01837 [27] 朱X，常H，易Y，陶Q（2010）基于平滑调度的弱硬实时系统约束规范。计算科学37（3）：204-207 [28] 朱X，常H，易Y（2012）基于路径RTL的新型弱硬实时系统。中国计算机系统杂志33（8）：1862-1867 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。