×

兹马思-数学第一资源

用于测试模块化计算系统配置的实时约束的工具系统。(英语。俄语原件) Zbl公司 07277580
莫斯克。计算机大学。数学。塞本。 44,第3期,120-132页(2020年); 维斯顿翻译。莫斯。大学,爵士。XV 2020,第3期,16-29页(2020年)。
摘要:模块化计算系统(MCSes)的实时约束测试问题以集成模块化航空电子系统为例。制定了测试这些约束的软件需求。介绍了一种基于带暂停定时器的时间自动机数学装置的MCSes建模方法,并给出了实现该方法的工具系统。对参数化MCS模型进入开发工具系统进行了实验研究。利用俄罗斯工业中使用的CAD-IMA调度器对模型进行了测试。
理学硕士:
6800万 计算机系统组织
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] 航空电子应用软件标准接口:ARINC规范653(航空无线电,马里兰州安纳波利斯,1997年)。
[2] 五。五。巴拉索夫。A。巴拉汉诺夫和V。A。Kostenko,“基于交换网络的IMA系统中计算任务的调度”,in Proc。《工程和应用科学优化国际会议》(OPTI 2014),希腊雅典(NTUA,2014),第1001-1014页。
[3] Tretyakov,A.,周期性实时系统调度自动化,Trudy Inst.Sist。程序。RAN,22375-400(2012年)
[4] 周,T。;熊克,H。;张振中,集成模块化航空电子系统的分层资源分配,J。系统。电子工程,22780-787(2011)
[5] 卢,H。;周,Q。;费,Z。;Zhou,R.,基于中断分析和PSO的集成模块化航空电子设备严格周期性和抢占式分区的调度,IEEE Access,613523-13540(2018)
[6] B。安妮öfer和F。Thielecke,“最佳分布式集成模块化航空电子体系结构的系统架构框架”,CEAS Aeronaut。J。6(3),485-496(2015年)。
[7] M。斯盖里,A。de Bonneval等人,“为民用飞机构建容错飞行控制系统的挑战”,IAENG Int.J。计算机。科学。35(4),IJCS_35_4_07,1-5(2008年)。
[8] 王博士。;韩,J。;文学硕士,博士。;赵某,ARINC653分区运行时调度与仿真研究,华星国际。计算机。系统。Eng.,61482-1486(2012年)
[9] 周,Q。;卢,H。;秦,H。;计算机与信息科学通信,生物启发计算:理论与应用,BIC-TA 2017(2017),新加坡:斯普林格,新加坡
[10] J。陈,C。杜和P。Han,“集成模块化航空电子系统中的独立分区调度”,PLoS One 11(12),e0168064,1-18(2016)。
[11] 辛霍夫,F。;普兰泰克,A。;迪索,P。;罗格朗,J.,在切达项目中研究实时调度理论的可用性,实时系统,43259-295(2009)·Zbl公司 1184.68139
[12] J。P。克雷韦罗,R。O。西尔维拉和J。Rufino,“hsSim:an extensible interoperable object-oriented-level-level-level scheduling simulator”in Proc。3d Int.嵌入式和实时系统分析工具和方法研讨会(WATERS 2012),意大利比萨市(ECRTS,2012),第9-14页。
[13] 斯梅连斯基,R。五十、 分布式计算系统的时间、程序运行模型。计算机。软,39233-241(2013)·Zbl公司 1311.68033
[14] 五。A。安东尼科,E。五。Chemeritskiy,A。B。Glonina等,“DYANA:基于HLA的分布式实时嵌入式系统仿真工具”,正在进行中。2013年冬季模拟会议,《模拟:在复杂世界中做出决策》(WSC'13),华盛顿特区(IEEE,2013),第4012-4013页。
[15] 布兹达洛夫。五、 。;泽勒诺夫,S。五、 集成模块化航空电子系统系统设计工具。程序。RAN,26201-230(2014年)
[16] L。王,Y。周,M。王和J。Hu,“IMA系统配置验证和案例研究的工具”,智能系统和交互应用的进展,IISA 2017年版,F。Xhafa,S。帕特奈克和A。是的。Zomaya,《智能系统和计算的进步》(Springer,Cham,2017),第686卷,第254-260页。
[17] P。迪索,奥。马克,S。Rubini等人,“智能项目:实时架构的多智能体调度模拟”,嵌入式实时软件与系统,第七届欧洲大会(ERTS\({}^22014)),法国图卢兹(见,2014年),第1-9页。
[18] F。卡塞兹和K。拉森,“秒表令人印象深刻的力量”,载于CONCUR 2000-并发理论,C。帕拉米德西,《计算机科学讲义》(斯普林格,柏林,2000年),第1877卷,第138-152页·Zbl公司 999.68112
[19] 格洛尼娜A。;Bahmurov,A.,并行计算技术,PaCT 2017(2017),Cham:Springer,Cham
[20] 格洛尼娜,A。B、 。;巴拉索夫。五、 用秒表自动机网络对实时模块化计算机系统建模的正确性。控制计算机。《科学》第52卷,817-827页(2018年)
[21] E。安德烈é, ‘‘“实时系统的观察者模式”,正在进行中。2013年第18届复杂计算机系统工程国际会议(ICECS2013),新加坡(IEEE,2013),第125-134页。
[22] 乌帕家。http://uppaal.org/。
[23] 猎豹引擎3。http://cheetahtemplate.org/。
[24] 巴拉索夫。五、 。;科斯滕科,V。A、 《集成模块化车载嵌入式系统中计算调度的工具系统和算法》,IFAC PapersOnLine,49505-510(2016)
[25] 五。巴拉索夫和E。Antipina,“通过解决改进的多背包问题在IMA系统中的工作负载分配”,EngOpt 2018 Proc。第六个实习生。工程优化会议,H。C。Rodrigues等人(Springer,Cham,2018),第1166-1177页。
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。