计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2013年
z2期
238-240
,共3页
软件安全性%系统理论过程分析%除冰系统
軟件安全性%繫統理論過程分析%除冰繫統
연건안전성%계통이론과정분석%제빙계통
software safety%System Theoretic Process Analysis (STPA)%deicing system
通过分析、总结已有的危险分析技术,将系统理论过程分析(STPA)方法与其他方法相比较,总结、形成了软件安全性技术框架.其次,对比已有的分析方法,明确了一种适合软件密集系统的危险分析方法.最后使用STPA方法对飞机除冰系统进行了分析研究,证明了方法的可行性.
通過分析、總結已有的危險分析技術,將繫統理論過程分析(STPA)方法與其他方法相比較,總結、形成瞭軟件安全性技術框架.其次,對比已有的分析方法,明確瞭一種適閤軟件密集繫統的危險分析方法.最後使用STPA方法對飛機除冰繫統進行瞭分析研究,證明瞭方法的可行性.
통과분석、총결이유적위험분석기술,장계통이론과정분석(STPA)방법여기타방법상비교,총결、형성료연건안전성기술광가.기차,대비이유적분석방법,명학료일충괄합연건밀집계통적위험분석방법.최후사용STPA방법대비궤제빙계통진행료분석연구,증명료방법적가행성.
