Using formal verification to evaluate human-automation interaction: A review

被引：0
|
作者：
Bolton, Matthew L. [1 ]
Bass, Ellen J. [2 ]
Siminiceanu, Radu I. [3 ]
机构：
[1] Department of Mechanical and Industrial Engineering, University of Illinois at Chicago, Chicago, IL 60607, United States
[2] College of Information Science and Technology, College of Nursing and Health Professions, Drexel University, Philadelphia, PA 19104, United States
[3] National Institute of Aerospace, Hampton, VA 23666, United States
来源：
IEEE Transactions on Systems, Man, and Cybernetics: Systems | 2013年 / 43卷 / 03期
关键词：
All Open Access; Bronze;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
177
引用
收藏
页码：488 / 503
相关论文
共 50 条
  • [1] Using Formal Verification to Evaluate Human-Automation Interaction: A Review
    Bolton, Matthew L.
    Bass, Ellen J.
    Siminiceanu, Radu I.
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (03): : 488 - 503
  • [2] Formal verification of human-automation interaction
    Degani, A
    Heymann, M
    [J]. HUMAN FACTORS, 2002, 44 (01) : 28 - 43
  • [3] Checking formal verification models for human-automation interaction
    van Paassen, M. M.
    Bolton, Matthew L.
    Jimenez, Noelia
    [J]. 2014 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC), 2014, : 3709 - 3714
  • [4] Automatically Generating Specification Properties From Task Models for the Formal Verification of Human-Automation Interaction
    Bolton, Matthew L.
    Jimenez, Noelia
    van Paassen, Marinus M.
    Trujillo, Maite
    [J]. IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, 2014, 44 (05) : 561 - 575
  • [5] Generating phenotypical erroneous human behavior to evaluate human-automation interaction using model checking
    Bolton, Matthew L.
    Bass, Ellen J.
    Siminiceanu, Radu I.
    [J]. INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 2012, 70 (11) : 888 - 906
  • [6] USING NEURAL NETWORKS TO ASSESS HUMAN-AUTOMATION INTERACTION
    Sullivan, Katlyn B.
    Feigh, Karen M.
    Durso, Francis T.
    Fischer, Ute
    Pop, Vlad L.
    Mosier, Kathleen
    Blosch, Justin
    Morrow, Dan
    [J]. 2011 IEEE/AIAA 30TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2011,
  • [7] Using Neural Networks to Assess Human-Automation Interaction
    Sullivan, Katlyn
    Feigh, Karen
    Durso, Francis
    Fischer, Ute
    Morrow, Dan
    Mosier, Kathy
    Blosch, Justin
    Pop, Vlad
    [J]. 2011 IEEE/AIAA 30TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2011,
  • [8] Literature Review on Human-Automation Interaction: Relationship Between Healthcare Automation and Human Error at Work
    Cho, Min Ho
    Seo, Yejin
    Duffy, Vincent G.
    [J]. DIGITAL HUMAN MODELING AND APPLICATIONS IN HEALTH, SAFETY, ERGONOMICS AND RISK MANAGEMENT, PT II, DHM 2024, 2024, 14710 : 16 - 34
  • [9] History and future of human-automation interaction
    Janssen, Christian P.
    Donker, Stella F.
    Brumby, Duncan P.
    Kun, Andrew L.
    [J]. INTERNATIONAL JOURNAL OF HUMAN-COMPUTER STUDIES, 2019, 131 : 99 - 107
  • [10] Challenges in implementation of human-automation interaction models
    Fereidunian, Alireza
    Lucas, Caro
    Lesani, Hamid
    Lehtonen, Matti
    Nordman, Mikael
    [J]. 2007 MEDITERRANEAN CONFERENCE ON CONTROL & AUTOMATION, VOLS 1-4, 2007, : 1266 - +
12345