Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System

Papatzanis, Georgios; Curzon, Paul; Blandford, Ann

doi:10.1007/978-3-540-92698-6_14

Cited by 2 publications

(1 citation statement)

References 13 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As pointed out in [26] investigating the association between a phenotype and its potential genotypes is very difficult but is an important step in order to assess the error-proneness of an interactive system. This is why most of the approaches for Human Reliability Assessment focus on this double objective, as presented in next section.…”

Section: Definition and Taxonomies Of Human Errorsmentioning

confidence: 99%

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors

Fahssi

Martinie

Palanque

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

OATAO is an open access repository that collects the work of Toulouse researchers and makes it freely available over the web where possible. This is an author-deposited version published in : http://oatao.univ-toulouse.fr/ Eprints ID : 15322The contribution was presented at INTERACT 2015 : http://www.interact2015.org/ Any correspondence concerning this service should be sent to the repository administrator: staff-oatao@listes-diff.inp-toulouse.fr Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human ErrorsRacim Fahssi, Célia Martinie, Philippe Palanque Institute of Research in Informatics of Toulouse (IRIT), University Toulouse 3 118, route de Narbonne, 31062 Toulouse cedex 9, France {fahssi, martinie, palanque}@irit.frAbstract. Task models produced from task analysis, are a very important element of UCD approaches as they provide support for describing users goals and users activities, allowing human factors specialists to ensure and assess the effectiveness of interactive applications. As user errors are not part of a user goal they are usually omitted from tasks descriptions. However, in the field of Human Reliability Assessment, task descriptions (including task models) are central artefacts for the analysis of human errors. Several methods (such as HET, CREAM and HERT) require task models in order to systematically analyze all the potential errors and deviations that may occur. However, during this systematic analysis, potential human errors are gathered and recorded separately and not connected to the task models. Such non integration brings issues such as completeness (i.e. ensuring that all the potential human errors have been identified) or combined errors identification (i.e. identifying deviations resulting from a combination of errors). We argue that representing human errors explicitly and systematically within task models contributes to the design and evaluation of error-tolerant interactive system. However, as demonstrated in the paper, existing task modeling notations, even those used in the methods mentioned above, do not have a sufficient expressive power to allow systematic and precise description of potential human errors. Based on the analysis of existing human error classifications, we propose several extensions to existing task modelling techniques to represent explicitly all the types of human error and to support their systematic task-based identification. These extensions are integrated within the tool-supported notation called HAMSTERS and are illustrated on a case study from the avionics domain. IntroductionTask analysis and modelling approaches have always focused on the explicit representation of standard behavior of users, leaving user error analysis for later phases in the design processes [2]. This is part of the rationale underlying task analysis which is to provide an exhaustive analysis of user behavior describing goals and activities to reach these goals. Clearly, errors, mistakes and deviations are not part of the users' goals and thus ...

show abstract

Section: Definition and Taxonomies Of Human Errorsmentioning

confidence: 99%

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors

Fahssi

Martinie

Palanque

2015

Lecture Notes in Computer Science

View full text Add to dashboard Cite

show abstract

An approach to formal verification of human–computer interaction

2007

View full text Add to dashboard Cite

The correct functioning of interactive computer systems depends on both the faultless operation of the device and correct human actions. In this paper, we focus on system malfunctions due to human actions. We present abstract principles that generate cognitively plausible human behaviour. These principles are then formalised in a higher-order logic as a generic , and so retargetable, cognitive architecture, based on results from cognitive psychology. We instantiate the generic cognitive architecture to obtain specific user models. These are then used in a series of case studies on the formal verification of simple interactive systems. By doing this, we demonstrate that our verification methodology can detect a variety of realistic, potentially erroneous actions, which emerge from the combination of a poorly designed device and cognitively plausible human behaviour.

show abstract

Identifying Phenotypes and Genotypes: A Case Study Evaluating an In-Car Navigation System

Cited by 2 publications

References 13 publications

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors

Enhanced Task Modelling for Systematic Identification and Explicit Representation of Human Errors

An approach to formal verification of human–computer interaction

Contact Info

Product

Resources

About