...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Human-Machine Systems, IEEE Transactions on >Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction
【24h】

Automatically Generating Specification Properties From Task Models for the Formal Verification of Human–Automation Interaction

机译：从任务模型自动生成规范属性，以进行人与自动化交互的形式验证

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Human–automation interaction (HAI) is often a contributor to failures in complex systems. This is frequently due to system interactions that were not anticipated by designers and analysts. Model checking is a method of formal verification analysis that automatically proves whether or not a formal system model adheres to desirable specification properties. Task analytic models can be included in formal system models to allow HAI to be evaluated with model checking. However, previous work in this area has required analysts to manually formulate the properties to check. Such a practice can be prone to analyst error and oversight which can result in unexpected dangerous HAI conditions not being discovered. To address this, this paper presents a method for automatically generating specification properties from task models that enables analysts to use formal verification to check for system HAI problems they may not have anticipated. This paper describes the design and implementation of the method. An example (a pilot performing a before landing checklist) is presented to illustrate its utility. Limitations of this approach and future research directions are discussed.
机译：人机交互（HAI）通常是复杂系统故障的原因。这通常是由于设计人员和分析人员无法预期的系统交互。模型检查是形式验证分析的一种方法，可以自动证明形式系统模型是否符合所需的规范属性。任务分析模型可以包含在正式的系统模型中，从而可以通过模型检查来评估HAI。但是，该领域的先前工作要求分析人员手动制定要检查的属性。这样的做法可能会导致分析师错误和疏忽，从而可能导致未发现意外的危险HAI条件。为了解决这个问题，本文提出了一种从任务模型自动生成规范属性的方法，该方法使分析人员能够使用形式验证来检查他们可能没有想到的系统HAI问题。本文介绍了该方法的设计和实现。给出了一个示例（飞行员执行着陆前检查清单）以说明其效用。讨论了这种方法的局限性和未来的研究方向。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号