20、DYMO路由协议的建模与初步验证

DYMO路由协议的建模与初步验证

在移动自组织网络（MANET）中，DYMO（Dynamic MANET On-demand Routing）路由协议起着关键作用。它能够根据网络拓扑的动态变化，动态地发现和维护路由。下面我们将详细介绍DYMO路由协议的建模与初步验证过程。

1. 路由发现与建立过程

在MANET网络中，节点之间的路由发现和建立是一个重要的过程。以节点1和节点6之间的路由发现为例：
- RREQ广播 ：节点1发起路由请求（RREQ），该请求被多播出去。当节点3收到RREQ后，它会在自己的路由表中记录相关信息。
- RREP回传 ：节点6收到RREQ后，发现其中的目标地址是自己，它会在路由表中记录节点1可通过节点3到达，并单播一个路由回复（RREP）给节点3。节点3收到RREP后，在路由表中记录节点6在其直接范围内，并根据收到RREQ时创建的路由表条目将RREP单播给节点1。节点1收到RREP后，在路由表中记录节点6可通过节点3作为下一跳到达。
- RREQ处理 ：节点4和节点5也会多播RREQ，但节点2和节点6认为这些RREQ较差，因此会丢弃这些消息。

通过这个过程，在节点1和节点6之间使用节点3作为中间跳，发现并建立了一条双向路由。

2. 路由维护机制

由于MANET网络中节点的移动性，网络拓扑会随时间变化。因此，DYMO节点需要进行路由维护，每个节点会监控与其直接连接的节点的链路。当检测到链路中断时，DYMO协议会通过发送路由错误（RERR）消息来通知使用该中断路由的节点，告知