Abstract
Medical systems are currently being developed that integrate the multiple devices that are often connected to patients, for example in intensive care or where there are multiple patients in medical wards managed by limited numbers of clinicians. This position paper considers a model of such integrated devices, and the human factors engineering challenges that are important considerations in their development. The model is used as a basis for proof that specific use-centred safety requirements hold of a design that satisfies the model. The paper describes how a model may be used to prove two classes of use-related properties. The first concerns the consistency of multiple displays of the same information while the second proves that actions relating to the same device and patient invoked in different work stations have equivalent effect.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Arney, D., et al.: Generic infusion pump hazard analysis and safety requirements. Technical report. MS-CIS-08-31, University of Pennsylvania, February 2009
Arney, D., Plourde, J., Goldman, J.: OpenICE: an open, interoperable platform for medical cyber-physical systems. In: ACM/IEEE International Conference on Cyberphysical Systems (ICCPS), April 2014. https://doi.org/10.1109/ICCPS.2014.6843734
Association for the Advancement of Medical Instrumentation (AAMI): Medical device interoperability: Standard for safety. Technical report. ANSI/UL 2800–1, February 2019
ASTM: ASTM F2761 Medical Devices and Medical Systems – Essential safety requirements for equipment comprising the patient-centric integrated clinical environment (ICE) - Annex B: Clinical Scenarios (2009)
Harrison, M.D., Masci, P., Campos, J.C., Curzon, P.: Verification of user interface software: the example of use-related safety requirements and programmable medical devices. ACM Trans. Hum. Mach. Syst. 47(6), 834–846 (2017). https://doi.org/10.1109/THMS.2017.2717910
Harrison, M., Campos, J., Ruksenas, R., Curzon, P.: Modelling information resources and their salience in medical device design. In: EICS 2016 Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, pp. 194–203. ACM Press (2016)
Harrison, M., Masci, P., Campos, J.: Verification templates for the analysis of user interface software design. IEEE Trans. Software Eng. 45(8), 802–822 (2019)
James, J.T.: A new, evidence-based estimate of patient harms associated with hospital care. J. Patient Saf. 9(3), 122–128 (2013)
Lee, I., Sokolsky, O.: Medical cyber physical systems. In: IEEE Design Automation Conference, pp. 743–748. IEEE Press, June 2010
Masci, P., Mallozzi, P., Luca, F., Angelis, D., Di Marzo, G., Curzon, P.: Using PVSio-web and SAPERE for rapid prototyping of user interfaces in integrated clinical environments. In: 3rd Workshop on Verification and Assurance (Verisure 2015), at CAV-2015, San Francisco, CA, USA (2015)
Masci, P., Weininger, S.: Usability engineering recommendations for next-gen integrated interoperable medical devices. Biomed. Instrum. Technol. 55(4), 132–142 (2021). https://doi.org/10.2345/0890-8205-55.4.132
Masci, P., Muñoz, C.A.: An integrated development environment for the prototype verification system. Electron. Proc. Theoret. Comput. Sci. 310, 35–49 (2019). https://doi.org/10.4204/eptcs.310.5. https://doi.org/10.4204/EPTCS.310.5
Shankar, N., Owre, S., Rushby, J.M., Stringer-Calvert, D.: PVS System Guide, PVS Language Reference, PVS Prover Guide, PVS Prelude Library, Abstract Datatypes in PVS, and Theory Interpretations in PVS. Computer Science Laboratory, SRI International, Menlo Park, CA (1999). http://pvs.csl.sri.com/documentation.shtml
Sutherland, J., Minear, M.: Informatics-a catalyst for operating room transformation. In: Operating Room of the Future, p. 22. No. 21702–5012. U.S. Army Medical Research and Materiel Command, Fort Detrick, Maryland (2003)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2022 IFIP International Federation for Information Processing
About this paper
Cite this paper
Harrison, M.D., Masci, P. (2022). Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment. In: Ardito, C., et al. Sense, Feel, Design. INTERACT 2021. Lecture Notes in Computer Science, vol 13198. Springer, Cham. https://doi.org/10.1007/978-3-030-98388-8_28
Download citation
DOI: https://doi.org/10.1007/978-3-030-98388-8_28
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-98387-1
Online ISBN: 978-3-030-98388-8
eBook Packages: Computer ScienceComputer Science (R0)