论文部分内容阅读
通过对国内外软件安全性分析方法的研究，结合国内软件开发技术和管理方法，探索并提出了一种机载软件安全性需求获取方法。并以某环控防冰系统监测软件为例，给出了软件安全性需求获取方法的应用实例。
一种机载软件安全性需求获取方法
【摘 要】
：
通过对国内外软件安全性分析方法的研究，结合国内软件开发技术和管理方法，探索并提出了一种机载软件安全性需求获取方法。并以某环控防冰系统监测软件为例，给出了软件安全性需求
【机 构】
：
中航工业第一飞机设计研究院
【出 处】
：
航空科学技术
【发表日期】
：
2014年9期
其他文献
对金刚石切削的发展过程进行了回顾，研究了金刚石切削的现状，提出了目前存在的问题，指出了目前研究工作者应努力目标，并对其发展前景进行了展望。
消费物联网方兴未艾之际，工业互联网已经悄然崛起。后者巨大的发展潜力正在吸引大量的风险资金投入，微软、通用、小米、乐视等众多国内外巨头们正在为获得行业核心地位展开激烈竞争。 据通用电气（GE）估算，到2020年全球工业互联网年产值将达到2250亿美元，大大超越消费物联网1700亿美元的产值，而企业用云数据平台的年产值预计将膨胀到2060亿美元。随着越来越多的工业产品利润来源从硬件转移到软件，很多工
基于倾转旋翼机飞行动力学方程与厚翼型机翼的空气动力学的相关理论,对倾转旋翼机过渡阶段复杂的旋翼流场进行了分析,论述了发动机短舱转角的变化和机翼失速拓展特性对副翼操
装配工艺规划是影响航空产品装配质量和成本的重要因素。本文以航空产品装配中存在零件、工装多、装配工序复杂、精度要求高等问题为背景，研究数字化装配工艺规划中的装配信息