• 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.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.9 no.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.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.41 no.12
• /
• pp.1884-1891
• /
• 2016

With the various usage of civil drones, such as hobby, filmmaking and surveillance, the need for technology that safely reconstructs software for target application domains has been increasingly rising. In order to support a reliable software integration of avionic systems, the ARINC 653 standard has been proposed and adapted mainly on manned aircrafts. Therefore, applying ARINC 653 on civil drones could be desirable. Though, various researches on implementing ARINC 653 has been conducted, there are still additional requirements to apply ARINC 653 to civil drones that use various platforms and have a wide range of use. In this paper, taking account of these requirements, we implement a portable and extensible ARINC 653 and analyze its performance. We offer the portability with the OS abstraction layer that reduces dependency on a specific operating system, and provide the design that can extend internal functions, such as partition scheduler and process scheduler.

• Journal of KIISE
• /
• v.44 no.7
• /
• pp.649-657
• /
• 2017

As the type and purpose of drones become diverse and the number of additional functions is increasing, the role of the corresponding software has increased. Through partitioning and an efficient solving of SWaP(size, weight and power) problems, ARINC 653 can provide reliable software reuse and consolidation regarding avionic systems. ARINC 653 can be more effectively applied to drones, a small unmanned aerial vehicle, in addition to its application with large-scale aircraft. In this paper, to exploit ARINC 653 for a drone flight-control program, an intra-partition communication system is implemented through an extension of the layered ARINC 653 and applied to a real drone system. The experiment results show that the overheads of the intra-partition communication are low, while the resources that are assigned to the drone flight-control program are guaranteed through the partitioning.

• 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 설정을 쉽게 적용하여 응용 소프트웨어를 개발할 수 있는 도구를 소개한다.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.9 no.5
• /
• pp.253-260
• /
• 2014

European Space Agency has recognized Integrated Modular Avionics and ARINC specification 653 as avionics computer system for space application. Integrated Modular Avionics specification reduces the space by integrating a system composed of many electronic devices into a computer. recent researches have been studying how to apply the ARINC 653 into an open source operating system, such as Linux. These studies have concentrated on partition scheduling for time separation. However, requirements to guarantee spatial separation should be further analyzed to ensure deterministic execution time. Therefore, memory management is needed to verify spatial isolation on Linux systems. This research proposes a new method to accomplish spatial isolation for the ARINC 653 specification in Linux. We have added new data structures and system calls to handle functionalities for spatial separation. They are used during the partition startup process. The proposed method was evaluated on the LEON4 processor, which is the next generation microprocessor to be used in the future space missions. All implementations confirm that spatial isolation of the ARINC 653 specification was accomplished.

• 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을 적용하기 위한 구조를 제시하고 구현한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.04a
• /
• pp.78-81
• /
• 2010

ARINC 653은 통합형 항공전자 시스템에서 사용되는 응용프로그램 간의 인터페이스와 실시간 운영체제의 표준을 정의한다. ARINC 653에 정의되어 있는 네트워크 통신 인터페이스는 대형 항공기뿐만 아니라 무인 비행체와 같은 작은 항공체에도 적용이 가능하다. 이러한 작은 시스템에서는 TCP/IP와 같이 무거운 프로토콜보다는 경량의 실시간 프로토콜이 적합하다. 본 논문에서는 RTDiP을 이용하여 ARINC 653의 통신 인터페이스 중에서 Queuing-mode를 구현하고 성능 측정을 수행한다.

• Journal of Advanced Navigation Technology
• /
• v.27 no.4
• /
• pp.429-435
• /
• 2023

The increasing complexity of avionics systems has emphasized the portability and reusability of software components. In this paper, a structural design method for IOSS (Input Output Service Segment) and TSS (Transport Service Segment) complying with the FACE (The Future Airborne Capability Environment) standard in the VxWorks 653 operating environment that satisfies ARINC 653 requirements is described. IOSS and TSS operate independently in different partitions to minimize time/space separation and the influence of other software, and to increase portability and reusability, strategy patterns among design patterns are applied. In addition, IOSS provides external interface service by applying distributed IO service structure, and among external interfaces, the ARINC 664 P7 interface of FACE-compliant equipment is placed in TSS to optimize the data movement path.

• Proceedings of the Korean Information Science Society Conference
• /
• 2010.06a
• /
• pp.295-296
• /
• 2010