沈阳工业大学学报(社会科学版)
瀋暘工業大學學報(社會科學版)
침양공업대학학보(사회과학판)
JOURNAL OF SHENYANG UNIVERSITY OF TECHNOLOGY(SOCIAL SCIENCE EDITION)
2013年
2期
204-211
,共8页
黄百乔%赖婧%张虹%陆民燕
黃百喬%賴婧%張虹%陸民燕
황백교%뢰청%장홍%륙민연
嵌入式软件%软件故障树%分层分析%软件安全性%软件失效模式与影响%输入-处理过程-输出
嵌入式軟件%軟件故障樹%分層分析%軟件安全性%軟件失效模式與影響%輸入-處理過程-輸齣
감입식연건%연건고장수%분층분석%연건안전성%연건실효모식여영향%수입-처리과정-수출
针对嵌入式软件需求阶段的安全性分析方法中故障树分析缺少构建方法的问题,结合嵌入式系统的特点,提出了一种故障树分层构建方法.为构建各功能层内部的故障树,提出了基于IPO的功能分解法,采用失效模式与影响分析方法对分解的各部分功能进行影响分析,以确定构建故障树的建树元素,并提出了功能层内部故障树构建的框架模型与各功能层故障树的层次关系,实现了部分故障树构建的自动化,提高了故障树构建的完整性、准确性与效率.在某型号发动机控制软件的安全性分析中,应用上述方法指导该嵌入式软件故障树的构建与分析,验证了该方法的可行性和有效性.
針對嵌入式軟件需求階段的安全性分析方法中故障樹分析缺少構建方法的問題,結閤嵌入式繫統的特點,提齣瞭一種故障樹分層構建方法.為構建各功能層內部的故障樹,提齣瞭基于IPO的功能分解法,採用失效模式與影響分析方法對分解的各部分功能進行影響分析,以確定構建故障樹的建樹元素,併提齣瞭功能層內部故障樹構建的框架模型與各功能層故障樹的層次關繫,實現瞭部分故障樹構建的自動化,提高瞭故障樹構建的完整性、準確性與效率.在某型號髮動機控製軟件的安全性分析中,應用上述方法指導該嵌入式軟件故障樹的構建與分析,驗證瞭該方法的可行性和有效性.
침대감입식연건수구계단적안전성분석방법중고장수분석결소구건방법적문제,결합감입식계통적특점,제출료일충고장수분층구건방법.위구건각공능층내부적고장수,제출료기우IPO적공능분해법,채용실효모식여영향분석방법대분해적각부분공능진행영향분석,이학정구건고장수적건수원소,병제출료공능층내부고장수구건적광가모형여각공능층고장수적층차관계,실현료부분고장수구건적자동화,제고료고장수구건적완정성、준학성여효솔.재모형호발동궤공제연건적안전성분석중,응용상술방법지도해감입식연건고장수적구건여분석,험증료해방법적가행성화유효성.