SW 안정성 분석Mission Critical 시스템의 안정성확보를 위해 반드시 수행해야 하는 안정성 분석 기법필요성) 대규모SW등장, 기능적 사고예방, 안전필수시스템확산 연역적 : FTA, ETA귀납적 : FMEA, HAZOP, STPA FTA (Fault Tree Analysis, 고장수목분석) SW 설계 분석을 통해 위험의 원인을 트리다이어그램을 통해서 도출하는 정량적 분석 기법 특징) Top-down, 사상기호, 게이트기호절차 : 분석대상정의 > 고장정의 > Fault Tree전개 > Falut Tree분석 ETA (Event Tree Analysis, 사건수목분석) 여러 위험에 대한 다양한 확률요소를 고려하여 트리의 형태로 분석하는 귀납적 분석기법 특징) 시나리오, 휴리스틱절차 : 초기사건정..