소프트웨어 안전성

Software Safety

소프트웨어의 동작으로 인한 위협(Threat)이나 피해(Hazard)가 야기되지 않는 속성

주목 배경

• 자율주행차, 드론, 공장자동화 등 소프트웨어에 의존하는 물리적 장치, 설비의 진화

관련 표준

• DO-178B/C: 항공 시스템에 대한 안전성 검증 지침
• IEC 61508: 전기, 전자 장치의 안전 요구사항
• ISO 26262: 자동차 소프트웨어 안전성 표준

안전 분석

안전 분석 방식

• 유도적 안전 분석 방식: 알려진 원인에서 시작하여 알려지지 않은 결과 발견
• 연역적 안전 분석 방식: 알려진 결과에서 시작하여 알려지지 않은 원인 예측

기법

• ISO 26262에 정의된 단계별 안전 분석 기법

단계	안전 분석 기법
설계	PHA(Preliminary Hazard Analysis) FHA(Fault (or Functional) Hazard Analysis) HAZOP(Hazard and Operability Studies)
개발	FMEA(Failure Mode and Effect Analysis) FTA(Fault Tree Analysis) ETA(Event Tree Analysis) SWHA(Software Hazard Analysis)
운영	O&SHA(Operating & Support Hazard Analysis)

신뢰 소프트웨어

Dependable Software; 안전 최우선 소프트웨어

안전성 보장을 최우선으로 하여 믿고 사용할 수 있는 소프트웨어 속성