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

학위논문 상세정보

ARINC-653 응용 프로그램에서 원자성 경합의 동적 탐지 원문보기

  • 저자

    최으뜸

  • 학위수여기관

    경상대학교 대학원

  • 학위구분

    국내석사

  • 학과

    정보과학과 정보과학전공

  • 지도교수

  • 발행년도

    2014

  • 총페이지

    iv, 74 p.

  • 키워드

    ARINC-653 Applications Atomicity Races Dynamic Detection;

  • 언어

    kor

  • 원문 URL

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

  • 초록

    Atomicity races which are major concurrency bugs could be occurred in ARINC-653 applications must be detected because they could result in an unintended system behavior or system fault. But existing detector for detecting these atomicity races in ARINC-653 applications is not efficient, since it can't consider all interleaving of processes executed concurrently and only analyzes the source code not actual program execution. the reason of inefficiency is that programmer has to verify reported information again and that existing detector reports a number of false positives This paper proposes a dynamic detector of atomicity races in ARINC-653 application, Race-653, using on-the-fly analysis to decrease these problem. Race-653 consists of two modules, Race-653 Monitor, Race-653 Detector. Race-653 Monitor maintains information for detecting atomicity races such as processes, semaphore, and shared resource accesses. Race-653 Detector examines if all of shared resources protected by semaphore infer protected relationship with access history. And then it judges atomicity races. We implemented Race-653 on PIN software frameworks and experiment accuracy of our tool via a set of synthetic ARINC-653 applications which include atomicity races in independent partition of the SIMA. And then, we verified these synthetic ARINC-653 applications using our tool.


 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역