Human interface reducing pilot's confusion on autopilot system

This paper presents a method of making mode transfer advisories to reduce mode confusion into which pilots are often put. We use formal specification languages, which have been used for developers, for users to remove differences between mental models of engineers and users. The experiment results couldn't show the efficiency of our interface, but some problems have been clarified.