文档作者:
刘金涛1 唐涛1 赵林1 刘磊2
文档来源:
1.北京交通大学 2.中国铁道科学研究院 |
点 击 数:
|
更新时间: 2018年08月11日 |
|
下载地址: 点击这里 |
文件大小: 872.54 KB |
文档格式:
|
下载点数: 1 点(VIP免费) |
文件大小:872.54 KB 文件格式: 下载点数:1 点(VIP会员免费) |
|
利用形式化方法对系统理论的过程分析(STPA)进行扩展,包括建立系统的UML扩展模型并将其转换为PHAVer模型;给出故障模型的形式化定义及结构,建立系统的故障模型; |