【摘 要】
：
追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目
【机 构】
：
北京航空航天大学计算机学院,中航工业西安航空计算技术研究所
【基金项目】
：
某国家重点科研项目(MJ-S-2012-05)资助
论文部分内容阅读
追踪性即关联一些制品及其中各种相关要素的机制或能力。安全关键系统开发不仅包括一般系统的开发过程,更重要的是必需要有独立的安全性分析,建立并验证系统的安全性需求。目前针对安全性分析过程的追踪性研究较少。安全相关标准如ARP-4761和DO 178C等提供了安全性分析过程的指导意见,然而其由于涉及的概念和方法很多,因此在实际应用和研究中常会忽略对一些关键信息的追踪。此外,软件安全性需求分析不仅应考虑系统到软件的安全性分析,还应考虑软件到系统的安全性分析。面向软件安全性需求分析过程建立安全性相关信息的双向追踪,有助于了解安全性需求的前因后果,为验证工作和影响分析提供便利。参照标准,构建面向软件安全性需求分析过程的追踪模型。
其他文献
用钙黄绿素－ＯＨ＾－－Ｃａ＾２＋体系，以流动注射荧光分析技术探讨了利用钙黄绿素作为Ｃａ＾２＋荧光探针的可能性。详细研究了各因素对体系荧光强度的影响，在最佳的实验条件下，检测限为１＊１０＾－８ｇ／ｍＬＣａ＾２＋，Ｃａ＾２＋浓度在０－８＊１０＾－５ｇ／ｍＬ范围内呈良好的线
GPS技术以其精度高、速度快、布网灵活等特点已被广泛应用于测量的各个环节。随着PTK技术的日臻成熟。也越来越被测绘生产单位运用到碎部数据信息采集、施工放样等各个方面,
幼儿音乐教师对于幼儿基础教育有着不可忽视的影响,幼儿音乐教育对幼儿的身心发展具有一定的启蒙作用,为幼儿后期正确审美观的形成奠定了一定的基础。因此,各个学校应该提高
<正>有人的地方就有舞蹈,有舞蹈的地方就有艺术。舞蹈是人体的展现,人体是生命的张扬。舞蹈范畴,在国际标准舞中,音乐节奏是灵魂,舞伴之间达到一致只是早迟的问题。默契的配
中国的退溪学研究,起步于20世纪70年代,始于中国台湾学者,到80年代在中国北京召开退溪学国际学术大会后,大大推动了中国学者对李退溪思想的研究。三十多年来,中国学者不但拓
<正>布汝斯普霖净水科技工程有限公司是一家专注于高分子饮用水的企业。在创业初期,这家企业进行了详细的市场调研和产品设计,他们寻找的不仅仅是市场利基,更是将践行"生命的
报道了采用ＣＶＤ方法制备Ｍｏ２Ｃ膜的方法，在实验上证实了Ｍｏ２Ｃ膜的化学反应机制包括Ｍｏ（ＣＯ）６的分解和Ｍｏ的碳两个过程，根据自由能极小原理对薄膜各组分的含量与沉积温度的关系作了计算，计算值的变化趋势与测
行政强制是通过运用国家机器的强力来直接干预行政相对人的权利义务,属于典型的损益性行政行为,必须预设有效机制来控制其侵害风险。《行政强制法》将尊重和保障行政相对人权
<正>时间:2015年11月15日至11月19日地点:中国上海乌鲁木齐中路12号基于模型的药物开发方法正在被许多世界顶级制药企业广泛采用。基于生理的药物动力学(PBPK)模型现在已经是
物证的收集是物证发挥证明作用的前提。物证的合法性实质上就是物证收集的合法性,它与具体的诉讼制度有关,并经由社会的变迁而改变。对物证以及物证鉴定中不可或缺的物证比对