Next Article in Journal
Time-Efficient High-Rate Data Flooding in One-Dimensional Acoustic Underwater Sensor Networks
Next Article in Special Issue
TF4SM: A Framework for Developing Traceability Solutions in Small Manufacturing Companies
Previous Article in Journal
Sparse Auto-Calibration for Radar Coincidence Imaging with Gain-Phase Errors
Previous Article in Special Issue
A High Performance LIA-Based Interface for Battery Powered Sensing Devices
Article Menu

Export Article

Open AccessArticle
Sensors 2015, 15(11), 27625-27670; doi:10.3390/s151127625

A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems

Embedded Systems and Pervasive Computing Laboratory, Federal University of Campina Grande, 882 Aprígio Veloso Street, Universitário, Campina Grande 58429-900, Brazil
*
Author to whom correspondence should be addressed.
Academic Editor: Albert M. K. Cheng
Received: 30 June 2015 / Revised: 11 October 2015 / Accepted: 16 October 2015 / Published: 30 October 2015
(This article belongs to the Special Issue Cyber-Physical Systems)

Abstract

Medical Cyber-Physical Systems (MCPS) are context-aware, life-critical systems with patient safety as the main concern, demanding rigorous processes for validation to guarantee user requirement compliance and specification-oriented correctness. In this article, we propose a model-based approach for early validation of MCPS, focusing on promoting reusability and productivity. It enables system developers to build MCPS formal models based on a library of patient and medical device models, and simulate the MCPS to identify undesirable behaviors at design time. Our approach has been applied to three different clinical scenarios to evaluate its reusability potential for different contexts. We have also validated our approach through an empirical evaluation with developers to assess productivity and reusability. Finally, our models have been formally verified considering functional and safety requirements and model coverage. View Full-Text
Keywords: medical cyber-physical systems; early validation; simulation; formal methods; model-based development; clinical scenarios; medical devices; patient model medical cyber-physical systems; early validation; simulation; formal methods; model-based development; clinical scenarios; medical devices; patient model
Figures

Figure 1

This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. (CC BY 4.0).

Scifeed alert for new publications

Never miss any articles matching your research from any publisher
  • Get alerts for new papers matching your research
  • Find out the new papers from selected authors
  • Updated daily for 49'000+ journals and 6000+ publishers
  • Define your Scifeed now

SciFeed Share & Cite This Article

MDPI and ACS Style

Silva, L.C.; Almeida, H.O.; Perkusich, A.; Perkusich, M. A Model-Based Approach to Support Validation of Medical Cyber-Physical Systems. Sensors 2015, 15, 27625-27670.

Show more citation formats Show less citations formats

Related Articles

Article Metrics

Article Access Statistics

1

Comments

[Return to top]
Sensors EISSN 1424-8220 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert
Back to Top