소프트웨어 안전 및 위험원 분석

소프트웨어 사고 사례

사건 사고 사례

1. 부산역 KTX 열차 충돌사고

• 사고 개요
• 사고 원인

2. 상왕십리역 사고

• 사고 개요
• 사고 원인

SW 품질 검증 개념의 변화

소프트웨어 안전 소개

소프트웨어 안전의 개념

• 비안전산업군
• 안전산업군
• SW안전산업군

3레벨 아키텍처의 주요 안전 메커니즘
1) 기능 모니터링

• 해당 기능이 적절한 순서로 수행되고 있는지 점검
• 해당 기능이 적절하게 수행되고 있는지 점검(function monitoring)

2) 오류 조치

• 오류 감지 시 적절한 오류 조치를 수행

3) 독립 모니터링

• 독립적인 모니터링 제어기에서 주 제어기의 동작과 기능을 점검

Software Safety: Technical Aspect

Standards

Standards는 각 산업 도메인 별로 표준화 단체에서 제정하고 있으나, 관점, 범위, 추상화수준, 중복, 해석의 상이 등의 이슈가 있다
현 표준이나 지침의 개정속도가 산업혁명의 속도를 쫓아가고 있는 상황이다.

주요 안전 표준의 방향성

• 시스템의 개념이 하드웨어, 소프트웨어, 인간자용 등이 복잡하게 연계된 개념으로 확장
• 시스템의 생명주기 전 과정을 포괄하는 공통의 프로세서 Framework를 제공
• 2012년 변경에서 적용범위가 SW에서 System and SW로 변경

소프트웨어 위험원 분석

• 안전관련 제품 개발시 초기 Concept 작성 후 위험분석 과정 수행
• 위험분석 결과로 시스템 레벨의 Safety Requirement를 도출
• System Safety Requirment는 Sub-systme 별로 할당
• System Safety Requirment가 Technical 명세서로 작성됨
• System Safety Requirment Specification이 HW개발 및 SW개발

위험 분석 유형

• 분석 목적, 시점, 범위, 상세도, 시스템 범위
• 수명 주기 상에서 분석 초점에 따라 7개로 구분