基于UPPAAL的无人机系统安全性形式化建模验证方法

摘要

本发明提供基于UPPAAL的无人机系统安全性形式化建模验证方法，包含两步骤，分别是算法推理验证和仿真建模验证；算法推理验证，通过数学方法对待验证的无人机系统的性质进行逻辑推演，初步判断其是否存在安全性问题，为仿真建模验证提供理论依据；仿真建模验证，在算法推理验证的基础上，利用UPPAAL工具对待验证的系统进行建模与仿真，进一步模拟系统运行中的状态，并最终得出待验证的无人机系统安全性要求是否被满足的结论，同时，若无人机系统的安全性要求不被满足，输出造成安全性不被满足的具体状态，供研究人员做针对性调整。