MHS 最佳实践
Day 3 安全边界与 Day 6 人机回环主题,配合 MHS 子站 安全边界配置器(LAB.03)动手验证。
实践指南定位
本文档汇总 Physical AI 落地中的安全、闭环、审计、人机协作与生产化准则。适用于 Driver 作者、编排器设计与实验室 IT/QA 评审。
安全边界:分层防御
- Description 声明:hard_limits / soft_limits / interlocks
- Driver 强制执行:write 前必 check,拒绝并 audit
- 编排器策略:soft limit 超限可降级或 human
- 硬件最后防线:快门、急停、机械限位
硬边界 vs 软边界
| 类型 | 行为 | 示例 |
|---|---|---|
| 硬边界 | 绝对拒绝 write | 激光 power_w > 5.0 W |
| 软边界 | 警告或需审批 | 建议 power_w ≤ 4.5 W |
| 操作模式 | 参数仅在 maintenance 可调 | 内部校准系数 |
离心机示例:转速 hard_limit 15000 RPM;不平衡量超阈值 hard abort;加速曲线 soft 建议。
闭环策略
默认 verify
除非 Description 显式 verify: none 且后果可逆,否则 write 后必须 read。MCP Bridge 默认 read_after_write。
容差设计
| 物理量 | 容差思路 |
|---|---|
| 温度 | ±0.5°C 或 ±1% |
| 功率 | ±2% 或设备 resolution×3 |
| 位置 | ±1 resolution 或 ±ε_um |
容差写入 Description tolerance 区块,编排器与 Bridge 共用。
修正与振荡
简单比例修正可能导致振荡。实践:
- 限制最大修正步长;
- 检测连续 3 次 overshoot 则 human;
- QuEra 案例:小步长 + 高频率 read。
置信度阈值
MIN_CONF = 0.9
if state.power_w.confidence < MIN_CONF:
if irreversible_next_step:
request_human("Low confidence on power read")
else:
retry_read(count=3)
多传感器融合可提高 confidence(见 Day 6 卡尔曼/粒子滤波)。低 confidence 禁止 irreversible write(如启动离心机)。
渐进式自治
| 阶段 | 特征 |
|---|---|
| L0 全监督 | 每 write 人工批准 |
| L1 人机回环 | 仅高风险点人工 |
| L2 例外上报 | 自主执行,异常暂停 |
| L3 全自主 | 仅 audit 回顾(极少场景) |
CMU 案例从 L1 起步;过度谨慎会导致「暂停一整夜」——需校准阈值,不是越保守越好。
人机回环(HITL)
触发条件建议:
- 置信度低于 θ 且后果不可逆
- 互锁冲突无法自动 resolve
- 未知 fault 类型首次出现
- soft limit 超限需 waiver
界面应展示:当前状态向量、拟议 write、风险说明、建议选项(approve/reject/modify)。
人类纠正应写回 audit 并可选进入经验库,供未来类似场景参考。
审计与合规
每次物 理操作记录:
- who(Agent/human id)
- when(UTC ts)
- what(device, cmd)
- before/after state snapshot
- verify result
- policy action
FDA GMP / ISO 17025 意图:记录不可篡改、可追溯、可导出。越界尝试单独标记,即使被拒绝。
生产部署要点
零信任
- 设备身份证书;
- write 指令签名;
- 最小权限:Agent 只能访问授权 device id 列表。
与 LIMS/MES 集成
- MHS 负责物理执行;
- LIMS 记录样品元数据;
- 通过事件总线同步:step_complete → LIMS update。
预测性维护
状态历史写入 TSDB;趋势检测 bearing wear、激光功率漂移。Maintenance Description 更新 calibration_date。
性能 SLO
定义 read/write P95、编排任务完成时间、人工干预率。Janelia 类场景重点监控 sync 等待时间占比。
故障与 safe state
| 故障 | safe state 示例 |
|---|---|
| 激光器 | power=0, shutter closed |
| 离心机 | 减速停止 |
| 加热器 | 关闭加热,保持通风 |
| 机械臂 | 抱闸,退回 home |
safe_state 必须幂等,可多次调用。
神经符号混合
符号层:互锁、hard limit、SOP 顺序——不可被 LLM 覆盖。神经层:任务拆解、异常解释、自然语言 HITL。世界模型层:预演风险(可选)。
Genentech 教训:LLM alone 难识气泡;增加 sample_quality 符号通道。
测试与发布
- Description PR 需 QA 签核;
- Driver 版本与固件版本矩阵测试;
- 金丝雀:新 Driver 先接模拟器再接单台设备。
反模式清单
- 在 prompt 里写安全规则而不写 Description
- MCP tool 无 verify 开环调用物理设备
- 忽略 timestamp 用过期 state 做决策
- 无 audit 的生产 write
- 多 Agent 无锁并发 write
检查表(上线前)
- 所有 capabilities 有 tolerance 或 verify 策略
- interlocks 有单元测试
- safe_state 演练通过
- audit 导出抽样通过 QA
- HITL 界面 UAT
- 灾难恢复:Driver 崩溃后设备状态安全
相关文档
互锁工程案例
激光 + 冷却 + 快门(Day 3 挑战):
interlocks:
- id: laser_enable
when: "power_w > 0"
requires:
cooling_lpm: { min: 2.0 }
shutter_open: { equals: false }
测试矩阵:8 种布尔组合,仅合法组合允许 write。
闭环编排 audit 示例
{
"event": "step_verify_failed",
"step_id": "capture_05",
"device": "camera-001",
"state": {"focus_score": 0.42},
"threshold": 0.8,
"action": "retry",
"attempt": 2
}
Janelia 失焦重试策略:最多 3 次,仍失败则 skip 该 tile 并标记 QA。
网络安全
实验室 OT 网络与 IT 隔离;MHS gateway 双网卡;禁止 Agent 直连公网设备。MQTT 使用 TLS + 客户端 cert。
数据保留
audit 保留期按合规(如 7 年);状态 TSDB 可降采样。PII 与样品 ID 脱敏导出。
培训与认证
MHS 子站 Day 7 认证:提交 Driver、Description、安全分析、编排设计。团队内部分级授权与 L0–L3 自治级别对应。
成本优化
减少无效 read:事件驱动 + 变化阈值(deadband)上报。Janelia 优化后 read 次数下降但闭环仍保证。
多站点复制
Description 与 Driver 版本 pin;站点间校准差异通过 metadata offset 声明,禁止 silent 假设。
与 SCADA 共存
SCADA 只读 MHS 状态总线;write 仅 MHS 编排器。避免双主控制。
伦理与责任
Physical AI 错误可损坏样品或伤人。明确人机责任边界;高风险设备默认 L0/L1。
演练:tabletop exercise
季度演练:通信全断、冷却失效、Agent 错误 write。验证 safe_state 与 HITL escalation。
度量 dashboard
- 任务成功率
- 平均 verify 次数/步
- 越界拒绝次数
- 人工干预率
- MTTR 故障恢复
描述符治理(Description Governance)
- 版本号 semver;breaking 变更需 migration guide
- PR 模板:安全影响、互锁变更、固件兼容范围
- 双人 review:工程师 + QA/安全官
- 发布与 Driver 版本 pin 在同一 manifest
运行模式 state machine
设备 modes:idle | run | maintenance | fault。write 权限随 mode 变化;Agent 必须先 read mode 再 write 敏感参数。维护模式下方可放宽 soft limit(仍受 hard limit 约束)。
样品与实验上下文
编排上下文携带 sample_id、experiment_id,audit 关联 LIMS。避免 Agent 混淆多 样品并行实验的参数。
冗余与 failover
关键传感器 dual read:primary 与 secondary 差值超阈值则 confidence 降级并 HITL。Driver 支持 source: secondary fallback。
能量与 EHS
激光、化学品、高温:Description 含 EHS 等级;编排器限制 unattended runtime;超时 auto safe_state。
国际化团队协作
Description 英文 machine-readable;人类文档可本地化。单位仍 SI,UI 本地化显示。
反例深度:MCP OK 但样品烧毁
根因:Bridge 未 verify + 无 hard limit + Agent 连续开环 capture。修复:三层防御全部启用并 replay audit。
反例:过度 HITL 导致通量崩溃
根因:confidence 阈值 0.99 且每步确认。修复:分级自治 L1,仅 irreversible 步骤 human。
模板:安全分析报告(SAR)
- 设备概述与危害分析
- hard/soft/interlock 清单
- safe_state 定义与测试记录
- FMEA 前 10 项
- 残余风险与 HITL 策略
Day 7 认证提交 SAR 摘要。
与 ISO 17025 对齐意图
测量 traceability:状态向量带 calibration_date;uncertainty 映射 confidence;设备维护记录链接 metadata。
容量规划
N 台设备 × read 频率 = 总线负载;Modbus 常低于 100 req/s;CAN 看 bus load%。扩容:gateway 分片、边缘聚合 read。
结语
最佳实践不是保守主义,而是在可验证前提下提高自治。QuEra 99.3% 来自闭环而非更长的 prompt。