Self-Adaptive System Implementation Framework Considering Execution Time Uncertainty

In order for a system to provide services in any environment, it is expected to establish a technique for constructing a self-adaptive system that can adapt to its environment by changing its own behavior. Real-world systems often have time constraints. While time constraints are involved in safety and usability concerns, the execution time of a system is uncertain due to uncertainties in the external environment, and this uncertainty should be considered when verifying the system. In this paper, we propose a self-adaptive system implementation framework that can handle time constraints and has a dynamic verification function that considers execution time uncertainty. The framework uses UPPAAL-SMC, a statistical model checking tool that can handle time, to represent execution time uncertainty and perform dynamic verification. We evaluate the usefulness of the proposed framework by implementing a simple self-adaptive system using the framework and verifying the system behavior.