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

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

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...

Full description

Bibliographic Details
Main Authors: Lenardo C. Silva, Hyggo O. Almeida, Angelo Perkusich, Mirko Perkusich
Format: Article
Language:English
Published: MDPI AG 2015-10-01
Series:Sensors
Subjects:
medical cyber-physical systems
early validation
simulation
formal methods
model-based development
clinical scenarios
medical devices
patient model
Online Access:http://www.mdpi.com/1424-8220/15/11/27625

Internet

http://www.mdpi.com/1424-8220/15/11/27625

Similar Items