基于B/S架构的实时系统建模验证工具

实时系统的建模与验证是实时系统开发过程中不可或缺的环节。由于目前业界中广泛使用的建模验证工具UPPAAL存在下载安装慢、拖拽控件不灵活且不支持多用户进行项目团队管理等弊端与局限性，在考虑UPPAAL缺点的同时结合实际应用需要，设计并实现基于B/S架构的实时系统的建模和验证工具。该工具通过浏览器即可访问，提供良好建模操作体验的同时支持多用户进行项目团队管理。使用该工具编辑运行具体实例，验证了实例系统的可达性、安全性等性质，获得了预期的正确结果，完成了该工具的功能测试。