Supporting field investigators with PVS: A case study in the healthcare domain

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7527 LNCS, Issue , 2012, Pages 150-164

  Masci, Paolo ^a   Furniss, Dominic ^b   Curzon, Paul ^a   Harrison, Michael D ^a   Blandford, Ann ^b  

^a QUEEN MARY UNIVERSITY OF LONDON   (United Kingdom)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Automated reasoning; Experience report; Field study; PVS; Socio technical system

Indexed keywords

CASE BASED REASONING; HEALTH CARE; SOFTWARE ENGINEERING;

AUTOMATED REASONING; AUTOMATED REASONING TOOLS; EXPERIENCE REPORT; FIELD STUDIES; FORMAL VERIFICATION TOOLS; HEALTHCARE DOMAINS; HUMAN BEHAVIOURS; SOCIOTECHNICAL SYSTEMS;

BEHAVIORAL RESEARCH;

EID: 84867660171     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-33176-3_11     Document Type: Conference Paper

References (15)

1. PVS models of field study at oncology ward (June 2012), PVS models http://tinyurl.com/PVS-bloodglucosestudy
2. Blandford, A., De Pietro, G., Gallo, L., Gimblett, A., Oladimeji, P., Thimbleby, H.:Engineering interactive computer systems for medicine and healthcare (EICS4Med), Proceedings of the 3rd ACM SIGCHI symposium on Engineering interactive computing systems,June 13-16 (2011)
3. Blandford, A., Furniss, D.: DiCoT: A Methodology for Applying Distributed Cognition to the Design of Teamworking Systems. Interactive Systems, 26-38 (2006)
4. Fields, R.: Analysis of Erroneous Actions in the Design of Critical Systems. PhD thesis, University of York (2001)
5. Masci, P., Curzon, P.: Checking User-Centred Design Principles in Distributed Cognition Models: A Case Study in the Healthcare Domain. In: Holzinger, A., Simonic, K.-M. (eds.) USAB 2011. LNCS, vol. 7058, pp. 95-108. Springer, Heidelberg (2011)
6. Masci, P., Curzon, P., Blandford, A., Furniss, D.: Modelling distributed cognition systems in PVS. ECEASST 45 (2011)
7. Masci, P., Curzon, P., Furniss, D., Blandford, A.: Using PVS to support the analysis of distributed cognition systems. Submitted for publication to Innovations in Systems and Software Engineering (2012)
8. Masci, P., Huang, H., Curzon, P., Harrison, M.D.: Using PVS to Investigate Incidents through the Lens of Distributed Cognition. In: Goodloe, A.E., Person, S. (eds.) NFM 2012. LNCS, vol. 7226, pp. 273-278. Springer, Heidelberg (2012)
9. Roche. Accu-Chek Inform II System, Professional glucose testing for the wireless age (August 2010)
10. Roche. Accu-Chek Inform System. Operator's manual (November 2010)
11. Rukšėnas, R., Back, J., Curzon, P., Blandford, A.: Verification-guided modelling of salience and cognitive load. Formal Aspects of Computing 21(6), 541-569 (2009)
12. Shankar, N., Owre, S.: Principles and Pragmatics of Subtyping in PVS. In: Bert, D., Choppy, C., Mosses, P.D. (eds.) WADT 1999. LNCS, vol. 1827, pp. 37-52. Springer, Heidelberg (2000)
13. NHS Trust. Accu-Chek Inform II Blood Glucose Meter Standard Operating Procedure (August 2011)
14. Westbrook, J.I., Ampt, A.: Design, application and testing of theWork Observation Method by Activity Timing (WOMBAT) to measure clinicians' patterns of work and communication. International Journal of Medical Informatics 78 (2009)
15. Wright, P.C., Fields, R., Merriam, N.A.: From formal models to empirical evaluation and back again. In: Formal Methods in Human-Computer Interaction, ch. 13, pp. 283-314. Springer, Berlin (1997)