Research Article
Towards a Formalization of System Requirements for an Integrated Clinical Environment
@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
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.
Copyright © 2015 C. Bernardeschi et al., licensed to EAI. This is an open access article distributed under the terms of the Creative Commons Attribution licence (http://creativecommons.org/licenses/by/3.0/), which permits unlimited use, distribution and reproduction in any medium so long as the original work is properly cited.
