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

한국정보처리학회 (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)
  • 발행 : 2016.10.27
PDF 다운로드
⟨ 이전 논문 다음 논문 ⟩

초록

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

키워드