一个系统的对Upperal应用程序的审查
Iwona Grobelna1, Krystian Gajewski1, Andrei Karatkevich2
1Institute of Automatic Control, Electronics and Electrical Engineering, University of Zielona Góra, 65-516 Zielona Góra, Poland.
Sensors (Basel, Switzerland)
|September 19, 2025
概括
本系统性审查审查了Upperal工具.
科学领域:
- 计算机科学 计算机科学
- 软件工程 软件工程 软件工程
- 正式方法 正式方法
背景情况:
- Uppaal 工具是一个集成的环境,用于实时系统的建模,验证和验证.
- 它被广泛用于各种科学和工程领域,用于分析模拟为定时自动机网络的系统.
研究的目的:
- 系统地审查2022-2023年关于Upperal工具及其版本 (CORA,TIGA,SMC,Stratego) 的应用的文献.
- 为了确定当前的应用领域,分析研究趋势,并将Uppaal与其他正式验证工具进行比较.
- 为Upperal版本选择提供指导方针,并讨论未来的研究方向.
主要方法:
- 按照系统性审查和元分析 (PRISMA) 程序的首选报告项目进行了系统性文献审查.
- 包括2022年和2023年发表的188项研究.
- 基于访问,数据库,类型和地理位置的研究论文进行了定量分析.
主要成果:
- 审查确定了Uppaal工具在科学和工程领域的各种应用领域.
- 量化数据揭示了研究论文访问,数据库,类型和地理来源的分布.
- 该研究强调需要进一步开发Upperal工具,并探讨其不同版本的适用性.
结论:
- Uppaal 工具是实时系统验证的重要资源,具有广泛的应用.
- 需要进一步开发,以增强该工具的功能,并应对未解决的挑战.
- 提供了选择版本的实用指南,以及对未来研究的见解.
更多相关视频
06:05The Participant-Reported Implementation Update and Score PRIUS: A Novel Method for Capturing Implementation-Related Data Over Time
Published on: February 19, 2021
1.6K
06:45Author Spotlight: Integrated Photoacoustic, Ultrasound, and Angiographic Tomography (PAUSAT) for NonInvasive Whole-Brain Imaging of Ischemic Stroke
Published on: June 2, 2023
2.2K
