【摘 要】
：
糟糕的软件需求是导致安全性关键系统发生灾难性事故的最主要原因。为解决需求开发问题,建构了一个系统建模与系统分析相结合、基于系统思维的软件安全性需求开发框架。针对
【基金项目】
：
国家自然科学基金(61172083);总装备部国防预研基金(9140A17020307JB3201)资助
论文部分内容阅读
糟糕的软件需求是导致安全性关键系统发生灾难性事故的最主要原因。为解决需求开发问题,建构了一个系统建模与系统分析相结合、基于系统思维的软件安全性需求开发框架。针对系统模型的特定等级特定领域,提出了集成安全性分析的需求开发方法。该方法既能最大限度地约束安全性需求缺陷,防止其向同一分析等级内的其它领域或下一分析等级传播,并尽早重新生成安全性需求,又能够不断生成证据,支持安全性论据的构建。
其他文献
目的 分析慢性粒细胞性白血病骨髓象表现,加深对该病的了解和骨髓象特点的认识.方法 观察32例慢性白血病骨髓象,对患者的骨髓增生度进行分析.结果 32例慢性粒细胞白血病患者
从目前通信企业发展的现状中可以看出,电信运营商在整个通信市场中占据着重要的位置。现如今,通信企业在发展中逐渐朝着信息化的方向进行。为了顺应这种发展形式,电信运营商
采用添加有机功能添加剂的方法,对HTPB型聚氮酯(PU)阻尼材料进行了改性研究,合成了新型聚氨酯阻尼材科.结果表明,加入有机功能添加剂后,材料损耗因子tanδ在整个测试温度范围
现阶段我国污泥产生量逐年增加,污泥处置成为一个严峻的问题,对于传统污泥处置方式,由于存在环境安全及二次开发污染的问题,污泥的材料应用成为了一个有效处理污泥的途径。本
应用荧光光谱法研究了水溶液中除草剂莠去津与过氧化氢酶分子间的相互作用 .结果表明 ,除草剂对过氧化氢酶的荧光有较强的猝灭作用 ,且静态猝灭是引起 CAT荧光猝灭的主要原因
目的研究分析护理干预阴式子宫肌瘤剔除术患者围手术期的满意度及术后恢复效果。方法选取2008年5月~2012年4月期间,经我院诊断并治疗的阴式子宫肌瘤剔除术患者78例作为研究对
智能变电站是在传统变电站的基础上发展起来的,智能变电站继承优点摒弃了传统变电站的缺陷。和传统的变电站相比,智能变电站具有智能管理的特点。智能变电站与信息化相结合,
目的探讨金水宝对支气管哮喘大鼠气道重塑、气道炎症及氧化应激水平的影响。方法以卵蛋白为过敏原致敏和激发,建立大鼠慢性哮喘气道重塑的模型。将40只实验大鼠随机分为5组:
采用多点约束方法模拟数控机床主轴部件中的轴承弹性支撑,建立主轴部件的有限元模型,正确反映主轴部件的装配关系。在有限元模型的基础上,根据实验得到的模态参数,选用振型叠
局部线性嵌入算法(LLE)是一种可以有效处理高维流形的非线性降维方法。提出一种基于全局保持的局部线性嵌入方法(GPLLE),其在保持高维流形局部近邻关系的同时,可以保证距离远