Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-05-09T17:24:59Z
No. of bitstreams: 1
LENARDO CHAVES E SILVA - TESE PPGCC 2015..pdf: 9863003 bytes, checksum: b4ff7a7517f3ec159596b4b3c8730219 (MD5) / Made available in DSpace on 2018-05-09T17:24:59Z (GMT). No. of bitstreams: 1
LENARDO CHAVES E SILVA - TESE PPGCC 2015..pdf: 9863003 bytes, checksum: b4ff7a7517f3ec159596b4b3c8730219 (MD5)
Previous issue date: 2015-11-12 / Capes / Sistemas Médicos Físico-Cibernéticos (SMFC) são sistemas críticos cientes de contexto
que têm a segurança do paciente como principal requisito, demandando processos rigorosos de validação para garantir a conformidade com os requisitos do usuário e a corretude orientada à especificação. Neste trabalho é proposta uma arquitetura baseada
em modelos para validação de SMFC, focando em promover a reúso e a produtividade.
Tal abordagem permite que desenvolvedores de sistemas construam modelos formais
de SMFC baseados em uma biblioteca de modelos de pacientes e dispositivos médicos,
bem como simular o SMFC para identificar comportamentos indesejados em tempo de projeto. A abordagem proposta foi aplicada a três diferentes cenários clínicos para
avaliar seu potencial de reúso para diferentes contextos. A abordagem foi também validada por meio de uma avaliação empírica com desenvolvedores para avaliar o reúso e
a produtividade. Finalmente, os modelos foram formalmente verificados considerando
os requisitos funcionais e de segurança, além da cobertura dos modelos. / 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.
| Identifer | oai:union.ndltd.org:IBICT/oai:localhost:riufcg/625 |
| Date | 09 May 2018 |
| Creators | SILVA, Lenardo Chaves e. |
| Contributors | ALMEIDA, Hyggo Oliveira de., PERKUSICH, Angelo. |
| Publisher | Universidade Federal de Campina Grande, PÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃO, UFCG, Brasil, Centro de Engenharia Elétrica e Informática - CEEI |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/doctoralThesis |
| Source | reponame:Biblioteca de Teses e Dissertações da UFCG, instname:Universidade Federal de Campina Grande, instacron:UFCG |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0121 seconds