《表2 不同方法结果对比:形式化的安全分析方法在智能轨道交通的应用》
根据STPA方法论中提供的四种引导词,结合控制结构的控制行为。利用XSTAMP进行UCA的识别。UCA如表2所示。
图表编号 | XD00185807700 严禁用于非法目的 |
---|---|
绘制时间 | 2021.01.28 |
作者 | 刘莎晨、韩涛、朱天民、李思远 |
绘制单位 | 卡斯柯信号有限公司北京分公司、卡斯柯信号有限公司北京分公司、卡斯柯信号有限公司北京分公司、卡斯柯信号有限公司北京分公司 |
更多格式 | 高清、无水印(增值服务) |
根据STPA方法论中提供的四种引导词,结合控制结构的控制行为。利用XSTAMP进行UCA的识别。UCA如表2所示。
图表编号 | XD00185807700 严禁用于非法目的 |
---|---|
绘制时间 | 2021.01.28 |
作者 | 刘莎晨、韩涛、朱天民、李思远 |
绘制单位 | 卡斯柯信号有限公司北京分公司、卡斯柯信号有限公司北京分公司、卡斯柯信号有限公司北京分公司、卡斯柯信号有限公司北京分公司 |
更多格式 | 高清、无水印(增值服务) |