Towards a Formalization of System Requirements for an Integrated Clinical Environment

Masci

2019

Computational Biology

Self Cite

The concepts of integrated clinical environments and smart intensive care units refer to complex technological infrastructures where health care relies on inter-operating medical devices monitored and coordinated by software applications under human supervision. These complex socio-technical systems have stringent safety requirements that can be met with rigorous and precise development methods. This chapter presents an approach to the formalization of system requirements for integrated clinical environments, using the Prototype Verification System, a theorem-proving environment based on a higher-order logic language. The approach is illustrated by modeling safety-related requirements affecting various aspects of an integrated clinical environments, and in particular the communication network. A simple but realistic wireless communication protocol will be used as an example of computer-assisted verification.

Section: Introductionmentioning

confidence: 80%

Logic-Based Formalization of System Requirements for Integrated Clinical Environments

Masci

2019

Computational Biology

Self Cite

“…This work is part of an effort aimed at the application of formal methods to modeling and verification of safety-or mission-critical systems, including control logics [7,6], electromedical devices [8], and integrated clinical environments [9]. Further work will focus on investigating methodologies and proof techniques tailored to diverse application domains, still in the area of safety-critical systems.…”

Section: Discussionmentioning

confidence: 99%

Verifying safety properties of a nonlinear control by interactive theorem proving with the Prototype Verification System

Information Processing Letters

2016

Self Cite

“…In an earlier work [13], examples of formal requirements were given for the ICE subdomains of patient identification, physical parameters (such as temperature or pressure), and devices.…”

Section: A Domain Identificationmentioning

confidence: 99%

Modeling communication network requirements for an integrated clinical environment in the Prototype Verification System

2016 IEEE Symposium on Computers and Communication (ISCC)

Masci

2016

Self Cite

Health care practices increasingly rely on complex technological infrastructure, and new approaches to the integration of information and communication technology in those practices lead to the development of such concepts as integrated clinical environments and smart intensive care units. These concepts refer to hospital settings where therapy relies heavily on inter-operating medical devices, supervised by clinicians assisted by advanced monitoring and co-ordinating software. In order to ensure safety and effectiveness of patient care, it is necessary to specify the requirements of such socio-technical systems in the most rigorous and precise way. This paper presents an approach to the formalization of system requirements for communication networks deployed in integrated clinical environment, based on the higher-order logic language of a theorem-proving environment, the Prototype Verification System