Michael Feary

Learn More
As avionics systems play an increasingly more pervasive role in airline cockpit operations, the ease-of-use of these systems to perform airline mission tasks, increasingly impacts the costs of pilot training, and the efficiency and safety margins of cockpit operations. Airworthiness regulations and regulatory certification processes for avionics equipment(More)
Automated systems are increasingly complex, making it hard to design interfaces for human operators. Humanmachine interaction (HMI) errors like automation surprises are more likely to appear and lead to system failures or accidents. In previous work, we studied the problem of generating system abstractions, called mental models, that facilitate system(More)
Needs analysis is a prerequisite to effective design, but typically is difficult and time consuming. We applied and extended our methods and tools in a case study helping a mission control group for the International Space Station. This domain illustrates the challenges of information-system domains that lack rigid, immutable, physical constraints and(More)
We investigated the role of domain structure, in designing for software usefulness and usability. We ran through the whole application development cycle, in miniature, from needs analysis through design, implementation, and evaluation, for planning needs of one NASA Mission Control group. Based on our needs analysis, we developed prototype software that(More)
This paper is concerned with the use of formal techniques for the analysis of human-machine interactions (HMI). The focus is on generating system abstractions for human operators. Such abstractions, once expressed in rigorous, formal notations, can be used for analysis or for user training. They should ideally be <i>minimal</i> in order to concisely capture(More)
The realization of NextGen capabilities will require rapid deployment of revised airline cockpit procedures and the pre-requisite training and proficiency checks. Traditional approaches for the evaluation of the re-designed procedures and training, such as expert reviews and human-in-the- loop tests, cannot provide comprehensive analysis, cannot be(More)
Designing safety-critical automation with robust human interaction is a difficult task that is susceptible to a number of known Human-Automation Interaction (HAI) vulnerabilities. It is therefore essential to develop automated tools that provide support both in the design and rapid evaluation of such automation. The Automation Design and Evaluation(More)
A cognitive engineering analysis of the Flight Management System (FMS) Vertical Navigation (VNAV) function has identified overloading of the VNAV button and overloading of the Flight Mode Annunciation (FMA) used by the VNAV function. These two types of overloading, resulting in modal input devices and ambiguous feedback, are well known sources of operator(More)