SILVA, L, C.; http://lattes.cnpq.br/0123912674950072; SILVA, Lenardo Chaves e.
Resumen:
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 context. 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.