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

  • 2006.10c
  • /
  • Pages.406-411
  • /
  • 2006
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

정형기법을 적용한 DO-178B 안전성 검증 및 인증 기준 개선

  • Kim, Chang-Jin (Korea University Information & Communication College, Formal Methods Lab.) ;
  • Choi, Jin-Young (Korea University Information & Communication College, Formal Methods Lab.)
  • 김창진 (고려대학교 정보통신대학 정형기법연구실) ;
  • 최진영 (고려대학교 정보통신대학 정형기법연구실)
  • Published : 2006.10.20
Download PDF
⟨ Previous Next ⟩

Abstract

DO-178B는 항공분야 소프트웨어의 안전성 인증 기준으로서 실질적인 국제 표준으로 인정받고 있다. 그러나 목표달성 중심의 기준만을 제시함으로써 안전성 분석 및 검증에 대한 구체적인 가이드라인의 부족이 문제시 되어왔다. 본 논문을 통해 DO-178B의 취약점을 분석하고 정형기법을 적용한 개선방안을 제시한다. DO-178B 내용 중 정형기법을 적용하여 수행되어야 할 활동 요소들을 식별하고 정형언어를 통한 설계와 검증, 그리고 그 결과에 대한 증빙자료의 제출을 기준에 포함시킴으로써 개발 활동의 방향과 범위를 명확히 하고 인증 절차의 투명성을 향상시킬 수 있다.

Keywords