论文部分内容阅读
针对独立验证方法存在容易遗漏以及人工分析的易错和效率低下等问题,文章基于PHA和FHA结合的交叉验证方法,设计和开发了系统安全性分析和验证工具,支持可视化和图形化的功能结构建模、FHA分析和汇总、PHA建模、分析和汇总、独立验证、交叉验证、危险数据库等功能,并结合刹车系统利用该方法和工具开展安全性交叉验证工作,结果表明方法和工具可以发现独立验证遗漏的问题,可以提高系统安全性的建模和分析能力、工作效率和可复用性。