Output details
11 - Computer Science and Informatics
Queen Mary University of London
Return to search
Output 0 of 0 in the submission
Article title
Using PVS to support the analysis of distributed cognition systems
Type
D - Journal article
Title of journal
Innovations in Systems and Software Engineering
Article number
n/a
Volume number
n/a
Issue number
-
First page of article
n/a
ISSN of journal
1614-5046
Year of publication
2013
Number of additional authors
3
Additional information
<07>This paper shows how automated tools used in hardware and software verification can be applied in novel ways to analyse complex socio-technical systems like hospitals and control centers. The approach is demonstrated through the analysis of a dataset describing actual practice in a real-world emergency dispatch system. Latent hazards were identified that went unnoticed in a previous analysis of the same dataset carried out with standard techniques. The approach described was later used successfully in a hospital post-market design/use review research study about a new glucometer. It identified issues with the device and important themes for such reviews.
Interdisciplinary
-
Cross-referral requested
-
Research group
None
Citation count
0
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-
