리눅스 기반 ARINC 653 헬스 모니터
Linux-based ARINC 653 Health Monitor
0
조회
0
다운로드
0
인용
0
참고문헌
키워드
초록
The software running on avionic system is required to be highly reliable and productive. The air transport industry has developed ARINC Specification 653(ARINC653) as a standardized software requirement of avionics computers. The document specifies the interface boundary between avionics application software and the core executive software. Dependability in ARINC 653 is provided by spatial and temporal partitioning whilst fault-tolerance is provided by health monitoring mechanism. Legacy real-time operating systems are used to support ARINC653 health monitor on integrated modular avionics(IMA). However, legacy real-time operating systems are costly and difficult to modify the kernel. In this paper, we suggest a Linux-based ARINC653 health monitor. Functionalities to support ARINC653 health monitor are implemented as a Linux kernel module and its performance is evaluated.
Abstract
The software running on avionic system is required to be highly reliable and productive. The air transport industry has developed ARINC Specification 653(ARINC653) as a standardized software requirement of avionics computers. The document specifies the interface boundary between avionics application software and the core executive software. Dependability in ARINC 653 is provided by spatial and temporal partitioning whilst fault-tolerance is provided by health monitoring mechanism. Legacy real-time operating systems are used to support ARINC653 health monitor on integrated modular avionics(IMA). However, legacy real-time operating systems are costly and difficult to modify the kernel. In this paper, we suggest a Linux-based ARINC653 health monitor. Functionalities to support ARINC653 health monitor are implemented as a Linux kernel module and its performance is evaluated.
참고문헌 (16)
- C.H. Song, "Focus on Advanced Avionics Technology", IT SoC Magazine, (34), pp.24~31 (2009)
- 한상현, "혼합 파티셔닝의 효율적 지원을 위한 파티션 스케줄링 기법", 정보과학회 컴퓨팅의 실제 논문지, 19(2), pp.85~89 (2013), 한국정보과학회
- "VxWorks 653"[URL]
- "POK"[URL]
- "LynxOS-178"[URL]
- M. Masmano, "LithOS: a ARINC-653 guest Operating for XtratuM", Proceedings of Realtime Linux Workshop (2011)
- 고영관, "IMA 시스템에서의 Fault Tolerance를 위한 HM 시스템 설계", 한국콘텐츠학회 논문지, 12(8), pp.77~86 (2012), 한국콘텐츠학회[DOI]
- S.H. Han, "Kernel-Level ARINC 653 Partitioning for Linux", Proceedings of ACM Symposium on Applied Computing, pp.1632~1637 (2012)
- H. W. Joe, "Full virtualizing micro hypervisor for space flight computer", Proceedings of IEEE, 2012, 1~24
- "Avionics Application Software Standard Interface", Arinc Specification 653, Airlines Electronic Engineering Commitee, ~ (2010)
- S. Serigio, "A Portable ARINC 653 standard interface", Proceedings of IEEE, 2008, 1.E.2.1~7
- P. Paul, "Safety-critical Software development for Integrated modular avionics", Embedded System Engineering, 11(7), pp.40~41 (2003)
- Design Gudance for Integrated Modular Avionics, , Aerionautical Radio Inc., ~, pp.ARINC report 653 (1991)
- S. Slawomir, "ARINC Specification 653 Based Real Time Software Engineering", e-Informatica, 5(1), pp.39~49 (2011)
- Software Consideratons in Airborne Systems and Equipment Certification, "RCTA", RCTA, ~, pp.Technical Report RCTA Paper No. 548-92 (1992), SC167-177
- K. Kushal, "Myths and realities of real-time linux software systems", Proceedings of Real-Time Linux Workshop, pp.13~18 (2009)