본문 바로가기
주메뉴 바로가기
검색
연구
전체자료
연구자료
간행물
- SW중심사회
- 산업연간보고서
- 승인통계보고서
- AI 브리프
- 이전 간행물
행사
전체행사
컨퍼런스
포럼
세미나
통계
통계서비스
간행물
정보
알림
SPRi
소개
- 연혁
- 인사말
- 미션+비전
- CI소개
- 조직
- 경영공시
- 오시는 길
알림
- 공지사항
- 미디어
- 정보공개
SPRi POPUP
3
ENGLISH
SPRi POPUP
3
ENGLISH
모바일 주 메뉴 닫기
배현섭 (슈어소프트테크) 고신뢰 고안전 SW 시험 및 검증(표준 및 사례 중심)
SPRi
날짜
2015.01.20
조회수
5400
공유
글자크기
+
글자크기 크게
-
글자크기 작게
배현섭 대표(슈어소프트테크) 초청 강연
프로그램
일 시
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 연구원들
목록