Internet of medical things: A review of recent contributions dealing with cyber-physical systems in medicine
The Internet of Medical Things (IoMT) designates the interconnection of communication-
enabled medical-grade devices and their integration to wider-scale health networks in order …
enabled medical-grade devices and their integration to wider-scale health networks in order …
Cyber physical system (CPS)-based industry 4.0: A survey
Y Lu - Journal of Industrial Integration and Management, 2017 - World Scientific
Cyber Physical System (CPS) has provided an outstanding foundation to build advanced
industrial systems and applications by integrating innovative functionalities through Internet …
industrial systems and applications by integrating innovative functionalities through Internet …
Medical cyber–physical systems: A solution to smart health and the state of the art
F Chen, Y Tang, C Wang, J Huang… - IEEE Transactions …, 2021 - ieeexplore.ieee.org
A medical cyber–physical system (MCPS) is a unique cyber–physical system (CPS), which
combines embedded software control devices, networking capabilities, and complex …
combines embedded software control devices, networking capabilities, and complex …
Applications of model-driven engineering in cyber-physical systems: A systematic map** study
Engineers face significant challenges in develo** cyber-physical systems (CPS) due to
their heterogeneous nature, ie the need for knowledge and skills from a wide range of …
their heterogeneous nature, ie the need for knowledge and skills from a wide range of …
Model-driven engineering tools and languages for cyber-physical systems–a systematic literature review
The development of Cyber-physical Systems (CPS) draws more interest from both
researchers and industrial practitioners considering the opportunities they offer in almost all …
researchers and industrial practitioners considering the opportunities they offer in almost all …
Survey on automated symbolic verification and its application for synthesising cyber‐physical systems
Dependency on the correct operation of embedded systems is rapidly growing, mainly due
to their wide range of applications. Their structures are becoming more complex and …
to their wide range of applications. Their structures are becoming more complex and …
A comprehensive technological survey on the dependable self-management CPS: From self-adaptive architecture to self-management strategies
P Zhou, D Zuo, KM Hou, Z Zhang, J Dong, J Li, H Zhou - Sensors, 2019 - mdpi.com
Cyber Physical Systems (CPS) has been a popular research area in the last decade. The
dependability of CPS is still a critical issue, and few surveys have been published in this …
dependability of CPS is still a critical issue, and few surveys have been published in this …
A simulation platform for human-machine interaction safety analysis of cyber-physical systems
CF Fan, CC Chan, HY Yu, S Yih - International journal of industrial …, 2018 - Elsevier
Human-machine interaction (HMI) safety for cyber-physical systems (CPSs) is critical and its
analysis is mandatory in many domains such as SCADA, autonomous cars, and medical …
analysis is mandatory in many domains such as SCADA, autonomous cars, and medical …
A systematic literature review of the use of formal methods in medical software systems
The use of formal methods is often recommended to guarantee the provision of necessary
services and to assess the correctness of critical properties, such as functional safety …
services and to assess the correctness of critical properties, such as functional safety …
Conceptualizing data-driven closed loop production systems for lean manufacturing of complex biomedical devices—a cyber-physical system approach
A model is presented for shifting the manual intensive manufacturing process of complex
biomedical devices towards more lean and efficient production process via application of …
biomedical devices towards more lean and efficient production process via application of …