8.2 复杂机器人控制软件系统的功能安全验证实践