一种机载软件安全性需求获取方法

来源 :航空科学技术 | 被引量 : 0次 | 上传用户:gaofei23
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
通过对国内外软件安全性分析方法的研究,结合国内软件开发技术和管理方法,探索并提出了一种机载软件安全性需求获取方法。并以某环控防冰系统监测软件为例,给出了软件安全性需求获取方法的应用实例。
其他文献
密切的俄中关系可以为金砖国家树立紧密关系与合作的典范。早在2001年,前高盛经济学家吉姆·奥尼尔(Jim O'Nell)第一次提出“BRIC(金砖四国)”的概念,用于代指极具经济潜力的巴
9月21-24日,由北京师范大学数学科学学院和大连海事大学理学院共同主办的2018年调和分析(大连)会议在大连海事大学隆重举行.
对金刚石切削的发展过程进行了回顾,研究了金刚石切削的现状,提出了目前存在的问题,指出了目前研究工作者应努力目标,并对其发展前景进行了展望。
近年来,中国与南亚国家高层往来日趋密切,经贸合作取得长足发展。2016年,尼泊尔、斯里兰卡、阿富汗、印度的领导人先后访问中国,中国国家主席习近平访问孟加拉,并在印度出席金砖领
近些年来,随着教育事业在不断的发展,使得一些传统的教学观念和教学模式已经满足不了当前教学的需求,需要尽快转变教学的思想,创新教学的方式,这样才能够跟上时代发展的步伐,
消费物联网方兴未艾之际,工业互联网已经悄然崛起。后者巨大的发展潜力正在吸引大量的风险资金投入,微软、通用、小米、乐视等众多国内外巨头们正在为获得行业核心地位展开激烈竞争。  据通用电气(GE)估算,到2020年全球工业互联网年产值将达到2250亿美元,大大超越消费物联网1700亿美元的产值,而企业用云数据平台的年产值预计将膨胀到2060亿美元。随着越来越多的工业产品利润来源从硬件转移到软件,很多工
古巴通信产业几乎是空白,急需通信设备基础设施建设,“这对整个中国都是巨大商机。”
6月16日,为期4天的第十届中国大连国际游艇展在大连星海湾游艇码头启幕。本届展会以十年庆典为契机,举办“海尚嘉年华”系列活动,在日益兴起的游艇休闲旅游市场上不断突破。
基于倾转旋翼机飞行动力学方程与厚翼型机翼的空气动力学的相关理论,对倾转旋翼机过渡阶段复杂的旋翼流场进行了分析,论述了发动机短舱转角的变化和机翼失速拓展特性对副翼操
装配工艺规划是影响航空产品装配质量和成本的重要因素。本文以航空产品装配中存在零件、工装多、装配工序复杂、精度要求高等问题为背景,研究数字化装配工艺规划中的装配信息