期刊文献+

嵌入式系统中断服务可靠性评估方法 被引量:5

Reliability of interrupt services for embedded systems
原文传递
导出
摘要 在资源受限的情况下,嵌入式软件在运行时其性能指标能否满足要求至关重要,在确定的目标前提下,对于已给定的参数配置,嵌入式系统的设计也是至关重要的。针对嵌入式系统内中断服务的随机性、实时性和并发性等特点,该文提出基于排队理论的嵌入式系统中断服务可靠性评估方法,并构建多级中断服务抢占优先权的排队模型,得出中断服务系统的性能评估指标。仿真实验结果表明:基于排队的中断服务方法符合嵌入式系统的动态可靠性评估,同时具有一定的普适性。 In resource-constrained environments, the uses must evaluate whether the embedded software can meet the objectives. This paper presents an interrupt service reliability assessment method for embedded systems based on queuing theory that includes the effects of interrupt service randomness, real-time operations and concurrency. This queuing model includes the multilevel interrupt servicing preemptive priority and gives a performance evaluation index for interrupt servicing systems. The model gives a somewhat universal dynamic assessment of the reliability of embedded systems with a queuing interrupt servicing method.
出处 《清华大学学报(自然科学版)》 EI CAS CSCD 北大核心 2016年第8期878-884,共7页 Journal of Tsinghua University(Science and Technology)
基金 国家自然科学基金资助项目(61572095 61472100 61402073 61402078) 中央高校基本科研业务费专项资金(DUT14QY32 DUT14RC(3)090)
关键词 嵌入式软件 排队理论 抢占优先权 中断服务 embedded software queuing theory preemptive priority interrupt servicing
  • 相关文献

参考文献15

  • 1Wolf W. High-performance Embedded Computing Architecture, Applications, and Methodologies [ M] Princeton: Princeton University Press, 2006.
  • 2Kim K. (N, n)-preemptive priority queues [J] Performance Evaluation, 2011, 68(7) : 575 - 585.
  • 3张文波,赵海,王小英,关沫.基于ARMLinux的EWS过载性能研究[J].通信学报,2005,26(8):88-93. 被引量:3
  • 4Sala K, E1-Badawi K. Performance analysis and comparison of interrupt handling schemes in gigabit networks [J]. Computer Communications, 2007, 30(17) : 3425 - 3441.
  • 5Weidlich R, Nussbaumer M, Hlavacs H. Optimizations towards consolidation or throughput for multi-thread software [C[// 3rd International Symposium on Parallel Architectures, Algorithms and Programming. Dalian: IEEE Press, 2010:161-165.
  • 6牛云,谢拴勤,戴冠中,梁亚琳.基于排队论和时间需求分析法的实时系统时间行为分析[J].计算机应用研究,2007,24(12):106-108. 被引量:3
  • 7Douglas R, Mille R. Computation of steady-state probabilities for M/M/1 priority queues [J]. Operations Research, 1981, 29(5) : 945 - 958.
  • 8Mishra S S, Yadav D K. Cost and profit analysis of markovian queuing system with two priority classes: A computational approach [J]. International Journal of Applied Mathematics and Computer Sciences, 2009, 5(3): 150 - 156.
  • 9Srinivas V, Rao S S, Kale B K. Estimation of measures in M/M/1 queue [J]. Communications in Statistics Theory and Methods, 2011, 40(18) : 3327 - 3336.
  • 10Nasrallah W F. How preemptive priority affects completion rate in an M/M/1 queue with Poisson reneging [J]. European Journal of Operational Research, 2009, 193(1) : 317 - 320.

二级参考文献27

  • 1王雷,王旭,李巍.计算机仿真系统生成工具SIMS的设计与实现[J].系统仿真学报,2005,17(6):1392-1395. 被引量:2
  • 2刘育芳,张立臣.实时系统最坏执行时间分析[J].计算机应用研究,2005,22(11):8-10. 被引量:8
  • 3姚英彪,刘鹏,姚庆栋,肖志斌.微处理器功能验证程序生成[J].计算机辅助设计与图形学学报,2006,18(10):1484-1490. 被引量:6
  • 4沈永清,徐中伟.通用嵌入式系统软件测试平台的设计[J].计算机工程与应用,2007,43(15):83-85. 被引量:10
  • 5Rosenblum M, Herrod S A, Witchel E, er al. Complete computer system simulation: the SimOS approach[ J ]. Parallel & Distributed Tectmology: Systems & Applications, IEEE, 1995,3(4) :34-43.
  • 6Benini L. Bertozzi D, Bruni D, et al. SystemC eosimulation and emulation of multiprocessor SoC designs[J ]. IEEE Computer, 2003,36(4) :53 - 59.
  • 7Adir A, Almoq E, Fournier L, et al. Genesys - Pro: innovations in test program generation for functional processor verification [J ]. Design & Test of Computers, IEEE, 2004,21 ( 2 ) : 84 - 93.
  • 8Cheng K, Krishnakumar A. Automatic generation of functional vectors using the extended finite state machine model [ J ]. ACM Transactions on Design Automation of Electronic Systems, 1996,1(1) :57 - 79.
  • 9LiuJWS.实时系统[M].北京:高等教育出版社,2003..
  • 10赵海.嵌入式Internet-21世纪的一场信息技术革命[M].北京:清华大学出版社,2002..

共引文献6

同被引文献35

引证文献5

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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