摘要
软件系统的复杂度越来越高给系统安全性分析工作带来了巨大挑战。基于SysML扩展的系统安全性分析与评能估力;方然法后对结Sy合sMALR P块-4定75义4/视47图61(b的loc系k统de级fin功itio能n危dia害gr分am析,(BFDHDA))进过行程pr分ofi析le系弱统扩失展效,使状其况、具失备效描影述响系和统失安效全等性级失,效计的算系统安全性评估结果。最后,该算法在某雷达系统开展实验验证,结果表明,该算法可在设计早期发现系统可能存在的失效状态,提高系统安全性。
出处
《计算机应用研究》
CSCD
北大核心
2020年第S02期216-220,213,共6页
Application Research of Computers
基金
装备发展部预先研究项目
作者简介
吴超(1981-),男,河北唐山人,高级工程师,硕士,主要研究方向为软件测试、计算数学、软件工程;杨雨婷(1992-),女,辽宁阜新人,工程师,硕士,主要研究方向为模型驱动、软件工程(837247904@qq.com);付修锋(1985-),男,湖北襄樊人,高级工程师,硕士,主要研究方向为软件测试、软件工程;陈旭(1993-),男,河南商丘人,工程师,硕士研究生,主要研究方向为软件工程;杨波(1980-),男,四川遂宁人,研究员,硕士,主要研究方向为软件测试、软件工程.
