SWSTAT - 소프트웨어통계포털

세미나

배현섭 (슈어소프트테크) 고신뢰 고안전 SW 시험 및 검증(표준 및 사례 중심)

SPRi

2015.01.20

6052

배현섭 대표(슈어소프트테크) 초청 강연

프로그램
일 시	2015. 1. 19(월) 10:30 ~ 12:00
장 소	소프트웨어정책연구소 회의실 (판교글로벌R&D센터)
주 제	고신뢰 고안전 SW 시험 및 검증(표준 및 사례 중심)
발 제 자	배현섭 슈어소프트테크 대표
참 석 자	SPRi 연구진

- 소프트웨어는 미션 크리티컬한 정도에 따라 분류하면 기업용 SW(패키지->웹->통신 시스템->재무 시스템)와 임베디드 SW(전자제품->자동차 컨트롤러->국방 무기->철도 신호 시스템->원전 플랜트 I&C->항공/우주 SW)로 나눌 수 있음
- 임베디드 SW 검증 및 인증의 유형은 상호운용성 및 표준적합성 시험(안드로이드 CTS등 시험 툴킷이 제공), 기능 안전성 인증(IEC61508과 같은 검증 절차를 따름)으로 나눌 수 있음
- 항공용 SW 시험 인증 사례: DO-178B(미국의 RTCA와 유럽의 EUROCAE가 협력해서 만든 항공용 SW 인증 제도)에 따르면 SW 오류로 인해 발생할 수 있는 사고의 심각성에 따라 항공용 SW 수준을 분류하고 있음(Level E->D->C->B->A)
- SW 검증 프로세스는 SW 리뷰 및 분석(정확도, 완전성, 테스트 가능성 등을 평가)과 SW 테스팅(요구사항을 만족해야 하며 오류가 발견되지 않아야 함)으로 구성
- Qplus-653은 무인항공기의 비행조종을 위해 개발되고 있는 LEVEL A의 RTOS로 요건을 만족하는지 테스팅해 보았음(요구사항 테스트, 커버리지 분석, Code Inspection)
- 제어시스템 관련 C언어 개발자, 도메인 역량 융합 및 검증 인력의 부족 현상이 심각함.
- 선진국 진입에 따른 안전 인식이 상향되어야 하며 안전 인증은 해외 수출을 위한 필수 요소임.
- SW고장 사례 DB화 및 테스트케이스 구축하는 일이 필요.
- 배현섭 대표의 발제 모습
- 배현섭 대표의 발제 모습
- 발제 후 질의 응답
- 배현섭 대표와 SPRi 연구원들