Design and feasibility study of health related devices using COTS components

Parveen, Rizwan; Pradhan, Shubham; Goveas, Neena

doi:10.1109/icphys.2018.8390761

Cited by 2 publications

(4 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [131,132], authors used Ptolemy II to model Medical CPS, while in [13] the behavioral model of production nominal resource was modeled using Ptolemy II. In [110], authors modeled a Holter Monitor. They used Ptolemy II to model the device's functionality and UPPAAL for modeling system's state space and the transitions between them.…”

Section: Validation and Verification (Vandv)mentioning

confidence: 99%

“…The vast majority of the studies used UPPAAL for verification, see Table 14. For instance, [110] used UPPAAL for modeling system's state space and the transitions between them.…”

Section: Developed/used Mde Tools For Cpsmentioning

confidence: 99%

“…• Health Care and Medicine (HC&M): 8 studies (12.70%) presented under this category. Included sub-categories are Medical Cyber-Physical Systems (MCPS) [131,11,132,98], medical best practice guideline [59,58], smart medical devices [110,148].…”

Section: Targeted Cps Application Domainsmentioning

confidence: 99%

“…Case study Simplified stroke [59], simplified cardiac arrest [58], Holter Monitor [110], Clinical scenario [132], Generic Patient Controlled Analgesia Infusion Pump (GPCA) system [98]. Empirical study clinical scenarios [131] Use case patient-controlled analgesia infusion pump [148] Smart Environment…”

Section: Use Casementioning

confidence: 99%

See 3 more Smart Citations

A Systematic Literature Review on Model-driven Engineering for Cyber-Physical Systems

Mohamed¹,

Kardaş²,

Challenger³

2021

Preprint

View full text Add to dashboard Cite

This technical report presents a Systematic Literature Review (SLR) study that focuses on identifying and classifying the recent research practices pertaining to CPS development through MDE approaches. The study evaluates 140 research papers published during 2010-2018. Accordingly, a comprehensive analysis of various MDE approaches used in the development life-cycle of CPS is presented. Furthermore, the study identifies the research gaps and areas that need more investigation. The contribution helps researchers and practitioners to get an overall understanding of the research trends and existing challenges for further research/development.

show abstract

Section: Validation and Verification (Vandv)mentioning

confidence: 99%

“…The vast majority of the studies used UPPAAL for verification, see Table 14. For instance, [110] used UPPAAL for modeling system's state space and the transitions between them.…”

Section: Developed/used Mde Tools For Cpsmentioning

confidence: 99%