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 mapping study
Engineers face significant challenges in developing 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
LC Cordeiro, EB de Lima Filho… - IET Cyber‐Physical …, 2020 - Wiley Online Library
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
S Bonfanti, A Gargantini… - Journal of Software …, 2018 - Wiley Online Library
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 …