Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems

Shuang Song, Manasvi Saxena, Pei Hsuan Tsai, Lui Sha

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Computer Science is being increasingly used in medicine to improve quality of care and patient outcome. Clinical Decision Support Systems (CDSSs) that codify clinical Best Practice Guidelines (BPGs) and provide situation-specific advice to physicians CDSSs have shown effectiveness in reducing adverse patient outcomes during clinical evaluations. However, representing both the BPG and the associated physical processes in software is complex and tedious, making CDSSs prone to bugs. This can be mitigated using a modular software architecture that encapsulates computational representation of physical processes for finer-grained development and verification leading to improved comprehensibility, shareability and maintainability. This paper discusses the sources of complexity in CDSSs, and proposes a software architecture that consists of an encoding of the BPG's medical knowledge into executable representations comprising of a patient digital twin, diagnosis and treatment workflows, an adherence monitor, a User Interface (UI) and a middleware for seamless integration with existing Hospital Information Systems. We developed a CDSS for Pediatric Sepsis Management co-designed by physicians using our approach. We use the Fluid Resuscitation therapy of this CDSS as a case study to illustrate the development process.

Original languageEnglish (US)
Title of host publication2023 IEEE International Conference on Systems, Man, and Cybernetics
Subtitle of host publicationImproving the Quality of Life, SMC 2023 - Proceedings
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages4271-4276
Number of pages6
ISBN (Electronic)9798350337020
DOIs
StatePublished - 2023
Event2023 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2023 - Hybrid, Honolulu, United States
Duration: Oct 1 2023Oct 4 2023

Publication series

NameConference Proceedings - IEEE International Conference on Systems, Man and Cybernetics
ISSN (Print)1062-922X

Conference

Conference2023 IEEE International Conference on Systems, Man, and Cybernetics, SMC 2023
Country/TerritoryUnited States
CityHybrid, Honolulu
Period10/1/2310/4/23

ASJC Scopus subject areas

  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Human-Computer Interaction

Fingerprint

Dive into the research topics of 'Towards Modular and Formally-Verifiable Software Architecture for Clinical Guidance Systems'. Together they form a unique fingerprint.

Cite this