Titre:
Reasoning About Operator Errors in Interaction
Conférencier:
Dr. Paul Curzon ,
Lieu:
Concordia, University, Department of Electrical & Computer Engineering ,
Room H961-15
Date et heure:
mardi le 04 avril 2000 de
10:00 à 00:00
Résumé: Reliability of an interactive system depends on users as well as the device implementation. User errors can result in catastrophic system failure. However, work from the field of cognitive science shows that systems can be designed so as to completely eliminate whole classes of user errors. This means that user errors should also fall within the remit of verification methods. However, traditional system verification does not consider the user as part of the system under verification. We demonstrate how a generic user model can be developed in higher order logic and can be used to detect and prove the absence of the family of errors known as order errors.
Note biographique: Dr Paul Curzon is a Senior Lecturer at Middlesex University and a member of the Formalisms and Interaction Group. He was previously a Senior Research Associate at the University of Cambridge working in the area of system verification using machine-assisted proof.