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

Descripción completa

Detalles Bibliográficos
Autores principales: Silva, Lenardo C., Almeida, Hyggo O., Perkusich, Angelo, Perkusich, Mirko
Formato: Online Artículo Texto
Lenguaje:English
Publicado: MDPI 2015
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4701248/
https://www.ncbi.nlm.nih.gov/pubmed/26528982
http://dx.doi.org/10.3390/s151127625

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC4701248/
https://www.ncbi.nlm.nih.gov/pubmed/26528982
http://dx.doi.org/10.3390/s151127625

Ejemplares similares