【摘 要】
：
针对独立验证方法存在容易遗漏以及人工分析的易错和效率低下等问题,文章基于PHA和FHA结合的交叉验证方法,设计和开发了系统安全性分析和验证工具,支持可视化和图形化的功能
【机 构】
：
江苏科技大学电子信息学院,金舟软件有限责任公司,江苏科技大学经济管理学院,中国航空综合技术研究所
论文部分内容阅读
针对独立验证方法存在容易遗漏以及人工分析的易错和效率低下等问题,文章基于PHA和FHA结合的交叉验证方法,设计和开发了系统安全性分析和验证工具,支持可视化和图形化的功能结构建模、FHA分析和汇总、PHA建模、分析和汇总、独立验证、交叉验证、危险数据库等功能,并结合刹车系统利用该方法和工具开展安全性交叉验证工作,结果表明方法和工具可以发现独立验证遗漏的问题,可以提高系统安全性的建模和分析能力、工作效率和可复用性。
其他文献
探究题是初中化学的教学难点,也是学生综合能 力的主要“展示平台”。本文借助于例题来分析试题的命题特 点,从而找出其中的解题思路以及相应的思维模型,并由此提 出有针对性
我国早在 1983 年,林崇德在《中学生心理学》一书 中首先提出心理卫生与心理健康的设想。在当今社会,越来越 多的家长和老师也非常重视孩子们全方面健康发展。在现在 的学校
本文通过对高中数学学困生建模能力的研究现 状、概念、提高策略的简述,简要说明了提高高中数学学困生建 模能力的策略在高中数学教学中的实施。
小学阶段又被称为启蒙阶段,因为学生的思维尚处于发展阶段,所经历的事情不够多,无法快速理解知识,掌握知识。语文是一门培养语言理解能力的科目,即便语文带给学生许多亲切感,
互联网技术的不断发展,为人们的生活与学习带 来了便利,但同样带来了一些负面影响,尤其是对于初中德育 教育有着较大的冲击。因此,需要广大教师对此进行深入研 究,并积极探索
EVA（经济增加值）与BSC（平衡计分卡）是经典的绩效评价工具，它们在进行缋效评价时都有自己的优越性和不可避免的缺陷。本文试图将EVA和BSC有机的结合起来，以EVA为价值导向，以BSC为载体
一、我国未成年犯社区矫正的萌芽和发展在我国漫长的古代社会，人们基本上是没有未成年人的观念的，更不会有现代意义上的关于未成年人犯罪的系统规定；直到汉代才出现了“恤幼”思
“错误”也是一种美丽,它是学生们思维的火花,是课堂生成的载体,我们要善待学生的错误,利用学生的“错误”资源,发挥错误的价值,将使科学教学因“错误”而精彩。如何让“错误
针对移动互联网技术的发展、电网运营水平的不断提升,用户对电力系统配网可靠性的要求也不断提高,传统电力系统配电网调度系统电话下令方式存在的语言沟通易有歧义、易遗忘、
时刻关注中考命题的发展方向,是初中教师的重 要职责,尤其在新课程标准下的教育教学改革不断推进与发展 的过程中,中考命题的趋向已经成为教师教学参考的重要内 容,在教学方