一种基于形式化验证的人机交互风险场景识别方法

摘要

一种基于形式化验证的人机交互风险场景识别方法，步骤如下：一：对复杂人机交互推演过程进行建模，形成通用的人机交互形式化推演模型；二：建立考虑人误的任务形式化模型自动推演模板，考虑异常态的系统、人机界面和环境形式化模型自动推演模板；三：确定人机系统安全属性表达式，得到人机系统安全规约；四：借助模型检查工具完成风险场景路径的排查工作；五：采用定性比对方法对演化路径的可能性进行评价，识别发生可能性相对高的风险场景路径；通过以上步骤，本发明采用人机交互形式化方法，解决了人机系统异常态交互风险场景的完备性排查的问题，达到了自动完成风险场景路径完备枚举的效果，并通过定性比对方法实现了关键风险场景的识别。