A Systematic Review on the Applications of Uppaal

Area of Science:

• Computer Science
• Software Engineering
• Formal Methods

Background:

• The Uppaal tool is an integrated environment for modeling, validation, and verification of real-time systems.
• It is widely used in various scientific and engineering domains for analyzing systems modeled as networks of timed automata.

Purpose of the Study:

• To systematically review the literature from 2022-2023 on the applications of the Uppaal tool and its versions (CORA, TIGA, SMC, Stratego).
• To identify current application areas, analyze research trends, and compare Uppaal with other formal validation tools.
• To provide guidelines for Uppaal version selection and discuss future research directions.

Main Methods:

• A systematic literature review was conducted following the Preferred Reporting Items for Systematic Reviews and Meta-Analyses (PRISMA) procedure.
• 188 studies published in 2022 and 2023 were included.
• Quantitative analysis of research papers based on access, databases, types, and geography was performed.

Main Results:

• The review identified diverse application areas for the Uppaal tool across science and engineering.
• Quantitative data revealed distributions in research paper access, databases, types, and geographical origins.
• The study highlights the need for further development of the Uppaal tool and explores the applicability of its different versions.

Conclusions:

• The Uppaal tool is a significant resource for real-time systems verification, with a broad range of applications.
• Further development is needed to enhance the tool's capabilities and address open challenges.
• Practical guidelines for version selection and insights into future research are provided.