고신뢰 융합SW를 위한 필수 SW공학기술 연구용역 보고서 소개

안녕하세요.
SW공학센터의 조지만입니다.

 고신뢰 융합SW를 위한 필수 SW공학기술 연구용역 보고서를 소개하기 위하여 블로그에 글을 씁니다.

 이 보고서는 2012년도 경기대학교 권기현 교수님과 작업한 것으로 고신뢰 융합SW를 개발하기 위하여 필요한 SW공학기술이 무엇인지에 대하여 연구한 보고서입니다. 이 보고서는 고신뢰 융합 SW 개발을 위한 필수 SW공학기술을 조사하여 산업현장에서 쉽게 참조할 수 있는 가이드 개발을 목적으로 진행하였습니다.

이에 기능 안전성에 관련된

• IEC 61508(일반 산업 분야 국제 표준)
• ISO 26262(자동차 산업 분야 국제 표준)
• DO-178B(항공 분야 국제 표준)
• IEC 60880-2(원자력 분야 국제 표준) 

등에 표준의 내용을 간략하게 확인 할 수 있습니다. 그리고 고신뢰 융합SW를 위한 국내외 접근 전략 및 주요 도구를 보실 수 있습니다.

 특히 이 보고서는 각각 영역별 기능 안전성에 특화된 SW공학기술을 기술하는 것보다는 고신뢰 융합SW이면 가져야 할 SW공학기술이 무엇인지를 파악하는데 중점을 두고 있습니다. 아래의 그림을 보면 각각 영역별 프로세스 입장의 기능안전에 관련된 표준들과 이를 공통으로 정리한 "공통 개발 프로세스"를 확인하실 수 있습니다.

 또한 "공통 개발 프로세스"를 기준하여 필요한 SW공학기술을 정리하였습니다. (아쉽게도 기술에 대한 자세한 정리는 부족합니다. 그래도 고신뢰 융합SW를 개발하는데 있어 어떤 기술이 있는지를 한 눈에 알 수 있는 자료입니다.)

 마지막으로 이렇게 정리된 SW공학기술 중에 중요한 기술에 대해서는 간략하게 설명을 정리하고 있습니다. 정리된 공학 기술은 다음과 같습니다.

• 결함 트리 분석 (Fault Tree Analysis)
• 분할 아키텍처 (Partitioning Architecture)
• 다중 버전 프로그래밍 (N-Version Programming)
• 방어적 프로그램밍 (Defensive Programming)
• 구조적 테스팅 (Structural Testing)
• 정적 분석 (Static Analysis)
• 모델 검증 (Model Checking)

(사실 이 부분에 더 많이 정리 되었으면 좋았을 것이라고 생각하고 있습니다. 그러나 늦은 밤까지 열심히 정리해 주신 연구원님들께는 다시 한번 더 감사합니다.)

 이 보고서가 2012년 보고서라 현재 고신뢰 융합 SW를 위한 SW공학 기술에 대한 최신 버전은 안입니다. 그러나 영역별 기능 안전성 표준에 대하여 간단히 파악할 수 있으면 이에 따른 공통된 SW공학기술을 이해하는데 있어 커다란 도움을 줄 수 있는 주요한 가이드임은 틀림 없습니다. 이 보고서가 SW 기능 안전성 관련 개발하시는 개발자 분들에게 많은 도움이 되길 기원합니다.

보고서 받기->



아...그리고 추가로 관련 자료를 공부하셨으면, 실제 사례를 보고 싶지 않으신가요?
저희 SW공학센터에서는 고신뢰 융합SW에 관련된 컨퍼런스 (SW 안전성 컨퍼런스)를 10월 21일에 합니다. 관심있으신 분들의 많은 참여 부탁 드립니다.

SW안전성 컨퍼런스 안내 보기 ->