• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.104-105
• /
• 2012

최근 항공용 전자 시스템은 IMA (Integrated Modular Avionics) 방식으로 개발되고 있고 여기에는 실시간 운영체제의 표준인 ARINC 653이 적용되고 있다. ARINC 653은 시간적 공간적 파티셔닝을 제공함으로써 항공용 시스템의 안전성을 보장하며, OS 커널과 응용 소프트웨어 사이에 표준 API를 제공함으로써 두 파트가 서로 독립적으로 개발될 수 있게 한다. 이러한 방식은 시스템의 이식성을 높일 수 있는데, 이를 보장하는 핵심 기법이 ARINC 653 설정이다. 본 논문에서는 산업현장에서 ARINC 653 설정을 쉽게 적용하여 응용 소프트웨어를 개발할 수 있는 도구를 소개한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2011.06b
• /
• pp.90-93
• /
• 2011

항공 전자 시스템은 다양하고 중요한 임무를 수행하는 다양한 전자 장치들로 이루어지며 전자 장치들은 점차 통합 구조 시스템(IMA, Integrated Modular Avionics)으로 구성되고 있다. 이러한 통합 구조 시스템은 전자 장치의 다양한 종류와 육중한 중량을 이유로 단일 컴퓨터 환경에서 구성된다. 이러한 이유로 항공 전자 시스템에서 사용되는 응용프로그램들 또한 단일 컴퓨터에서 효율적으로 통합될 수 있어야 한다. 응용프로그램들은 각기 다른 기관에서 개발되는 경우가 많으며 그중 일부는 다른 항공 전자 시스템에 재사용 될 수 있다. 이와 같은 통합구조에서 갖는 응용프로그램들의 특성을 고려하여 시 공간적으로 분리된 파티션으로 구분하는 ARINC 653과 같은 표준이 등장 하였다. 가상화 기술은 여러 개의 가상머신을 제공하고 다양한 장치에 대하여 에뮬레이션 함으로써 하나의 가상 머신은 ARINC 653의 파티션 개념을 적용하는데 충분한 잠재력을 가지고 있다. ARINC 653을 많은 타겟 운영체제나 반 가상화 환경에서 적용된 예는 많다. 하지만 아직까지 전 가상화 환경에서 ARINC 653을 적용한 예는 없다. 따라서 본 논문에서는 두 종류의 전 가상화 환경(VMware, VirtualBox)에서 ARINC 653을 적용하기 위한 구조를 제시하고 구현한다.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.11
• /
• pp.1056-1060
• /
• 2010

The software running on avionic systems is required to be highly reliable and productive. Due to these demands, the standard such as ARINC 653 has been suggested, which includes the abstraction of resource partitioning and defines interfaces between avionic operating system and applications. Though there are many manned aerial vehicles employing ARINC 653 based operating systems, Linux-based ARINC 653 for unmanned aerial vehicles has not been studied yet. In this paper, we propose the design of Linux-based ARINC 653 process model and present preliminary implementation. The experiment results present that the implementation is enough to support control software of unmanned helicopter.