파티션 컴퓨팅을 위한 TMO.p 모델과 스케줄러 = TMO.p Model and its Scheduler for Partition Computing

국문 초록 (Abstract)

모듈러 구조를 위한 항공기 소프트웨어 구조의 표준인 ARINC653에서는 하나의 하드웨어 플랫폼 상에서 CPU 시간 및 메모리 자원을 고정 분할하여 서로 간섭 없이 독립적으로 사용하는 파티션 모델을 규정하고 있다. 파티션들은 항공기의 각 부분 별 제어를 위한 독립적인 응용들로, 전통적인 연합 방식에서 분산 시스템으로 구성되던 것을 하나의 멀티프로세서 시스템에서 케이블링을 줄여 독립적으로 수행하기 위한 모델이다. 본 논문에서는 대표적 실시간 객체 모델인 TMO에 파티션의 개념을 도입한 확장모델인 TMO.p를 제시하고, TMO.p와 그 멤버 태스크들을 위해 개발된 실시간 스케줄러에 대해 기술한다. 개발된 스케줄러는 TMO의 제공을 위해 오픈 소스 eCos3.0 기반으로 개발된 RT-eCos 내부에 구현되었다. 구현된 시스템은 그 API가 ARINC653 APEX와 동일하지는 않지만 TMO의 실시간 태스크 지원의 장점에 더하여 파티션 개념을 지원하고 있어, TMO.p를 기반으로 항공기 S/W 제작에 의미 있게 사용될 수 있다.

다국어 초록 (Multilingual Abstract)

In the ARINC653, that is a standard specifying the partition model for modular avionic software architecture, partitions independently use deterministic CPU time-slots and separated memory spaces without interference. In the conventional “Federated Model”, all applications run on a distributed system. But the partition model aims at reduced cabling by running partitions on a multi-processor. In this paper, a new partition model named TMO.p that is an extension of the well known real-time object model TMO is proposed. And also, descriptions of the developed real-time scheduler for the TMO.p are given. The scheduler for TMO.p has been implemented inside of the RT-eCos that is a kernel for the TMO model based on the open source eCos3.0. Although the API of the system is not exactly same as the APEX of the ARINC653, it supports the partition computing based on the real-time characteristics of the TMO. So the TMO.p system can be used meaningfully in developing real-time avionic softwares.

목차 (Table of Contents)

• 요약
• Abstract
• 1. 서론
• 2. TMO.p 모델
• 3. TMO.p 실행 커널 플랫폼
• 4. 결론 및 향후 연구
• 참고문헌

참고문헌 (Reference)

1 M. Masmano, "XtratuM: a hypervisor for safety critical embedded systems" 2009

2 J. Kim, "TMO-eCos2.0 and its development environment for timeliness guaranteed computing" 164-168, 2009

3 석미희, "TMO 기반의 실시간 객체 모델의 코드 자동생성기법 연구" 한국정보처리학회 19 (19): 101-112, 2012

4 S. Han, "Kernel-Level ARINC 653 Partitioning for Linux" 781-786, 2012

5 S. Han, "Full Virtualization based ARINC 653 Partitioning" 7E1-1-7E1-11, 2011

6 S. Kim, "Design and implementation of an operational flight program for an unmanned helicopter FCC based on the TMO scheme" 1-11, 2009

7 H. Song, "Design and Implementation of a Danger-aware Operational Flight Program for an Unmanned Helicopter" 9-15, 2010

8 Airlines Electronic Engineering Committee, "Avionics Application Software Standard Interface Part 1 - Required Services" Aeronautical Radio, Inc 2005

9 Airlines Electronic Engineering Committee, "Avionics Application Software Standard Interface Part 1 - Extended Services" eronautical Radio, Inc 2008

10 T. Schoofs, "An integrated modular avionics development environment" 1.A.2-1-1-1.A.2-1-9, 2009

11 H. Kim, "An efficient task serializer for hard real-time TMO systems" 405-413, 2008

12 S. H. VanderLeest, "ARINC 653 hypervisor" 5.E.2-1-5.E.2-20, 2010

13 Windriver Inc, "ARINC 653 An Avionics Standard for Safe, Partitioned Systems" 1-30, 2008

14 P. Edgar, "AMOBA ARINC 653 simulator for modular based space applications" 2008

15 A. Dubey, "A component model for hard real-time systems: CCM with ARINC-653" 1517-1550, 2011

16 J. Kim, "A TMO-based flight program of an unmanned helicopter" 83 (83): 353-362, 2011

17 K. H. Kim, "A Real-Time Object Model RTO.k and an Experimental Investigation of Its Potentials" 392-402, 1994