• 한국항행학회논문지
• /
• 제13권1호
• /
• pp.19-26
• /
• 2009

항공관제시스템은 안전하고 신뢰할 수 있는 공항 운영을 위해 절대적으로 높은 신뢰성이 요구된다. 본 연구에서는 서버 워크스테이션과 네트워크를 포함하는 ATM 하드웨어 시스템의 신뢰성을 분석하였다. 구체적으로 하드웨어 신뢰성 평가에 자주 사용되는 신뢰도 불록도(Reliability Block Diagram)와 고장수목분석법(Fault Tree Analysis)을 이용하여 분석하였다. 분석 실험은 Relex 사의 Reliability Studio를 이용하여 ATM 하드웨어 시스템의 신뢰도를 예측하였다.

• 한국항행학회논문지
• /
• 제14권1호
• /
• pp.87-92
• /
• 2010

항공 임베디드 시스템은 고신뢰성 설계가 매우 중요하다. 본 논문에서는 고신뢰성 항공 임베디드 시스템 연구를 위하여 Triple Modular Redundancy(TMR) 구조의 하드웨어를 설계하였다. TMR 구조의 하드웨어가 단일 프로세서 구조의 하드웨어보다 얼마나 신뢰성이 향상 되었는지를 연구하기 위하여, ARM 프로세서와 TMR ARM 프로세서의 축소된 형태의 시뮬레이션 모델을 개발하였고 각각의 신뢰성을 평가하는 연구를 수행하였다. 신뢰성 평가는 RTL을 이용한 시뮬레이션 기반 오류 주입 시뮬레이션 기법을 이용하였다. 주입된 오류별로 타겟 시스템의 상태변화를 분석하여, 오류 복구비율을 계산하였다. 실험결과 TMR ARM의 오류복구 능력은 ARM에 비해 최대 10배 이상 향상되었으며, 특히 permanent fault에서 더 강인함을 확인 하였다.

• 대한임베디드공학회논문지
• /
• 제9권3호
• /
• pp.183-191
• /
• 2014

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.

• 한국군사과학기술학회지
• /
• 제14권3호
• /
• pp.388-396
• /
• 2011

Mission Equipment Package(MEP) system is a collection of avionic components that are integrated to perform the mission of the Korean Utility Helicopter(KUH). MEP system development is classified mission-critical embedded system but KUH MEP system developed including flight-critical data implementation. It is important to establish the good development and verification process for the successful system development. This paper describe the development and verification process in each phase for the KUH MEP system. MEP system design is verified through the qualification test, system failure test and compatibility test in System Integration Laboratory(SIL).

• 한국군사과학기술학회지
• /
• 제5권2호
• /
• pp.72-82
• /
• 2002

This paper presents the design technology of a Graphic Generator which drives the embedded aircraft display equipments such as HUD(Head-Up Display) and MFD (Multi-Function Display) those provide pilot with the most important mission information. The main issue of this design is how we can implement the real-time embedded graphic generator using a general purpose processor as a substitute for the obsolete the production of specific graphic processor in the military market. So we proposed two kinds of method that one is a software solution so called graphic kernel system, interpreting the display file, controlling the graphic system and pre-processing graphic primitives, the other is a hardware solution so called graphic engine, interpreting passed commands through the graphic kernel system, post-processing the looping calculation taking much of time as implemented by software. We have tested and verified the functionalities and the required performance of Graphic Generator.