-
公开(公告)号：CN116931590A
公开(公告)日：2023-10-24
申请号：CN202310917131.5
申请日：2023-07-25
Applicant: 南开大学
Abstract: 本发明属于无人机通信领域，具体涉及一种无人机任务规划模块配置错误检测方法、系统及存储介质。本发明从无人机飞行控制系统源代码中提取配置参数的语法约束和语义约束，判断用户当前的配置参数是否符合两种约束，从而检测错误。本发明首先使用静态分析的手段对系统源代码提取数据流图，然后使用范式提取语法约束。对于配置参数的语义约束，分为四个步骤进行：将配置参数映射到飞行控制系统中的函数；辨识无人机飞行控制系统中关键函数的物理语义；提取检查点生成代码；预测检查点和无人机的物理语义表现，用户确认是否符合预期。结合语法约束和语义约束两方面的检测，本发明可以准确、普适、高效、灵活地诊断任意任务场景下、无人机是否存在任务规划相关的配置错误。
Search Results
1
records
(took 0.016 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
