소프트웨어 안전성: Difference between revisions

From IT Wiki
No edit summary
No edit summary
Line 6: Line 6:
* 자율주행차, 드론, 공장자동화 등 소프트웨어에 의존하는 물리적 장치, 설비의 진화
* 자율주행차, 드론, 공장자동화 등 소프트웨어에 의존하는 물리적 장치, 설비의 진화


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


=== 위험 평가 모델 ===
== 안전 분석 ==
* [[HAZOP]]
=== 안전 분석 방식 ===
* [[FMEA]]
* 유도적 안전 분석 방식: 알려진 원인에서 시작하여 알려지지 않은 결과 발견
* [[FTA]]
* 연역적 안전 분석 방식: 알려진 결과에서 시작하여 알려지지 않은 원인 예측
 
=== 기법 ===
* ISO 26262에 정의된 단계별 안전 분석 기법
{| class="wikitable"
|-
! 단계 !! 안전 분석 기법
|-
| 설계 ||
* [[PHA|PHA(Preliminary Hazard Analysis)]]
* [[FHA|FHA(Fault (or Functional) Hazard Analysis)]]
* [[HAZOP|HAZOP(Hazard and Operability Studies)]]
|-
| 개발 ||
* [[FMEA|FMEA(Failure Mode and Effect Analysis)]]
* [[FTA|FTA(Fault Tree Analysis)]]
* [[ETA|ETA(Event Tree Analysis)]]
* [[SWHA|SWHA(Software Hazard Analysis)]]
|-
| 운영 ||
* [[O&SHA|O&SHA(Operating & Support Hazard Analysis)]]
|}


== [[신뢰 소프트웨어]] ==
== [[신뢰 소프트웨어]] ==
;Dependable Software; 안전 최우선 소프트웨어
;Dependable Software; 안전 최우선 소프트웨어
안전성 보장을 최우선으로 하여 믿고 사용할 수 있는 소프트웨어 속성
안전성 보장을 최우선으로 하여 믿고 사용할 수 있는 소프트웨어 속성

Revision as of 19:38, 25 December 2019

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

주목 배경

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

관련 표준

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

안전 분석

안전 분석 방식

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

기법

  • ISO 26262에 정의된 단계별 안전 분석 기법
단계 안전 분석 기법
설계
개발
운영

신뢰 소프트웨어

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

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

Retrieved from "https://itwiki.kr/index.php?title=소프트웨어_안전성&oldid=5672"