sas 16(6): e3

Research Article

Towards a Formalization of System Requirements for an Integrated Clinical Environment

Download1153 downloads
  • @ARTICLE{10.4108/eai.14-10-2015.2261701,
        author={Cinzia Bernardeschi and Andrea Domenici and Paolo Masci},
        title={Towards a Formalization of System Requirements for an Integrated Clinical Environment},
        journal={EAI Endorsed Transactions on Self-Adaptive Systems},
        volume={2},
        number={6},
        publisher={ACM},
        journal_a={SAS},
        year={2015},
        month={12},
        keywords={integrated clinical environment, pvs, formalization},
        doi={10.4108/eai.14-10-2015.2261701}
    }
    
  • Cinzia Bernardeschi
    Andrea Domenici
    Paolo Masci
    Year: 2015
    Towards a Formalization of System Requirements for an Integrated Clinical Environment
    SAS
    EAI
    DOI: 10.4108/eai.14-10-2015.2261701
Cinzia Bernardeschi1,*, Andrea Domenici1, Paolo Masci2
  • 1: Department of Information Engineering, University of Pisa, Italy
  • 2: School of Electronic Engineering and Computer Science, Queen Mary University of London, UK
*Contact email: cinzia.bernardeschi@iet.unipi.it

Abstract

Interoperability of medical devices, and their interface to clinicians and patients, are critical issues for the safety and effectiveness of patient care. Ongoing efforts strive at establishing standards for integrated clinical environments, which may connect and co ordinate several medical devices and interface them to patients, clinicians, and hospital information systems. In this paper, an approach to the formalization of system requirements for an integrated clinical environment is presented. The formalization relies on the higher-order logic language of the Prototype Verification System.