论文部分内容阅读
通过分析、总结已有的危险分析技术，将系统理论过程分析（STPA）方法与其他方法相比较，总结、形成了软件安全性技术框架。其次，对比已有的分析方法，明确了一种适合软件密集系统的危险分析方法。最后使用STPA方法对飞机除冰系统进行了分析研究，证明了方法的可行性。
基于系统理论过程分析的软件安全性分析
【摘 要】
：
通过分析、总结已有的危险分析技术，将系统理论过程分析（STPA）方法与其他方法相比较，总结、形成了软件安全性技术框架。其次，对比已有的分析方法，明确了一种适合软件密集系统的危险
【机 构】
：
北京青云航空仪表有限公司,北京航空航天大学可靠性与环境工程技术重点实验室
【出 处】
：
计算机应用
【发表日期】
：
2013年A02期
其他文献
建立了液液萃取-离子色谱(IC)法测定茶苯海明中的二甲基乙醇胺。茶苯海明用氯仿溶解,经纯水萃取(25℃水浴振荡30 min),采用Ion Pac CS17型阳离子交换柱,以6 mmol/L甲基磺酸(M
经川菜发展研究中心学术委员会评审，四川省教育厅审核批准，2015年度四川省哲学社会科学重点研究基地——川菜发展研究中心立项项目共43项，其中科学应用与技术研发类11项，餐饮文化
期刊
目的:观察利咽泡茶方治疗痰热蕴结型慢喉痹的临床疗效。方法:83例痰热蕴结型慢喉痹患者采用利咽泡茶方治疗,每日一剂,7d为1疗程,治疗1~2个疗程。结果:83例患者中治愈64例,好
根据综采工作面刮板输送机不同工况下的运行参数,在分析刮板工作特性、驱动电机性能、变频器性能及刮板机输送参数的基础上,制定了以驱动机电流为主要参考、采煤量及采煤机位
李普曼在《公众舆论》一书中详细阐述了传统社会环境下的公众舆论样态,并从舆论主体、客体、实质三方面综合分析,得出＂传统公众舆论最终沦为虚空＂这一观点。随着公众舆论不断向
美国pharmacist网站上Deborah Brauser专家介绍6月22一篇发表在蛋白质组学研究杂志上的研究,该研究从分子机制上解释了长期使用丙戊酸钠治疗癫痫、双相情感障碍、脊髓性肌萎
为准确诊断和防治设施蔬菜病害提供有效工具，本研究系统收集了设施蔬菜作物（黄瓜、番茄和辣椒）43种病害的症状特征和相关病害防治管理知识，将病害的典型症状和一般症状进行特征提
慢性肾脏病是不可逆、进行性病变,其发生机制是一非常复杂的病理过程。肾脏纤维化是其直接原因,肾脏纤维化病变的直接原因是细胞外基质异常增生和细胞变性而失去原有功能。在
临朐县冶源水库位于沂山北麓，弥河干流的中上游，是弥河干流上唯一的一座控制性水利枢纽工程，于1958年5月动工兴建，1959年9月建成蓄水，总库容2．03亿m^3，控制流域面积786km^3，约占弥河
榆林市地貌以古长城为界,北部为风沙草滩区,占总面积的48%,南部为黄土丘陵沟壑区,占总面积的52%,平均海拔1000至1500米;气候属暖温带和温带半干旱大陆性季风气候,水资源总量4