基于UPPAAL的无人机系统安全性形式化建模验证方法
公开
摘要
本发明提供基于UPPAAL的无人机系统安全性形式化建模验证方法，包含两步骤，分别是算法推理验证和仿真建模验证；算法推理验证，通过数学方法对待验证的无人机系统的性质进行逻辑推演，初步判断其是否存在安全性问题，为仿真建模验证提供理论依据；仿真建模验证，在算法推理验证的基础上，利用UPPAAL工具对待验证的系统进行建模与仿真，进一步模拟系统运行中的状态，并最终得出待验证的无人机系统安全性要求是否被满足的结论，同时，若无人机系统的安全性要求不被满足，输出造成安全性不被满足的具体状态，供研究人员做针对性调整。
基本信息
专利标题 ：
基于UPPAAL的无人机系统安全性形式化建模验证方法
专利标题（英）：
暂无
公开（公告）号 ：
CN114297917A
申请号 ：
CN202111572432.6
公开（公告）日 ：
2022-04-08
申请日 ：
2021-12-21
授权号 ：
暂无
授权日 ：
暂无
发明人 ：
周强刘广才
申请人 ：
北航（四川）西部国际创新港科技有限公司
申请人地址 ：
四川省成都市天府新区科学城湖畔路北段1199号
代理机构 ：
成都方圆聿联专利代理事务所(普通合伙)
代理人 ：
邓永红
优先权 ：
CN202111572432.6
主分类号 ：
G06F30/27
IPC分类号 ：
G06F30/27 G06F30/15 G06N5/04
IPC结构图谱
G
G部——物理
G06
计算；推算或计数
G06F
电数字数据处理
G06F30/27
使用机器学习，例如人工智能，神经网络，支持向量机或训练模型
法律状态
2022-04-08 ：
公开
注：本法律状态信息仅供参考，即时准确的法律状态信息须到国家知识产权局办理专利登记簿副本。
文件下载
暂无PDF文件可下载
