航空学报
航空學報
항공학보
ACTA AERONAUTICA ET ASTRONAUTICA SINICA
2014年
6期
1703-1713
,共11页
朱和铨%徐浩军%薛源%杨雪%苏晨
硃和銓%徐浩軍%薛源%楊雪%囌晨
주화전%서호군%설원%양설%소신
软件安全性%安全性评估%软件可靠性%安全性测试%安全性控制
軟件安全性%安全性評估%軟件可靠性%安全性測試%安全性控製
연건안전성%안전성평고%연건가고성%안전성측시%안전성공제
software safety%safety assessment%software reliability%safety testing%safety control
针对机载软件在多因素耦合复杂飞行情形下的安全性评估与开发安全控制,提出一种基于半实物仿真试验的软件安全性评估方法.介绍了采用飞行模拟器试验对软件安全性进行评估的思想;设计了实施该方法的操作流程;建立了试验平台中仿真系统主要的数学模型;借鉴生物学理论,分析了软件缺陷诱发飞机飞行危险的机理;最后,运用该方法对增稳系统嵌入式软件安全性进行了评估,验证了该方法运用于工程实践的可行性.利用该方法能够减少潜在的机载软件缺陷,降低复杂情形下软件诱发飞机功能危险的概率,提高机载软件安全性.
針對機載軟件在多因素耦閤複雜飛行情形下的安全性評估與開髮安全控製,提齣一種基于半實物倣真試驗的軟件安全性評估方法.介紹瞭採用飛行模擬器試驗對軟件安全性進行評估的思想;設計瞭實施該方法的操作流程;建立瞭試驗平檯中倣真繫統主要的數學模型;藉鑒生物學理論,分析瞭軟件缺陷誘髮飛機飛行危險的機理;最後,運用該方法對增穩繫統嵌入式軟件安全性進行瞭評估,驗證瞭該方法運用于工程實踐的可行性.利用該方法能夠減少潛在的機載軟件缺陷,降低複雜情形下軟件誘髮飛機功能危險的概率,提高機載軟件安全性.
침대궤재연건재다인소우합복잡비행정형하적안전성평고여개발안전공제,제출일충기우반실물방진시험적연건안전성평고방법.개소료채용비행모의기시험대연건안전성진행평고적사상;설계료실시해방법적조작류정;건립료시험평태중방진계통주요적수학모형;차감생물학이론,분석료연건결함유발비궤비행위험적궤리;최후,운용해방법대증은계통감입식연건안전성진행료평고,험증료해방법운용우공정실천적가행성.이용해방법능구감소잠재적궤재연건결함,강저복잡정형하연건유발비궤공능위험적개솔,제고궤재연건안전성.
