【摘 要】
：
由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关
【机 构】
：
北京航空航天大学可靠性与系统工程学院; 江苏科技大学经济管理学院;
【基金项目】
：
国家自然科学基金资助项目(70971056,71101065);总装重点预研课题资助项目(51319070101);航空科学基金资助项目(20095551025);机载软件工程化研究专题资助项目(DY09Z11926)
论文部分内容阅读
由软件引起的灾难性事故原因往往源于安全性需求,目前主观的人工评审方法并不能满足软件安全性需求严格的验证要求.因此,讨论了软件安全性需求的定义,遴选了国内外公认的相关标准和手册作为需求验证的知识基础,根据"七步法"建立了本体模型,利用本体模型中的概念和关联来形式化地描述规则以支持验证;同时基于以上研究内容设计和实现了软件安全性需求形式化建模和验证的工具原型,并对使用工具实施验证和使用人工评审实施验证进行了对比分析实验.实验结果表明形式化工具原型在验证时间和验证次数上都大大优于人工验证方法,同时工具原型具有良好的易用性.
其他文献
目的探讨原发性甲状旁腺功能亢进性骨病的X线及CT影像学特征。方法选取本院2001年1月~2014年12月经临床证实的10例原发性甲状旁腺功能亢进性骨病患者作为研究对象,分析其X线
针对目前校园火灾、火灾隐患及其火灾应急预案制定的现状,提出基于三维GIS的校园火灾应急救援决策支持系统,对校园火灾现场及周边环境进行三维场景虚拟仿真,对火灾进行准确评
针对目前英语教育教学现状,浙江师范大学外国语学院的部分教师通过探索与实践,提出了新的课程范式RICH,试图解决英语教学中的问题,最终实现"学生作为思想者的自然属性的成熟"
通过运用文献资料法总结近几年乒乓球运动科学训练的成果,从乒乓球运动的训练原则、技术战术、身体训练等角度来探讨乒乓球运动的科学训练。为儿童少年乒乓球运动员提供训练
介绍了精密注射成型的特点,阐述了精密注射模排气系统的各种设计方法 ,特别是分型面上排气槽的开设原则和设计工艺参数。还介绍了CAE技术在精密注射模具排气系统设计上的应用
对国产碱性蛋白酶降解鹰嘴豆分离蛋白的酶解过程及酶解产物的水解度和电泳结果进行了分析研究.结果表明,国产蛋白酶可有效降解鹰嘴豆分离蛋白为小分子蛋白肽;使用碱性蛋白酶
从义务教育后分流的意义出发,从政策层面阐述了国家对义务教育后分流的实施现状,同时指出存在的主要问题:分流主体的取向与分流对象的意愿不一致;初中阶段的学校教育缺乏对学
提高负荷预测技术水平,有利于计划用电管理,有利于合理安排电网运行方式和机组检修计划,有利于节煤、节油和降低发电成本,有利于制定合理的电源建设规划,有利于提高电力系统
成语作为语言单位在言语实践中有其特殊地位。本文拟从俄语教学的实际目的出发,分析大学俄语课堂成语教学的实用价值及教学方法。
为了解决传统微博用户影响力评价算法全面性和客观性差的问题,通过对微博用户影响力的定义和影响因素进行分析,鉴于微博社区网络与web页面网络的拓扑结构有着天然相似性的特