原创力文档- 7
- 0
- 约1.95万字
- 约 20页
- 2023-05-05 发布于四川
- 举报
本发明提供基于UPPAAL的无人机系统安全性形式化建模验证方法，包含两步骤，分别是算法推理验证和仿真建模验证；算法推理验证，通过数学方法对待验证的无人机系统的性质进行逻辑推演，初步判断其是否存在安全性问题，为仿真建模验证提供理论依据；仿真建模验证，在算法推理验证的基础上，利用UPPAAL工具对待验证的系统进行建模与仿真，进一步模拟系统运行中的状态，并最终得出待验证的无人机系统安全性要求是否被满足的结论，同时，若无人机系统的安全性要求不被满足，输出造成安全性不被满足的具体状态，供研究人员做针对性调
(19)中华人民共和国国家知识产权局
(12)发明专利申请
(10)申请公布号 CN 114297917 A
(43)申请公布日 2022.04.08
(21)申请号 202111572432.6
(22)申请日 2021.12.21
(71)申请人 北航（四川）西部国际创新港科技有
文档评论（0）