Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2016.10a
  • /
  • Pages.497-500
  • /
  • 2016
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

An Analysis of the Relation between Runtime Errors and Embedded Coding Rule using Static Analysis of Medical Software

의료기기 소프트웨어 정적검증을 통한 임베디드 코딩룰과 실행시간 오류 간 연관성 분석

  • Yoo, Sae-Yeol (Dept. of Electrical and Computer Engineering, Ajou University) ;
  • Choi, Ki-Yong (Dept. of Electrical and Computer Engineering, Ajou University) ;
  • Lee, Jung-Won (Dept. of Electrical and Computer Engineering, Ajou University)
  • Published : 2016.10.27
Download PDF
⟨ Previous Next ⟩

Abstract

최근 임베디드 소프트웨어의 신뢰성과 안전성을 보장하기 위하여 코딩룰인 MISRA-C를 자동차 뿐만 아니라 군사, 의료 분야등 광범위한 분야에서 이용하고 있다. 하지만 MISRA-C가 자동차 시스템분야의 MISRA 가이드를 이용하여 개발되었기 때문에 타 분야의 분야별 특성을 모두 고려하지 못한다는 문제점이 제시되고 있다. 따라서 본 논문에서는 향후 의료기기 분야의 특성을 고려한 코딩룰을 제시하기에 앞서, 의료기기 소프트웨어에서의 코딩룰 필요성을 제시한다. 이를 위해 개발 단계의 의료기기 소스코드에 MISRA-C를 적용하여 정적 분석을 해보고, 적용 유무 따른 실행시간 오류 결과를 분석한다. 분석 결과, 코딩룰을 이용하면 실질적으로 실행시간 오류 발생을 막을 수 있고, 적용 과정에서 기타 다른 실행시간 오류들 또한 해결됨을 확인하였다. 위 결과로 본 논문에서는 의료 분야의 특성을 고려한 특화 코딩룰의 필요성을 제시한다.

Keywords