Automatic validation and failure diagnosis of human-device interfaces using task analytic models and model checking.

Autor:	Bolton, Matthew
Předmět:	HUMAN-machine systems SYSTEMS design COMPUTER interfaces ALGORITHMS TASK analysis
Zdroj:	Computational & Mathematical Organization Theory; Sep2013, Vol. 19 Issue 3, p288-312, 25p
Abstrakt:	When evaluating designs of human-device interfaces for safety critical systems, it is very important that they support the goal-directed tasks they were designed to facilitate. This paper describes a novel method that generates task-related temporal logic properties from task analytic models created early in the system design process. This allows analysts to use model checking (a means of performing exhaustive mathematical proofs) to automatically validate that formal models of human-device interfaces will let human operators successfully perform the necessary tasks with the system. This paper also presents an algorithm that uses the method to diagnose why a particular task is not valid for a given design. The application of both the method and algorithm are illustrated with a patient-controlled analgesia pump programming example. The method and algorithm are discussed and avenues for future work are described. [ABSTRACT FROM AUTHOR]
Databáze:	Complementary Index
Externí odkaz:	Zobrazit plný text záznamu Full text from SpringerLink