构件化软件系统安全性分析技术研究

复杂系统的软件安全性分析中存在众多的含糊表述和不确定性问题,主观评价和模糊集理论即为处理此类问题的有效方法。首先对复杂软件涉及到的安全性要素进行模糊数学化表述,按照构件化的思想,对单个构件/模块的安全度进行分析,进而利用Dempster-Shafer证据理论对整个软件系统进行安全度综合,实现对软件系统的安全性分析和评估,最终按照DO-178B标准给出软件的安全等级,并通过实例加以说明。     

基于构件失效建模的软件安全性分析

提出一种基于构件失效建模的软件安全性分析方法,对失效传播与转换标记(FPTN)进行扩展,描述各个构件的失效行为和模式。在架构设计层面综合考虑软件系统的构件连接和结构特性,使用模糊数学的相关方法,确定软件的安全等级。结合实例,对构件失效传播的概率进行计算,结果证明了该方法的有效性。     

复杂三维扭曲空心叶片充液压制工艺

针对一种航空发动机复杂三维扭曲空心叶片进行充液压制工艺研究。通过有限元分析软件对空心叶片充液压制过程进行数值模拟,探究管坯长度、密封推头结构和充液压力对GH4169高温合金薄壁管充液压制成形过程中的管坯贴模情况、壁厚及尺寸的影响,并进行试验验证。结果表明：管坯长度越短,管坯两端的材料越容易向中间流动,管坯易起皱。采用锥形密封推头有效改善了材料流动,可实现管坯简单、有效的密封。采用充液压制工艺可使管坯在较低的充液压力下成形出小半径圆角。当管坯长度为240 mm、充液压力为9 MPa时,管坯的贴模性较好,最小圆角半径为1.0 mm,最大壁厚减薄率为4.1%。试验结果和数值模拟结果一致,成形出的空心叶片表面质量良好,壁厚均匀、减薄小,满足尺寸精度要求,达到了复杂三维扭曲空心叶片短流程、低成本、高精密成形的目的。     

航空机载软件安全性测试技术研究

航空机载软件的安全性问题日趋严重,亟需对其进行严格的专门性测试,首先对当前的软件安全性测试研究现状予以总结,针对航空领域测试环境的特点提出了各种机载软件安全性指标;其次,在充分的安全性分析和传统的可靠性测试理论基础上,依照软件运行的关联风险值构建出机载软件的关键运行剖面,对机载软件安全性的关键运行进行严格的测试,并提出了机载软件安全性测试用例的生成算法;最后,利用统计理论探讨了测试用例数的改进和加速确定方法,用以提高软件的安全性测试效率.