12、通过功能安全分析识别安全需求

通过功能安全分析识别安全需求

1 功能组件模型与系统实例

1.1 功能组件模型

功能组件模型包含路边单元（RSU）和车辆两种组件，其功能流分为外部功能流和内部功能流。外部功能流表示系统间的数据传输，内部功能流表示单个系统内的通信。
- 路边单元（RSU） ：执行 send(cam(pos)) 操作，发送包含位置信息的合作感知消息（CAM）。
- 车辆（Vehicle） ：执行一系列操作，如 sense(ESPi, sW) 感知车轮打滑， pos(GPSi, pos) 获取车辆当前位置， rec(CUi, cam(pos)) 接收消息， send(CUi, cam(pos)) 发送消息， show(HMIi, warn) 向驾驶员显示警告信息， fwd(CUi, cam(pos)) 转发消息。

1.2 系统实例

基于功能组件模型，可以构建由多个功能组件实例组成的系统实例。构建系统实例时，需考虑所有结构不同的组件实例组合，忽略同构组合，并确定系统的边界动作，这些边界动作是定义安全需求的基础。

例如，存在一种系统实例，车辆 Vw 从 RSU 接收合作感知消息，其流程如下：

graph LR
    classDef process fill:#E5F6FF