开发工具:
文件大小: 773kb
下载次数: 0
上传时间: 2021-01-27
详细说明：针对独立验证方法存在容易遗漏以及人工分析的易错和效率低下等问题，文章基于PHA和FHA结合的交叉验证方法，设计和开发了系统安全性分析和验证工具，支持可视化和图形化的功能结构建模、FHA分析和汇总、PHA建模、分析和汇总、独立验证、交叉验证、危险数据库等功能，并结合刹车系统利用该方法和工具开展安全性交叉验证工作，结果表明方法和工具可以发现独立验证遗漏的问题，可以提高系统安全性的建模和分析能力、工作效率和可复用性。
(系统自动生成,下载前可以参看下载内容)
下载文件列表
相关说明
- 本站资源为会员上传分享交流与学习,如有侵犯您的权益,请联系我们删除.
- 本站是交换下载平台，提供交流渠道，下载内容来自于网络，除下载问题外，其它问题请自行百度。
- 本站已设置防盗链，请勿用迅雷、QQ旋风等多线程下载软件下载资源，下载后用WinRAR最新版进行解压.
- 如果您发现内容无法下载，请稍后再次尝试；或者到消费记录里找到下载记录反馈给我们.
- 下载后发现下载的内容跟说明不相乎，请到消费记录里找到下载记录反馈给我们，经确认后退回积分.
- 如下载前有疑问，可以通过点击"提供者"的名字，查看对方的联系方式，联系对方咨询.
