Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/51326

TítuloModelling information resources and their salience in medical device design
Autor(es)Harrison, Michael douglas
Campos, José C.
Rukšenas, Rimvydas
Curzon, Paul
Palavras-chaveFormal verification
Human error
Medical devices
Model checking
Performance
User interaction error
Data2016
EditoraAssociation for Computing Machinery (ACM)
Resumo(s)The paper describes a model that includes an explicit description of the information resources that are assumed to guide use, enabling a focus on properties of "plausible interactions". The information resources supported by an interactive system should be designed to encourage the correct use of the system. These resources signpost a user's interaction, helping to achieve desired goals. Analysing assumptions about information resource support is particularly relevant when a system is safety critical that is when interaction failure consequences could be dangerous, or walk-up-and-use where interaction failure may lead to reluctance to use with expensive consequences. The paper shows that expressing these resource constraints still provides a wider set of behaviours than would occur in practice. A resource may be more or less salient at a particular stage of the interaction and as a result potentially overlooked. For example, the resource may be accessible but not used because it does not seem relevant to the current goal. The paper describes how the resource framework can be augmented with additional information about the salience of the assumed resources. A medical device that is in common use in many hospitals is used as illustration. c 2016 ACM.
TipoArtigo em ata de conferência
URIhttps://hdl.handle.net/1822/51326
ISBN978-1-4503-4322-0
DOI10.1145/2933242.2933250
Arbitragem científicayes
AcessoAcesso aberto
Aparece nas coleções:HASLab - Artigos em atas de conferências internacionais (texto completo)

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
ocbeics16pub.pdf1,17 MBAdobe PDFVer/Abrir

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID