Usability engineers and user interface designers are reluctant in the use of methods based on formal methods because of their complexity in their uptake and application. We seek to establish a method, which will assist non-formalists to predict human error in the use of interactive systems. The method will be derived from a formal framework, thus offering maximum leverage to the practitioners, while keeping hidden the complexities of its underlying formal model.

We will carry out a comparative study of analytical and experimental evaluation methods in order to collect data on their efficiency and effectiveness, which will subsequently provide us with a framework for building a new method. The study will focus on the use of in-car navigation devices, an application area characterised by multimodality, dynamic context of use and safety-critical issues.

Return to Conference Programme