基于Uppaal的通信协议消息传输的流水线技术的建模与分析

作者：王长青

来源：科技传播, 2010, (22): 205-206.

• Uppaal
• 通信协议
• 消息传输
• 流水线技术
• 建模与分析

本文模拟了一个简单的通信协议并且做了一个实验,就是采用了流水线技术去传输消息,以此研究减少通信时间的可能性。我们把这个通信协议通过UPPAAL[1]、[2]、[3]建成一个时间自动机的模型,然后模拟利用流水线技术进行消息传输。

• 单位
  同济大学