Skip to main content
SpringerLink
Log in

Proving Display Conformance and Action Consistency: The Example of an Integrated Clinical Environment

  • Conference paper
  • First Online:
Sense, Feel, Design (INTERACT 2021)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13198))

Included in the following conference series:

  • 787 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Arney, D., et al.: Generic infusion pump hazard analysis and safety requirements. Technical report. MS-CIS-08-31, University of Pennsylvania, February 2009

    Google Scholar 

  2. 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

  3. Association for the Advancement of Medical Instrumentation (AAMI): Medical device interoperability: Standard for safety. Technical report. ANSI/UL 2800–1, February 2019

    Google Scholar 

  4. 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)

    Google Scholar 

  5. 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

    Article  Google Scholar 

  6. 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)

    Google Scholar 

  7. 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)

    Article  Google Scholar 

  8. James, J.T.: A new, evidence-based estimate of patient harms associated with hospital care. J. Patient Saf. 9(3), 122–128 (2013)

    Article  Google Scholar 

  9. Lee, I., Sokolsky, O.: Medical cyber physical systems. In: IEEE Design Automation Conference, pp. 743–748. IEEE Press, June 2010

    Google Scholar 

  10. 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)

    Google Scholar 

  11. 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

  12. 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

  13. 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

  14. 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)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing, Newcastle University, Urban Sciences Building, Newcastle upon Tyne, UK

    Michael D. Harrison

  2. National Institute of Aerospace, 100 Exploration Way, Hampton, VA, 23666, USA

    Paolo Masci

Authors
  1. Michael D. Harrison
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Paolo Masci
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Michael D. Harrison .

Editor information

Editors and Affiliations

  1. Polytechnic University of Bari, Bari, Italy

    Carmelo Ardito

  2. University of Bari Aldo Moro, Bari, Italy

    Rosa Lanzilotti

  3. Computer Science Department, University of Pisa, Pisa, Italy

    Alessio Malizia

  4. Reykjavik University, Reykjavik, Iceland

    Marta Larusdottir

  5. University of Cagliari, Caglieri, Italy

    Lucio Davide Spano

  6. Department of Information, University of Minho, Braga, Portugal

    José Campos

  7. Department of Communication, University of Copenhagen, Copenhagen, Denmark

    Morten Hertzum

  8. Fachbereich Informatik, Trier University of Applied Sciences, Trier, Germany

    Tilo Mentler

  9. ITI/Larsys, University of West London, London, UK

    José Abdelnour Nocera

  10. Knowledge Media Institute, Open University, Milton Keynes, UK

    Lara Piccolo

  11. University of Paderborn, Paderborn, Germany

    Stefan Sauer

  12. Faculty of Sciences, Department of Computer Science, Vrije Universiteit, Amsterdam, The Netherlands

    Gerrit van der Veer

Rights and permissions

Reprints and permissions

Copyright information

© 2022 IFIP International Federation for Information Processing

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics

Societies and partnerships

Search

Navigation