Automatic detection of interaction vulnerabilities in an executable specification

Authors:
Michael Feary
Affiliations:
NASA Ames Research Center, Moffett Field, CA
Venue:
EPCE'07 Proceedings of the 7th international conference on Engineering psychology and cognitive ergonomics
Year:
2007

Citing 3
Cited 2

User interface design

User interface design
Taming HAL: Designing Interfaces Beyond 2001

Taming HAL: Designing Interfaces Beyond 2001
Theory-based design for easily learned interfaces

Human-Computer Interaction

Human performance modeling for all: importing UI prototypes into cogtool

CHI '10 Extended Abstracts on Human Factors in Computing Systems
Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking

Computational & Mathematical Organization Theory

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper presents an approach to providing designers with the means to detect Human-Computer Interaction (HCI) vulnerabilities without requiring extensive HCI expertise. The goal of the approach is to provide timely, useful analysis results early in the design process, when modifications are less expensive. The twin challenges of providing timely and useful analysis results led to the development and evaluation of computational analyses, integrated into a software prototyping toolset. The toolset, referred to as the Automation Design and Evaluation Prototyping Toolset (ADEPT) was constructed to enable the rapid development of an executable specification for automation behavior and user interaction. The term executable specification refers to the concept of a testable prototype whose purpose is to support development of a more accurate and complete requirements specification.