Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction-Reference-Cited by-同舟云学术

Formal Verification for Mode Confusion in the Flight Deck Using Intent-Based Abstraction

Published:2016-09 Issue:9 Volume:13 Page:343-356
ISSN:2327-3097
Container-title:Journal of Aerospace Information Systems
language:en
Short-container-title:Journal of Aerospace Information Systems

Author:

Nandiganahalli Jayaprakash Suraj¹,Lee Sangjin¹,Hwang Inseok¹

Affiliation:

1. Purdue University, West Lafayette, Indiana 47907

Publisher

American Institute of Aeronautics and Astronautics (AIAA)

Subject

Electrical and Electronic Engineering,Computer Science Applications,Aerospace Engineering

Link

http://arc.aiaa.org/doi/pdf/10.2514/1.I010393

Reference29 articles.

1. DeganiA.HeymannM.MeyerG.ShaftoM. “Some Formal Aspects of Human-Automation Interaction,” NASA Ames Research Center TM 2000-209600, Moffett Field, CA, 2000.

2. Human-Automation Interaction

3. MillerS. P.PottsJ. N. “Detecting Mode Confusion Through Formal Modeling and Analysis,” NASA Langley Research Center Rept. NASA/CR-1999-108971, Hampton, VA, 1999.

4. Analyzing Cockpit Interfaces Using Formal Methods

5. Using Formal Verification to Evaluate Human-Automation Interaction: A Review

Cited by 7 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Refined Aircraft Positioning Based on Stochastic Hybrid Estimation with Adaptive Square-Root Unscented Particle Filtering;Aerospace;2024-05-20

2. Time-Varying Pilot’s Intention Identification Based on ESAX-CSA-ELM Classification Method in Complex Environment;Applied Sciences;2022-05-11

3. Mode Awareness Interfaces in Automated Vehicles, Robotics, and Aviation: A Literature Review;13th International Conference on Automotive User Interfaces and Interactive Vehicular Applications;2021-09-09

4. Modeling and Validating Launch Vehicle Onboard Software Using the SPIN Model Checker;Journal of Aerospace Information Systems;2020-12

5. Research on Influencing Factor Selection of Pilot’s Intention;International Journal of Aerospace Engineering;2020-03-14