【摘 要】
：
为提高安全关键系统的防危性(safety),本文研究了安全关键软件防危性的分析方法.提出了一种基于归纳(SFMECA)与演绎(SFTA)法相结合的防危性分析方法.实际应用时,首先使用SFME
【机 构】
：
电子科技大学计算机科学与工程学院(成都)
【出 处】
：
第十二届全国抗恶劣环境计算机学术年会
论文部分内容阅读
为提高安全关键系统的防危性(safety),本文研究了安全关键软件防危性的分析方法.提出了一种基于归纳(SFMECA)与演绎(SFTA)法相结合的防危性分析方法.实际应用时,首先使用SFMECA进行自底向上的防危性分析,其主要作用在于发现新的失效模式.然后再使用SFTA进行自顶向下的防危性分析,标识出所有可能导致新失效模式发生的组合事件.在SFTA的实施过程中,本文也提出了故障树各分支的防危等级分配原则,有效地防止了分支数爆炸性增长,同时也标识出了系统的真正安全关键之所在.
其他文献
本文基于结构的有限元全物理模型,提出了一种具有双参数搜索的全模态颤振分析的实用方法.在有限元模型中采用MATRIX27单元模拟桥面主梁的自激力,将系统的气动运动控制方
中国桥梁界在20世纪最后20年通过自主建设取得了令世人惊叹的进步和成就,正在和世界发达国家一起面向21世纪更加宏伟的跨海工程建设.经过20世纪80年代"学习和追赶"和90年
本文提出了网络安全的重要性,通过物理隔离、防火墙、防病毒及数据备份等几种维护网络安全的技术手段来解决网络的安全问题.
碳纤维增强复合材料(CFRP)由于轻质高强,在大跨领域有着很好的应用前景.CFRP索材由于重量很轻,其风振行为需要给予更多关注.本文利用通用有限元软件ANSYS提供的流固耦合
本文介绍了信息战的基本概念、信息战的基本作战模式,分析了信息网络系统及安全的发展现状,并在未来全球信息战背景下,对信息网络系统及安全的发展提出了一些设想.
本文探讨嵌入式实时分布计算系统的系统安全性设计,包括外部访问安全、网络内部安全、容错网络设计、身份验证以及访问控制等.
本文简述了CRC校验原理,给出了CRC-16校验的两种实现方法:计算法和查表法,并给出使用查表法求得CRC-16校验码的方法.
本文分析了国内外后天加固液晶显示器所采用的主要技术,对比了各种热加固技术的优缺点,提出了解决液晶显示器低温工作的内置加热膜加热的热加固技术.
加固液晶显示器已越来越多地应用到武器装备系统中,根据研发、使用过程出现的问题,结合多年的研究实践体会,参考国外资料介绍,分析总结出液晶显示器加固设计中重点注意的问题
以龙潭河大桥为工程背景,通过节段模型试验和CFD计算方法确定了双肢薄壁高墩连续T构桥梁各部分梁、墩截面的气动力系数,为桥梁设计时抗风验算提供荷载资料.在此基础上,对