【摘 要】
：
在基于模型驱动的嵌入式软件开发中，为了避免安全问题可能产生的损失，需要对系统的安全性进行分析，找出可能发生错误的地方。在基于AADL系统模型的安全性分析上，利用AADL错误模型
【基金项目】
：
中央高校基本科研业务费专项资金(GK2010002011);教育部科学教育重点项目(107106)
论文部分内容阅读
在基于模型驱动的嵌入式软件开发中，为了避免安全问题可能产生的损失，需要对系统的安全性进行分析，找出可能发生错误的地方。在基于AADL系统模型的安全性分析上，利用AADL错误模型附件为系统故障和传播进行建模，通过追踪对象的可能故障源来提取系统的实例错误模型，然后将错误模型实例存储在有向图里，并根据有向图建立系统错误模型的故障树。通过故障树分析工具就可以高效地分析系统的安全问题。
其他文献
EVG770GenⅡ纳米压印晶圆步进机EVG公司推出EVG770GenⅡ步进机,一种新型旗舰解决方案-纳米压印光刻机(NIL)。实现一种独特的分步重复压印方法,EVG770GenⅡ解决了大面积光学用
中学世界历史教科书的编写,除了要注意不断吸收国内史学界的学术成果外,也要注意不断吸取国外史学研究中的有益成果。二次大战结束以后的半个世纪里,国外历史学的研究取得了
目的MY01E基因突变可导致常染色体隐性遗传型激素耐药型肾病综合征（SRNS），该研究旨在分析中国汉族家族性SRNS家系MY01E基因突变及其特点。方法2005～2010年期间共收集到4个中国汉
【正】 角钢安全多用脚手架系列既适合低层,更适合高层建筑施工、装修用。通过建筑专家的大力协助和配合,吸收国内一些爬架的应用效果与经验,对其进一步改进和完善,使之与本
阐述了汽车发电机转子动平衡专机的总体设计。对设计中的主要关键原理(去重重径积计算、爪极去重的线性规划理论、动平衡解耦原理)进行了详细的讨论，其研究结论可供动平衡专机
目的评价盐酸克林霉素治疗慢性盆腔炎的疗效。方法 70例慢性盆腔炎患者分为观察组和对照组。对照组使用庆大霉素、甲硝唑治疗;观察组在对照组治疗方式的基础上,加用盐酸克林
[目的／意义]作者耦合分析是绘制科学知识图谱和了解学科结构一种重要方法，主要使用了作者间共同引用相同参考文献的篇数来进行定义。传统作者耦合分析算法较为多样，包括简单计算
目的探讨低剂量罗哌卡因复合不同剂量舒芬太尼硬膜外给药在分娩镇痛中的应用效果。方法选择2017年1月—2018年6月于本院待产的产妇60例,采用随机数字表法将产妇分为I组(n=30)
[目的]建立了一种用高效液相色谱测定联苯肼酯的定量分析方法。[方法]采用CN HPLC液谱柱,以甲醇-乙腈-水(体积比20∶28∶52)为流动相,流量为1.0 mL/min,柱温为25℃,选择230 n
<正>自从党的十八届四中全会正式提出"完善刑事诉讼中认罪认罚从宽制度"以来,在不断加强研究和积极探索基础上,2016年9月,全国人大常委会决定在北京等18个城市开展刑事案件认