期刊文献+

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

Scheduling Design Method for Spacecraft Control Software with Cache
下载PDF
导出
摘要 针对高速缓存引起的程序执行时间抖动对航天器控制软件任务调度造成的困难,提出一种基于循环调度的调度设计方法,该方法利用任务程序执行时间的概率分布设计具有不同可靠性的系统模式,通过模式切换,使处理器得到充分利用,同时能够提供一定的可靠性保障,为航天器控制软件的任务调度提供参考. 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.
出处 《空间控制技术与应用》 CSCD 北大核心 2017年第1期55-60,共6页 Aerospace Control and Application
基金 国家自然科学基金资助项目(91118007)
关键词 高速缓存 时间分析 调度设计 航天器控制软件 cache timing analysis scheduling design spacecraft control software
  • 相关文献

参考文献4

二级参考文献26

  • 1BURNS A, WEKKUBGS A J. Hard real time HOOD: a design method for hard real-time ada 9X systems [ C ]// Ada UK International Conference. Amsterdam: Ios Press, 1992: 201.
  • 2BURNS A, WEKKUBGS A J,BAILEY C M, et al. The olympus attitude and orbital control system-a case study in hard real-time system design and implementation [C]//The 12th Ada-Europe International Conference. Heidelbery: Springer-Verlag Berlin, 1993:353.
  • 3ERKKINEN T. Model style guidelines for flight code generation[ R]. AIAA 2005-6216, 2005.
  • 4TOTEL E, POLLE B, CHARMEAU M C. Modelling an autonomous spacecraft architecture[ C ]//DASIA. Nice : ESTEC, 2001.
  • 5FEILER P H, LEWIS B A, VESTAL S. The SAE ar- chitecture, analysis & DESIGN LANGUAGE (AADL)-a standard for engineering performance critical system [ C ]//The 2006 IEEE Conference on Computer Aided Control System Design. Washingto: IEEE Computer So- ciety press, 2006 : 1206-11.
  • 6RUGINA A E, KANOUN K, KAANICHE M. A System dependability modeling framework using AADL and GSPNS [ M ]. Delemos R, Gacek C, Romanovsky A. Ar- chitecting Dependable System IV. Heidelberg: Springer- Verlag Berlin, 2007: 14-38.
  • 7ALEFELD G,HERZBERGER J. Introduction to interval computations[ M ]. New York : Academic Press, 1983.
  • 8Avizienis A, Laprie J C, Randell B, et al. Basic concepts and taxonomy of dependable and secure computing. IEEE T Depend Secure, 2004, 1:11-33.
  • 9Abrial J R. Formal methods in industry: Achievements, problems, future. ICSE, 2006, 5:761-768.
  • 10Henzinger T A, Sifakis J. The embedded systems design Challenge. Lect Notes Comput Sc, 2006, 4085:1-15.

共引文献27

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部