43、软件工具扩展与VoIP服务监控技术解析

软件工具扩展与VoIP服务监控技术解析

1. TwoTowers工具扩展介绍

TwoTowers是用于对以随机定时进程代数EMPA建模的并发和分布式系统进行功能和性能分析的软件工具。它与其他基于随机定时进程代数的工具目的相似，但底层理念有所不同。TwoTowers利用CWB - NC进行系统功能行为的多种分析，如模型检查、等价性检查、预序检查等；利用MarCA进行稳态和瞬态性能分析。这样做既减轻了开发负担，又为用户提供了广泛的自动化技术。

然而，旧版本的TwoTowers无法处理数据起关键作用的系统，这类系统在建模过程中不能忽略数据。因此，研究人员致力于在TwoTowers中实现基于改进符号模型的对数据驱动计算的支持。

2. 在TwoTowers中实现值传递

TwoTowers由20000行代码组成，分为图形用户界面、工具驱动程序、集成内核、功能内核和性能内核。处理数据驱动计算系统的修改主要涉及工具驱动程序和集成内核。