architecture - LED 和 CAN 总线数据记录传感器的 UML 2 状态图设计

Question

我对设计两个软件组件的行为有以下要求，一个用于将数据写入 SD 卡，另一个用于根据 SD 卡的模式控制 LED：

数据记录传感器可以将数据写入插入读卡器插槽的 FAT16 格式的 SD 卡。当电路板启动并检测到有效卡时，会创建一个新文件，并将 CAN 总线上所有消息的数据写入该文件。没有专门关闭日志文件的机制。只需卸下卡或关闭电路板即可。板上有一个引导加载程序，用于检查 SD 卡是否有效，并相应地向数据记录传感器发送信号。

我想出了以下状态图：

为了控制 LED，有两个 LED。我有以下要求： LED“LOGGER ON” 当此 LED 亮起时，表示 SD 卡存在，已检测到并且可以打开文件进行写入。 LED “LOGGER WRI” 每次将 512 字节扇区转储到 SD 卡时，此 LED 闪烁一次。初始化 SD 卡后，Write LED 会亮起。如果它保持亮起并且“LOGGER ON”LED 保持熄灭，则无法初始化文件系统。这很可能意味着 SD 卡的格式错误，但由于某些原因，即使格式正确，某些卡上的文件系统初始化总是会失败。我想出了以下状态图：

我的模型正确吗？

标签： architectureembeddedumlsoftware-designstate-machine