Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)
- 2016.10a
- /
- Pages.497-500
- /
- 2016
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
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
Abstract
최근 임베디드 소프트웨어의 신뢰성과 안전성을 보장하기 위하여 코딩룰인 MISRA-C를 자동차 뿐만 아니라 군사, 의료 분야등 광범위한 분야에서 이용하고 있다. 하지만 MISRA-C가 자동차 시스템분야의 MISRA 가이드를 이용하여 개발되었기 때문에 타 분야의 분야별 특성을 모두 고려하지 못한다는 문제점이 제시되고 있다. 따라서 본 논문에서는 향후 의료기기 분야의 특성을 고려한 코딩룰을 제시하기에 앞서, 의료기기 소프트웨어에서의 코딩룰 필요성을 제시한다. 이를 위해 개발 단계의 의료기기 소스코드에 MISRA-C를 적용하여 정적 분석을 해보고, 적용 유무 따른 실행시간 오류 결과를 분석한다. 분석 결과, 코딩룰을 이용하면 실질적으로 실행시간 오류 발생을 막을 수 있고, 적용 과정에서 기타 다른 실행시간 오류들 또한 해결됨을 확인하였다. 위 결과로 본 논문에서는 의료 분야의 특성을 고려한 특화 코딩룰의 필요성을 제시한다.
Keywords