典型文献
基于B/S架构的实时系统建模验证工具
文献摘要：
实时系统的建模与验证是实时系统开发过程中不可或缺的环节.由于目前业界中广泛使用的建模验证工具UPPAAL存在下载安装慢、拖拽控件不灵活且不支持多用户进行项目团队管理等弊端与局限性,在考虑UPPAAL缺点的同时结合实际应用需要,设计并实现基于B/S架构的实时系统的建模和验证工具.该工具通过浏览器即可访问,提供良好建模操作体验的同时支持多用户进行项目团队管理.使用该工具编辑运行具体实例,验证了实例系统的可达性、安全性等性质,获得了预期的正确结果,完成了该工具的功能测试.
文献关键词：
实时系统;时间自动机;形式化验证
中图分类号：
作者姓名：
石安;张卓若;代立云
作者机构：
西南大学 重庆 400715
文献出处：
引用格式：
[1]石安;张卓若;代立云-.基于B/S架构的实时系统建模验证工具)[J].计算机应用与软件,2022(10):11-17,34
A类：
B类：
实时系统,系统建模,验证工具,系统开发,开发过程,UPPAAL,下载安装,拖拽,控件,不灵,不支,多用户,项目团队,团队管理,浏览器,操作体验,可达性,功能测试,时间自动机,形式化验证
AB值：
0.420602
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
