한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
- /
- Pages.406-411
- /
- 2006
- /
- 1598-5164(pISSN)
정형기법을 적용한 DO-178B 안전성 검증 및 인증 기준 개선
- Kim, Chang-Jin (Korea University Information & Communication College, Formal Methods Lab.) ;
-
Choi, Jin-Young
(Korea University Information & Communication College, Formal Methods Lab.)
- 발행 : 2006.10.20
초록
DO-178B는 항공분야 소프트웨어의 안전성 인증 기준으로서 실질적인 국제 표준으로 인정받고 있다. 그러나 목표달성 중심의 기준만을 제시함으로써 안전성 분석 및 검증에 대한 구체적인 가이드라인의 부족이 문제시 되어왔다. 본 논문을 통해 DO-178B의 취약점을 분석하고 정형기법을 적용한 개선방안을 제시한다. DO-178B 내용 중 정형기법을 적용하여 수행되어야 할 활동 요소들을 식별하고 정형언어를 통한 설계와 검증, 그리고 그 결과에 대한 증빙자료의 제출을 기준에 포함시킴으로써 개발 활동의 방향과 범위를 명확히 하고 인증 절차의 투명성을 향상시킬 수 있다.
키워드