본문 바로가기
HOME> 논문 > 논문 검색상세

학위논문 상세정보

ARINC 653 운영체제의 파티션 간 통신에서 메시지경합의 발생에 관한 연구 원문보기
A Study on Message Race in Inter-partition Communication of the ARINC 653 Operating System

  • 저자

    김중훈

  • 학위수여기관

    경상대학교 항공우주특성화대학원

  • 학위구분

    국내석사

  • 학과

    항공우주공학과 항공우주공학

  • 지도교수

    전용기

  • 발행년도

    2014

  • 총페이지

    29 p.

  • 키워드

    message race Inter-partition communication ARINC-653;

  • 언어

    kor

  • 원문 URL

    http://www.riss.kr/link?id=T13534176&outLink=K  

  • 초록

    The inter-partition communication in an ARINC 653 real-time OS is one of the standards suggested to transfer data between partitions. Thus a mechanism should be necessarily implemented to properly deliver data for the system to be reliable. When a message is transferred from more than two partitions to a specific partition, message races which are caused by nondeterministic arrival of messages may occur due to the actions of the scheduler and context switching. Message races may lead the system into unexpected and abnormal behavior and result. Unfortunately, message races have so far received little attention in ARINC 653 applications. In this thesis, we focus on studying the causes of message races during the inter-partition communication in an ARINC 653 operating system. Our study was based on SIMA, which provides IMA capabilities to general purpose OS like linux. In this thsis, we introduce the ARINC Specification 653 Standard adopted in the IMA avionics architecture, and present a study case of message races occurrence in an ARINC 653 system through experimentations.


 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역