35、构建可靠智能家居应用：Transactuations与Relacs运行时详解

构建可靠智能家居应用：Transactuations与Relacs运行时详解

1. 智能家居应用的关键问题

在智能家居应用中，若故障未得到妥善处理，会产生一系列严重后果。以下是部分智能家居应用可能出现的问题及相应的解决办法：
| 应用 | 类型 | 后果 | 依赖关系 | 纠正/缓解措施 |
| ---- | ---- | ---- | ---- | ---- |
| 智能加湿器 (ST) | 自动化 | 错误状态标志导致加湿器无法开启/关闭；通知不正确 | HW→SW
SR→ | 纠正状态标志，稍后重试开启/关闭加湿器；通知用户故障 |
| 恒温器自动关闭 (ST) | 能源 | 错误状态标志导致恒温器无法开启/关闭 | HW→SW | 纠正状态标志，稍后重试开启/关闭恒温器 |
| CO2通风 (ST) | 安全 | 错误状态标志导致排气扇无法开启/关闭 | HW→SW
SR→ | 纠正状态标志，稍后重试开启/关闭排气扇 |
| 老人护理 (ST) | 安全 | 缺少老人无活动通知 | HR→HW | 通知用户故障 |
| 智能护理 (ST) | 安全 | 警报未启动；缺少通知 | 交错错误
HW→SW | 通知用户故障 |
| 警报 (OH) | 安全 | 错误状态标志导致警报器无法关闭 | HR→SW
SR→HW | 纠正状态标志，稍后重试关闭警报器 |
| 火灾检测 (OH) | 安全 | 错误状态标志导致火灾警报不响 | HW→SW
SR→ | 纠正状态标志，稍后重试触发警报 |
| 宽容安全 (ST) | 安全 | 警报不响；通知不正