3、道路交通信号控制建模与用户需求文档技术分析

道路交通信号控制建模与用户需求文档技术分析

1. 道路交通信号控制建模

在道路交通信号控制建模中，运用UML和MARTE 轮廓（Profile）能带来独特的视角。以行人与交通信号的交互为例，存在行人等待信号和行人正在通过信号这两种状态，而这两种状态间的转换代表着行人按下按钮后的响应。

在状态机图中应用MARTE轮廓时，有新的构造型（Stereotype）成为关注焦点：
- 状态由 < > 构造型表示，它标识系统执行中的一个操作段。
- 状态间的转换由 modeTransition 构造型表示，用于描述系统在模式切换下的情况。
- 状态机由 < > 和 < > 两种构造型表示。< > 指定一组互斥模式，即给定时刻只有一个模式可以处于活动状态；< > 表示具有已知开始和结束时间或已知持续时间的活动。

时间图常用于探索一个或多个对象在给定时间段内的行为，在设计实时系统时经常被使用。运用MARTE扩展的交通信号UML时间图显示，当两个交通信号都处于红灯状态时，行人有权通过。

为了更全面地了解不同建模语言在实时系统设计中的潜力，下面是UML、SPT和MARTE的对比表格：
| 标准 | UML | SPT | MARTE |
| — | — | — | — |
| 时间建模 | | | |
| 进程建模 | | | |
| 资源建模 | | | |
| 资源分配建模 | | | |
| 硬件建模 | | | |
| 性能建模 | | | |
| 可调度性建模 | | | |
| 运行