25、系统建模、验证与C/C++语言规范相关技术探讨

系统建模、验证与C/C++语言规范相关技术探讨

1. ACE层级功能分解

功能分解草图可作为分析基础，它包含以下几个项目：
- 执行器子功能；
- 门子功能；
- 控制与监测子功能：
- 控制与监测；
- 控制与显示接口。

在DHMCS的第1层，系统被分解为一个整体的DHMCS节点和一个接口节点。接口节点用于为详细模型实现合适的模拟用户界面。以下是第1层分解的相关情况：
| 节点类型 | 说明 |
| ---- | ---- |
| DHMCS节点 | 整体系统节点 |
| 接口节点 | 实现模拟用户界面 |

在第2层，DHMCS模块被分解为执行器和门组件。流标签（如1.7、2.7等）与数据字典条目相关。以“2”开头的流对应第2层，它进一步分解第1层。例如，“2.5”描述第2层的数据流，而“1.7”描述从第1层到第2层的数据流，详细说明了“执行器”的参数化。

在ACE生命周期的基础层（第4层），分解会具体映射到一个SCADE模型。SCADE模型的实现与AMBERS符号一一对应，如下图所示为DHMCS的门（带有锁、传感器和门组件）的映射情况。

graph LR
    classDef process fill:#E5F6FF,stroke:#73A6FF,stroke-width:2px;
    A(DHMCS.Door):::process --> B(LOCKS):::process
    A --> C(Sensors):::process
    A -->