《表2 CAL＿EOA中的安全子需求列表》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《区域控制器的安全需求建模与自动验证》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

在需求R方面，IEEE标准1474.3的第6.3节中提到移动保护的限制和目标点确认（limit of movement protection and target point determination）[20].根据该节内容及相关文档（如IEEE标准1474.1[8]的第6.1.2节），可以得到一条SIL-4安全级别（即最高安全级别）的功能需求RCAL＿EOA:CAL＿EOA需要为注册在当前区域控制器下的列车计算移动授权终点，并将其发送给相应列车.根据移动授权不同的情况，可以分为8个子需求，见表2.