Trust-Based Analysis of an Air Force Collision Avoidance                     System

This case study analyzes the factors that influence trust and acceptance among users (in this case, test pilots) of the Air Force’s Automatic Ground Collision Avoidance System. Our analyses revealed that test pilots’ trust depended on a number of factors, including the development of a nuisance-free algorithm, designing fly-up evasive maneuvers consistent with a pilot’s preferred behavior, and using training to assess, demonstrate, and verify the system’s reliability. These factors are consistent with the literature on trust in automation and could lead to best practices for automation design, testing, and acceptance.

Download Full-text

Metamorphic Testing Integer Overflow Faults of Mission Critical Program: A Case Study

Mathematical Problems in Engineering ◽

10.1155/2013/381389 ◽

2013 ◽

Vol 2013 ◽

pp. 1-6 ◽

Cited By ~ 7

Author(s):

Zhanwei Hui ◽

Song Huang ◽

Zhengping Ren ◽

Yi Yao

Keyword(s):

Collision Avoidance ◽

Traditional Method ◽

Property Testing ◽

Testing Methods ◽

Metamorphic Testing ◽

Testing Method ◽

Safety Property ◽

Mission Critical ◽

Collision Avoidance System

For mission critical programs, integer overflow is one of the most dangerous faults. Different testing methods provide several effective ways to detect the defect. However, it is hard to validate the testing outputs, because the oracle of testing is not always available or too expensive to get, unless the program throws an exception obviously. In the present study, the authors conduct a case study, where the authors apply a metamorphic testing (MT) method to detect the integer overflow defect and alleviate the oracle problem in testing critical program of Traffic Collision Avoidance System (TCAS). Experimental results show that, in revealing typical integer mutations, compared with traditional safety property testing method, MT with a novel symbolic metamorphic relation is more effective than the traditional method in some cases.

Download Full-text

Case study: Applying formal methods to the Traffic Alert and Collision Avoidance System (TCAS) II

Proceedings of COMPASS'94 - 1994 IEEE 9th Annual Conference on Computer Assurance ◽

10.1109/cmpass.1994.318468 ◽

2002 ◽

Cited By ~ 2

Author(s):

J.J. Britt

Keyword(s):

Formal Methods ◽

Collision Avoidance ◽

Collision Avoidance System

Download Full-text

Case study: Traffic Alert and Collision-Avoidance System

IEEE Software ◽

10.1109/ms.1994.1279942 ◽

1994 ◽

Vol 11 (1) ◽

pp. 35-28 ◽

Cited By ~ 3

Author(s):

D. Craigen ◽

S. Gerhart ◽

T. Ralston

Keyword(s):

Collision Avoidance ◽

Collision Avoidance System

Download Full-text

Comparing Trust in Auto-GCAS Between Experienced and Novice Air Force Pilots

Ergonomics in Design The Quarterly of Human Factors Applications ◽

10.1177/1064804617716612 ◽

2017 ◽

Vol 25 (4) ◽

pp. 4-9 ◽

Cited By ~ 3

Author(s):

Joseph B. Lyons ◽

Nhut T. Ho ◽

Anna Lee Van Abel ◽

Lauren C. Hoffmann ◽

Garrett G. Sadler ◽

...

Keyword(s):

Collision Avoidance ◽

Air Force ◽

Automated System ◽

Collision Avoidance System ◽

The Impact

We examined F-16 pilots’ trust of the Automatic Ground Collision Avoidance System (Auto-GCAS), an automated system fielded on the F-16 to reduce the occurrence of controlled flight into terrain. We looked at the impact of experience (i.e., number of flight hours) as a predictor of trust perceptions and complacency potential among pilots. We expected that novice pilots would report higher trust and greater potential for complacency in relation to Auto-GCAS, which was shown to be partly true. Although novice pilots, compared with experienced pilots, reported equivalent trust perceptions, they also reported greater complacency potential.

Download Full-text