高速缓存影响的航天器控制软件调度设计方法

doi:10.3969/j.issn.1674-1579.2017.01.009

空间控制技术与应用 ›› 2017, Vol. 43 ›› Issue (1): 55-60.doi: 10.3969/j.issn.1674-1579.2017.01.009

高速缓存影响的航天器控制软件调度设计方法

（1.北京控制工程研究所，北京 100190； 2.中国空间技术研究院，北京 100094)

出版日期:2017-02-24 发布日期:2017-03-17
作者简介:作者简介：于广良（1986—），男，工程师，研究方向为航天嵌入式系统可信软件；杨孟飞（1962—），男，研究员，研究方向为空间飞行器总体设计、控制系统和控制计算机；姜宏（1975—），男，工程师，研究方向为航天器控制计算机的软硬件协同设计；徐建（1987—），男，工程师，研究方向为高可信操作系统.
基金资助:
国家自然科学基金资助项目（91118007）

Scheduling Design Method for Spacecraft Control Software with Cache

（1.Beijing Institute of Control Engineering， Beijing 100190， China； 2. China Academy of Space Technology， Beijing 100094， China）

Online:2017-02-24 Published:2017-03-17

摘要/Abstract

摘要： 摘要：针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难，提出一种基于循环调度的调度设计方法，该方法利用任务程序执行时间的概率分布设计具有不同可靠性的系统模式，通过模式切换，使处理器得到充分利用，同时能够提供一定的可靠性保障，为航天器控制软件的任务调度提供参考.

关键词: 关键词：高速缓存, 时间分析, 调度设计, 航天器控制软件

Abstract: Abstract：The task scheduling of spacecraft control software becomes more difficult due to the execution time jitter caused by cache. To deal with this problem, a scheduling design method is proposed based on cyclic executive. The probability distributions of execution times are used to design different system modes with different reliability. Through the mode changes, the processor can be sufficiently utilized and a certain extent degree of reliability is guaranteed. The proposed method can provide useful reference for the task scheduling of spacecraft control software.

Key words: Keywords：cache, timing analysis, scheduling design, spacecraft control software

中图分类号:

TP31

. 高速缓存影响的航天器控制软件调度设计方法[J]. 空间控制技术与应用, 2017, 43(1): 55-60.

参考文献

参考文献［1］杨孟飞,顾斌,郭向英,等.航天嵌入式软件可信保障技术及应用研究［J］.中国科学:技术科学,2015,45(2):198-203. YANG M F, GU B, GUO X Y, et al. Aerospace embedded software dependability guarantee technology and application［J］.Sci Sin Tech,2015,45(1):198-203. ［2］WILHELM R, ENGBLOM J, ERMEDAHL A, et al． The worstcase executiontime problemoverview of methods and survey of tools［J］.ACM Transactions on Embedded Computing Systems，2008,7(3):1-53. ［3］吕鸣松,关楠,王义.面向WCET估计的Cache分析研究综述［J］.软件学报,2014,25(2):179-199. LYU M S, GUAN N, WANG Y. Survey of cache analysis for worstcase execution time estimation［J］.Journal of Software,2014,25(2):179-199. ［4］LEE C G, HAHN J, SE Y M, et al. Analysis of cacherelated preemption delay in fixedpriority preemptive scheduling［J］.IEEE Transactions on Computers,1998,47(6):700-713. ［5］ALTMEYER S, DAVIS, R I, MAIZA C. Improved cache related preemption delay aware response time analysis for fixed priority preemptive systems［J］.RealTime System,2012,48:499-526. ［6］BERNAT G, COLIN A, ESTEVES J, et al. Considerations on the LEON cache effects on the timing analysis of onboard applications［C］//Proceedings of the Data Systems in Aerospace Conference, 2008. ［7］GUZMN D, PRIETO M, SNCHEZ S, ALMENA J. Improving the LEON spacecraft computer processor for realtime performance analysis［J］.Journal of Spacecraft and Rockets,2011,48(4):671-678 ［8］王磊,袁利,戴居峰.卫星控制系统时序建模分析方法研究［J］.空间控制技术与应用,2014,40(3):31-35. WANG L, YUAN L, DAI J F. Timing modeling and analysis method for satellite control system［J］.Aerospace Control and Application,2014,40(3):31-35. ［9］BAKER T P, SHAW A. The cyclic executive model and ada［C］//IEEE RealTime Systems Symposium. New Yrok: IEEE, 1988. ［10］BUSQUETSMATAIX J V, SERRANO J J, ORS R, et al. Adding instruction cahe effect to schedulability analysis of preemptive realtime systems［C］//Proceedings of the IEEE RealTime Technology and Applications Symposium. New York: IEEE, 1996. ［11］STASCHULAT J, SCHLIECKER S, ERNST R. Scheduling analysis of realtime systems with precise modeling of cache related preemption delay［C］//Proceedings of the 17th Euromicro Conference on RealTime Systems. Palma de Mallorca, Spain, 2005. ［12］于广良,杨孟飞,徐建,姜宏.面向多级中断系统的任务最差响应时间分析［J］.中国空间科学技术,2016,36(2):28-36. YU G L, YANG M F, XU J, et al. Worst case response time analysis of multilevel interrupt systems［J］.Chinese Space Science and Technology, 2016,36(2):28-36.

[1]	董晓刚, 李经松, 王殿佑, 李川, 陈朝晖. 基于模型架构的航天器控制软件研制方式研究[J]. 空间控制技术与应用, 2021, 47(2): 55-62.
[2]	奚坤, 王振华, 蔡雨辰, 陈朝晖. 航天器控制软件可靠性工程方法研究[J]. 空间控制技术与应用, 2016, 42(4): 48-.

高速缓存影响的航天器控制软件调度设计方法

Scheduling Design Method for Spacecraft Control Software with Cache

PDF (PC)

赞

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 2

Metrics

本文评价

推荐阅读 0