Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2011.06b
  • /
  • Pages.79-82
  • /
  • 2011
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

A Case Study on Detection of Races in Flight Control Software of Unmanned Aerial Vehicle

무인기 비행제어 소프트웨어를 위한 경합탐지 사례연구

  • Lee, Byoung-Kwi (Department of Informatics, Gyeongsang National University) ;
  • Kang, Mun-Hye (Department of Informatics, Gyeongsang National University) ;
  • Jun, Yong-Kee (Department of Informatics, Gyeongsang National University)
  • 이병귀 (국립경상대학교 정보과학과) ;
  • 강문혜 (국립경상대학교 정보과학과) ;
  • 전용기 (국립경상대학교 정보과학과)
  • Published : 2011.06.29

⟨ Previous Next ⟩

Abstract

무인기용 비행제어 소프트웨어는 인터럽트 핸들러에서 비결정적인 수행결과를 조래하는 경합이 발생될 수 있다. 이러한 유형의 경합을 탐지하기 위한 기존 방법은 원시 프로그램의 인터럽트 핸들러를 스레드로 변환하여 정적 경합탐지 도구를 사용하므로 프로그램 수행 시 실제 발생하지 않는 부정확한 경합(false positives)를 보고한다. 본 연구는 부정확한 경합 보고를 줄이기 위해서 원시 프로그램을 POSIX 실시간 스레브 프로그램으로 변환하고 Lockset기반 탐지기법 의해서 탐지된 공유변수를 대상으로 Happens-before 관계 분석기법을 이용하여 경합을 탐지하는 동적 경합탐지 도구를 사용한다. 제시된 방법의 실험을 위해서 Knob Assembly에 탑재되는 비행제어 소프트웨어를 대상으로 정적 경합탐지 도구와 동적 경합탐지 도구의 경합탐지 결과를 비교 분석한다.

Keywords

Acknowledgement

Supported by : 정보통신산업진흥원