期刊文献+

面向多级中断系统的任务最差响应时间分析 被引量:9

Worst case response time analysis of multi-level interrupt systems
下载PDF
导出
摘要 针对航天嵌入式系统中存在多级中断情况下的时间分析问题,提出了中断与任务混合的响应时间计算模型。该模型中断与任务使用统一的优先级定义,将多级中断嵌套的响应时间分析与任务嵌套的响应时间分析相结合,推导出了混合模型下响应时间计算公式。并进一步比较了中断与任务的异同,阐述了公式中关键参数的含义与计算方法。最后利用开源的LEON3平台和Modelsim软件对所述方法进行了仿真验证,结果表明,任务最差响应时间过估小于5%,可以得到准确的分析结果,有较高的工程应用价值。 A computation model integrated with interrupts and tasks was presented for the analysis of worst case response time(WCRT)for an aerospace embedded system with multilevel interrupts.Both interrupts and tasks was used for a unified priority definition in this model,so the timing analysis of nested interrupts can be combined with task response time analysis techniques. The WCRT of both interrupts and tasks was derived in the integrated model.Furthermore,detailed descriptions of key parameters were proposed and the differences between interrupts and tasks were also discussed.The open source LEON3 processor platform and Modelsim software were introduced to simulate and verify the method.The results show that the overestimate of task WCRT is less than 5% which demonstrates the effectiveness of the method and the value for engineering applications.
出处 《中国空间科学技术》 EI CSCD 北大核心 2016年第2期28-36,共9页 Chinese Space Science and Technology
关键词 实时系统 嵌入式软件 多级中断 固定优先级调度 可调度性分析 最差响应时间 航天器 real time system embedded software multi-level interrupt fixed priority scheduling schedulability analysis worst case response time spacecraft
  • 相关文献

参考文献14

  • 1杨孟飞,顾斌,郭向英,董晓刚,王政,陈睿.航天嵌入式软件可信性保障技术及应用研究[J].中国科学:技术科学,2015,45(2):198-203. 被引量:10
  • 2JOSEPH M, PANDYA P. Finding response times in a real-time system[J].The Computer Journal, 1986, 29 (5) .- 390-395.
  • 3DAVIS R I, BURNS A. Response time upper bounds for fixed priority real-time systems [ C ]. Real-Time Systems Symposium, Barcelona, Spain, November 30-December 3, 2008.
  • 4MAKI-TURJA J, NOLIN M. Efficient implementation of tight response-times for tasks with offsets [J]. Real-time System, 2008, 40:77 116.
  • 5BRYLOW D, PALSBERG J. Deadline analysis of interrupt-driven software[J]. IEEE Transactions on Soft-ware Engineering, 2004, 30(10): 634-655.
  • 6JONATHAN K, DORSA S, SANJIT A S. Timing analysis of interrupt-driven programs under context bounds[C]. Formal Methods in Computer-Aided Design, Austin, Texas, USA, October 30-November 2, 2011.
  • 7王磊,袁利,戴居峰.卫星控制系统时序建模分析方法研究[J].空间控制技术与应用,2014,40(3):31-35. 被引量:7
  • 8JEFFAY K, STONE D L. Accounting for interrupt handling costs in dynamic priority task systems[C]. Real-Time Symposium, NC, USA, December, 1993.
  • 9BRANDENBURG B B, LEONTYEV H, ANDERSON J M. An overview of interrupt accounting techniques for multiprocessor real-time systems[J].Journal o{ Systems Architecture, 2011, 57: 638-654.
  • 10RANDAL E BRYANT, DAVID R O' HALLARON. Computer systems: a programmer's perspective[M]. 2nd ed. New Jersey: Pearson Prentice Hall, 2011.

二级参考文献17

  • 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.
  • 8WALKER B J, KEMMERER R A, POPEK L. Specifi- cation and verification of the UCLA Unix security kernel [J]. Communications of the ACM, 1980,23(2):118- 131.
  • 9BEVIER W. A Verified operating system kernel [ D]. Austin: University of Texas, 1987.
  • 10BIRRELL A D,GUTTAG J V, HORNING J J, et al. Synchronisation primitives for a multiprocessor: a formal specification [J]. ACM SIGOPS Operating Systems Re- view, 1987,21 (5) :94-102.

共引文献16

同被引文献59

引证文献9

二级引证文献20

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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