[发明专利]一种基于时序监控的无人飞行器安全防护方法在审
| 申请号： | 201810210089.2 | 申请日： | 2018-03-14 |
| 公开（公告）号： | CN108536916A | 公开（公告）日： | 2018-09-14 |
| 发明（设计）人： | 董威;杨栋;史浩;尹良泽;周戈;胡弛;陈振邦;陈立前;王戟 | 申请（专利权）人： | 中国人民解放军国防科技大学 |
| 主分类号： | G06F17/50 | 分类号： | G06F17/50 |
| 代理公司： | 湖南兆弘专利事务所(普通合伙) 43008 | 代理人： | 周长清 |
| 地址： | 410073 *** | 国省代码： | 湖南;43 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 本发明公开了一种基于时序监控的无人飞行器安全防护方法，其步骤为：S1、定义DT‑MTL；定义对安全威胁相关性质进行描述的时序逻辑DT‑MTL，用以体现威胁检测所需的时序、实时、参数化特征；S2、设计UAS‑DL，用以将时序逻辑公式与系统事件、状态进行映射的监控规约语言UAS‑DL；S3、生成监控代码，用来根据监控规约生成相应的安全威胁监控器，基于交错自动机将DT‑MTL性质转换为自动机形式的监控器，然后生成相应的监控代码；S4、提取日志并输入监控器；S5、进行贝叶斯诊断。本发明具有原理简单、易实现和推广、监控器实时性好、可靠性好等优点。 | ||
| 搜索关键词： | 监控器 时序 监控 无人飞行器 安全防护 安全威胁 监控代码 自动机 时序逻辑公式 规约 参数化特征 规约生成 时序逻辑 实时性好 威胁检测 系统事件 性质转换 贝叶斯 日志 映射 交错 诊断 语言 | ||
【主权项】：
1.一种基于时序监控的无人飞行器安全防护方法，其特征在于，步骤为：S1、定义DT‑MTL；定义对安全威胁相关性质进行描述的时序逻辑DT‑MTL，用以体现威胁检测所需的时序、实时、参数化特征；S2、设计UAS‑DL，用以将时序逻辑公式与系统事件、状态进行映射的监控规约语言UAS‑DL；S3、生成监控代码，用来根据监控规约生成相应的安全威胁监控器，基于交错自动机将DT‑MTL性质转换为自动机形式的监控器，然后生成相应的监控代码；S4、提取日志并输入监控器；S5、进行贝叶斯诊断。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于中国人民解放军国防科技大学，未经中国人民解放军国防科技大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201810210089.2/，转载请声明来源钻瓜专利网。
