[发明专利]一种基于形式化验证的人机交互风险场景识别方法有效
| 申请号： | 201811546824.3 | 申请日： | 2018-12-18 |
| 公开（公告）号： | CN109783870B | 公开（公告）日： | 2020-12-29 |
| 发明（设计）人： | 马烁;曾声奎;郭健彬;赵健宇;秦泰春 | 申请（专利权）人： | 北京航空航天大学 |
| 主分类号： | G06F30/20 | 分类号： | G06F30/20;G06F30/15 |
| 代理公司： | 北京慧泉知识产权代理有限公司 11232 | 代理人： | 王顺荣;唐爱华 |
| 地址： | 100191*** | 国省代码： | 北京;11 |
| 权利要求书： | 查看更多 | 说明书： | 查看更多 |
| 摘要： | 一种基于形式化验证的人机交互风险场景识别方法，步骤如下：一：对复杂人机交互推演过程进行建模，形成通用的人机交互形式化推演模型；二：建立考虑人误的任务形式化模型自动推演模板，考虑异常态的系统、人机界面和环境形式化模型自动推演模板；三：确定人机系统安全属性表达式，得到人机系统安全规约；四：借助模型检查工具完成风险场景路径的排查工作；五：采用定性比对方法对演化路径的可能性进行评价，识别发生可能性相对高的风险场景路径；通过以上步骤，本发明采用人机交互形式化方法，解决了人机系统异常态交互风险场景的完备性排查的问题，达到了自动完成风险场景路径完备枚举的效果，并通过定性比对方法实现了关键风险场景的识别。 | ||
| 搜索关键词： | 一种 基于 形式化 验证 人机交互 风险 场景 识别 方法 | ||
【主权项】：
1.一种基于形式化验证的人机交互风险场景识别方法，其特征在于：该方法包括如下步骤：步骤一：采用形式化方法对复杂人机交互推演过程进行建模，形成通用的人机交互形式化推演模型，包括考虑人误的任务形式化建模，考虑异常态的系统、人机界面、环境形式化建模和人机交互形式化推演建模；步骤二：将人机交互形式化推演模型映射为复数种场景下能执行的人机交互自动推演模板，建立考虑人误的任务形式化模型自动推演模板，考虑异常态的系统、人机界面和环境形式化模型自动推演模板；步骤三：描述人机系统安全属性，确定人机系统安全属性表达式，得到人机系统安全规约；步骤四：借助模型检查工具简单协议元语言解释器即SPIN完成风险场景路径的排查工作；步骤五：采用定性比对方法对演化路径的可能性进行评价，识别发生可能性相对高的风险场景路径。
下载完整专利技术内容需要扣除积分，VIP会员可以免费下载。
该专利技术资料仅供研究查看技术是否侵权等信息，商用须获得专利权人授权。该专利全部权利属于北京航空航天大学，未经北京航空航天大学许可，擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作，请联系【客服】
本文链接：http://www.vipzhuanli.com/patent/201811546824.3/，转载请声明来源钻瓜专利网。
