Rukšenas, R;
Curzon, P;
Blandford, A;
Back, J;
(2008)
Combining human error verification and timing analysis.
In:
(pp. pp. 18-35).
![[thumbnail of 16821.pdf]](https://discovery-pp.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
16821.pdf Download (218kB) |
Abstract
Designs can often be unacceptable on performance grounds. In this work, we integrate a GOMS-like ability to predict execution times into the generic cognitive architecture developed for the formal verification of human error related correctness properties. As a result, formal verification and GOMS-like timing analysis are combined within a unified framework. This allows one to judge whether a formally correct design is also acceptable on performance grounds, and vice versa. We illustrate our approach with an example based on a KLM style timing analysis. © 2008 Springer Berlin Heidelberg.
| Type: | Proceedings paper |
|---|---|
| Title: | Combining human error verification and timing analysis |
| ISBN: | 3540926976 |
| ISBN-13: | 9783540926979 |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1007/978-3-540-92698-6_2 |
| UCL classification: | UCL UCL > Provost and Vice Provost Offices > School of Life and Medical Sciences UCL > Provost and Vice Provost Offices > School of Life and Medical Sciences > Faculty of Brain Sciences UCL > Provost and Vice Provost Offices > UCL BEAMS UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science |
| URI: | https://discovery-pp.ucl.ac.uk/id/eprint/16821 |
Archive Staff Only
 |
View Item |
