基于STPA的CTCS-3级列控系统功能安全分析方法

文档作者: 刘金涛1 唐涛1 赵林1 刘磊2        文档来源: 1.北京交通大学 2.中国铁道科学研究院
更新时间: 2018年08月11日
下载地址: 点击这里
文件大小: 872.54 KB
下载点数: 1 点(VIP免费)
下载/点击: /
文件大小:872.54 KB
下载点数:1 点(VIP会员免费)

利用形式化方法对系统理论的过程分析(STPA)进行扩展,包括建立系统的UML扩展模型并将其转换为PHAVer模型;给出故障模型的形式化定义及结构,建立系统的故障模型;

网友评论 more
东方创想 |  网站简介 |  会员服务 |  广告服务 |  业务合作 | 提交需求 |  会员中心 | 在线投稿 | 版权声明 | 友情链接 | 联系我们 
©2007-2018  北京东方创想科技有限公司   
运营单位:北京创想安科科技有限公司
联系电话:   E-mail:safehoo@163.com 
京ICP备11001792号    京公网安备 11010502035057号