Preventing user errors by systematic analysis of deviations from the system task model
Interactive safety-critical applications have specific requirements that cannot be completely
captured by traditional evaluation techniques. In this paper, we discuss how to perform a …
captured by traditional evaluation techniques. In this paper, we discuss how to perform a …
Formal specification as a tool for objective assessment of safety-critical interactive systems
The design of safety critical systems calls for advanced software engineering models,
methods and tools in order to guarantee safety requirements that can put human life at …
methods and tools in order to guarantee safety requirements that can put human life at …
Task patterns for taking into account in an efficient and systematic way both standard and erroneous user behaviours
P Palanque, S Basnyat - Human Error, Safety and Systems Development …, 2004 - Springer
While designing interactive software, the use of a formal specification technique is of great
help because it provides non-ambiguous, complete and concise notations. The advantages …
help because it provides non-ambiguous, complete and concise notations. The advantages …
An impact analysis method for safety-critical user interface design
J Galliers, A Sutcliffe, S Minocha - ACM Transactions on Computer …, 1999 - dl.acm.org
We describe a method of assessing the implications for human error on user interface
design of safety-critical systems. In previous work we have proposed a taxonomy of …
design of safety-critical systems. In previous work we have proposed a taxonomy of …
A development process for usable large scale interactive critical systems: application to satellite ground segments
While a significant effort is being undertaken by the Human-Computer Interaction community
in order to extend current knowledge about how users interact with computing devices and …
in order to extend current knowledge about how users interact with computing devices and …
[HTML][HTML] Analysing interactive devices based on information resource constraints
Abstract Analysis of the usability of an interactive system requires both an understanding of
how the system is to be used and a means of assessing the system against that …
how the system is to be used and a means of assessing the system against that …
Supporting the analysis of safety critical user interfaces: an exploration of three formal tools
Use error due to user interface design defects is a major concern in many safety critical
domains, for example avionics and health care. Early detection of latent user interface …
domains, for example avionics and health care. Early detection of latent user interface …
Task model-based systematic analysis of both system failures and human errors
C Martinie, P Palanque, R Fahssi… - … on Human-Machine …, 2015 - ieeexplore.ieee.org
The overall dependability of an interactive system is one of its weakest components, which is
usually its user interface. The presented approach integrates techniques from the …
usually its user interface. The presented approach integrates techniques from the …
Formal verification of a space system's user interface with the IVY workbench
This paper describes the application of the IVY workbench to the formal analysis of a user
interface for a safety-critical aerospace system. The operation manual of the system was …
interface for a safety-critical aerospace system. The operation manual of the system was …
Interaction walkthrough: evaluation of safety critical interactive systems
H Thimbleby - International Workshop on Design, Specification, and …, 2006 - Springer
Usability evaluation methods are a battery of techniques for assessing the usability of
interactive systems or of proposed interactive systems. This paper describes a new …
interactive systems or of proposed interactive systems. This paper describes a new …