计算机应用研究2023，Vol.40Issue(12)：3728-3735,8.DOI:10.19734/j.issn.1001-3695.2023.04.0158
基于概率时间自动机的异构多agent自适应运行时验证
Runtime verification of heterogeneous multi-agent self-adaptive based on probabilistic timed automata
摘要
Abstract
The multi-agent self-adaptive system requires adaptive adjustments based on the dynamic environment during its runtime.Heterogeneous agents can enhance the efficiency of agent utilization and reduce system construction costs,but also present complex collaboration issues.Therefore,this paper proposed a runtime verification method for heterogeneous multi-agent self-adaptive systems based on probabilistic timed automata.The approach constructed a probabilistic timed automaton model by formally describing the functional characteristics of heterogeneous agents and integrating random factors in the envi-ronment to simulate the operation process of the self-adaptive system.Regarding the collaboration logic among heterogeneous agents,it established security constraints to ensure the security of state transition processes during system operation.It com-bined model checking with runtime quantitative verification methods to conduct experiment and applied it in the case of an in-telligent unmanned parking system.Experimental results show that the correctness of the cooperation logic between agents can effectively ensure the stability of the system at runtime,and compared with the initial system without runtime quantitative veri-fication,the uptime of the system is increased by about 21％at the same time.关键词
自适应系统/异构agent/概率时间自动机/agent协作/运行时定量验证Key words
self-adaptive system(SAS)/heterogeneous agent/probabilistic timed automata/agent cooperative/runtime quantitative verification分类
信息技术与安全科学引用本文复制引用
穆勇安,刘玮,高胜,叶幸瑜,王紫昊..基于概率时间自动机的异构多agent自适应运行时验证[J].计算机应用研究,2023,40(12):3728-3735,8.基金项目
国家自然科学基金资助项目(62072350,62102292) （62072350,62102292）
武汉工程大学第十四届研究生教育创新基金资助项目(CX2022339,CX2022322) （CX2022339,CX2022322）
