期刊文献+

基于ARINC 653仿真器的机载操作系统任务状态监控设计与实现

Design and implementation of task status monitoring for airborne operating system simulator based on ARINC 653 emulator
下载PDF
导出
摘要 机载操作系统属于嵌入式实时操作系统,其内部内核对象的状态变迁、关键数据的值变化以及系统调度运行状况直接影响着机载应用程序的正确执行。本文以为机载应用程序更好地定位故障、发现并排除各种逻辑错误为目的,采用内嵌传感器的方法,结合任务的状态切换、触发状态切换,应用ARINC 653仿真器实时监控机载操作系统的状态和数据变化。经过测试,表明该系统可以得到机载应用程序的状态和行为变迁,并为机载应用程序的运行时验证、机载分区操作系统仿真器的符合性测试提供基础。 The on-board operating system is an embedded real-time operating system.The state transition of internal kernel objects,the change of key data values,and the system scheduling operation directly affect the correct execution of the onboard application.This article considers that the onboard application better locates faults,discovers and eliminates various logic errors,and adopts embedded sensor method,combined with task state switching and trigger state switching based on ARINC 653 emulator,to monitor the status and data changes of the onboard operating system in real time.Tests show that the system can get the status and behavior changes of the onboard application,and provide the basis for the runtime verification of the onboard application and the compliance test of the onboard partition operating system emulator.
作者 孟开元 闫方 曹庆年 彭寒 MENG Kaiyuan;YAN Fang;CAO Qingnian;PENG Han(School of Computer Science,Xi′an Shiyou University,Xi′an 710065,China)
出处 《智能计算机与应用》 2019年第3期110-112,117,共4页 Intelligent Computer and Applications
关键词 机载操作系统仿真器 机载应用程序 状态变迁 内嵌软件传感器 on-board operating system simulator on-board application program state transition embedded software sensor
  • 相关文献

参考文献6

二级参考文献48

  • 1刘军祥,王永吉,Matthew Cartmell.一种改进的RM可调度性判定算法[J].软件学报,2005,16(1):89-100. 被引量:16
  • 2Airlines Electronic Engineering Committee. ARINC: 653P1- 3-2006 Avionics Application Software Standard Interface Partl Required Services[S]. 2006.
  • 3Leung J Y T, Merrill M L. A Note on Preemptive Scheduling of Periodic, Real-time Tasks[J]. Information Processing Letters, 1980, 11(3): 115-118.
  • 4Wang G Q, Gu Q F. Research on distributed integrated modular avionics system architecture design and imple- mentation[C]//Proceedings of Digital Avionics Systems Conference, 2013:7D6-1 7D6-10.
  • 5ARINC 653. ARINC specification 653-2, avionics applica- tion software standard interface [S]. Annapolis, Mary- land: ARINC, 2006.
  • 6Liu C L, Layland J W. Scheduling algorithms for multi- programming in a hard-real-time environment[J]. Journal of the ACM (JACM), 1973, 20(1): 46-61.
  • 7Joseph M, Pandya P. Finding response times in a real- time system[J]. The Computer Journal, 1986, 29(5): 390-395.
  • 8Lehoczky J, Sha L, Ding Y. The rate monotonic schedu- ling algorithm: Exact characterization and average case be- havior[C]//Proceedings of Real Time Systems Symposi um, 1989t 166-I71.
  • 9Sha L, Abdelzaher T, ,rzOn K E, et al. Real time scbed uling theory: A historical perspective[J]. Real-Time Sys- tems, 2004, 28(2-3): 101-155.
  • 10Lee Y H, Kim D, Younis M, et al. Partition scheduling in APEX runtime environment for emhedded avionics soft- ware[C]//Proceedings of 5th International Conference on Real-Time Computing Systems and Applications, 1998: 103-109.

共引文献32

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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