SPRi POPUP3 ENGLISH
SPRi POPUP3 ENGLISH

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

날짜2015.01.20
조회수6044
글자크기
  • 배현섭 대표(슈어소프트테크) 초청 강연
    • 프로그램
      일 시 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 연구원들
      배현섭 대표와 SPRi 연구원들
목록