论文部分内容阅读
软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析。本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的过程以及最小割集的生成,并在此基础上提出了对该软件的改进建议。
软件故障树分析实例研究
【摘 要】
：
软件故障树分析(SFTA)是硬件或系统FTA的扩展,可应用于安全性关键软件的验证和可靠性分析。本文首先阐述了SFTA的原理和应用过程,然后介绍了结合某嵌入式软件进行实际应用的
【机 构】
：
中国航天科技集团公司软件评测中心;
【出 处】
：
航天控制
【发表日期】
：
2014年06期
【基金项目】
：
国防科技工业局民用航天科研预先研究项目资助课题(B2120080307)
其他文献
目的 探讨miR-29a和miR-10a-5p对评估脓毒症伴有急性肾损伤(AKI)患者28 d死亡率的预测价值。方法 收集我院124例急性肾损伤患者(AKI)血清样本,分为观察组(74例脓毒症所致AKI)
随着STEP及STEP-NC标准的逐步完善，数控技术得到迅速发展，成为当今国内外研究热点之一，欧美发达工业国已在此领域投入大量资源并取得一定的成果，我国起步较晚，虽然从上世纪70年代
钛及其合金因具有与骨相似的弹性模量、良好的生物相容性及在生物环境下优良的耐蚀性能在临床上得到越来越广泛的应用。但临床上用的材料仍存在弹性模量高,当中含有毒元素(Al
高强高导(HSHC)铜合金以其独特的物理与力学性能而在电工电子、机械制造、交通运输等行业得到广泛应用,随着这些行业的快速发展,对此类材料的性能提出了越来越高的要求,如何
目的：探究疼痛护理对围术期骨折患者焦虑抑郁与睡眠质量的影响。方法：选取2017年1月至2018年1月山东省费县人民医院收治的骨折患者81例,按照随机数表法随机分为观察组（n=40）和对
通过对严复"信达雅"说与泰特勒翻译三原则的内容释义及比较分析,从两者的思维方式差异来论述,以此证明两者分属中西方传统翻译理论的宝贵遗产。通过比较,可以看出严复与泰特
<正>无论是在影像中还是文字中,道路永远都是充满隐喻和象征的一个元素。在荧幕上,专门有一种电影类型就是公路电影。一条充满黄沙、尘土和岩石的道路,或者一个空旷的、世界
<正> 十九世纪俄国革命民主主义者车尔尼雪夫斯基曾说:“悲剧是人底伟大的痛苦或伟大人物的灭亡。”我国历史上第一个伟大的诗人屈原在汨罗江投水而死,他的一生是一个悲剧。
我国《行政诉讼法》将行政终局裁决排除在司法审查之外,然而随着中国经济的发展,在加入WTO的新环境下,行政终局裁决的合理性值得怀疑。本文笔者通过分析行政终局裁决的不合理
综合保税区是我国在学习国外自由贸易区成功经验的基础上,发展保税制度的场所,目的是促进区域经济发展。由于我国综合保税区中央层面缺乏统一监管主体和有效的区域监管模式,