From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations

Li, Tao; Tan, Feng; Wang, Qixin; Bu, Lei; Cao, Jiannong; Li, Xue

doi:10.1109/tpds.2013.50

Cited by 34 publications

(1 citation statement)

References 29 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The first involves discrete computer logic of various secured medical equipment in the cyber-world. The second is that it offers a complicated biochemical system that includes a patient-in-the-loop mechanism [71]. As a result, CPSs offer valuable data and reduce patients' waiting times.…”

Section: Healthcarementioning

confidence: 99%

A Survey on the Role of Industrial IoT in Manufacturing for Implementation of Smart Industry

Farooq,

Abdullah,

Riaz

et al. 2023

Sensors

View full text Add to dashboard Cite

The Internet of Things (IoT) is an innovative technology that presents effective and attractive solutions to revolutionize various domains. Numerous solutions based on the IoT have been designed to automate industries, manufacturing units, and production houses to mitigate human involvement in hazardous operations. Owing to the large number of publications in the IoT paradigm, in particular those focusing on industrial IoT (IIoT), a comprehensive survey is significantly important to provide insights into recent developments. This survey presents the workings of the IoT-based smart industry and its major components and proposes the state-of-the-art network infrastructure, including structured layers of IIoT architecture, IIoT network topologies, protocols, and devices. Furthermore, the relationship between IoT-based industries and key technologies is analyzed, including big data storage, cloud computing, and data analytics. A detailed discussion of IIoT-based application domains, smartphone application solutions, and sensor- and device-based IIoT applications developed for the management of the smart industry is also presented. Consequently, IIoT-based security attacks and their relevant countermeasures are highlighted. By analyzing the essential components, their security risks, and available solutions, future research directions regarding the implementation of IIoT are outlined. Finally, a comprehensive discussion of open research challenges and issues related to the smart industry is also presented.

show abstract

Section: Healthcarementioning

confidence: 99%

A Survey on the Role of Industrial IoT in Manufacturing for Implementation of Smart Industry

Farooq,

Abdullah,

Riaz

et al. 2023

Sensors

View full text Add to dashboard Cite

show abstract

A comprehensive survey on modeling of cyber‐physical systems

Graja

Kallel

Guermouche

et al. 2018

Concurrency and Computation

View full text Add to dashboard Cite

SummaryModeling Cyber‐physical systems (CPS) is a challenging step that requires a lot of background from both the cyber and physical fields. However, there is a lack of studies in the existing literature that discuss the state of the art in modeling CPS or explore the research gaps in this area. In this paper, we survey existing approaches to modeling CPS. We focus on studying the considered CPS properties. Based on this study, we classify these properties and discuss their importance in different application domains. Moreover, research directions are presented to address key challenges in the specification of CPS models.

show abstract

A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification

Lehmann

Antoni

Schlaefer

et al. 2019

Cyber Physical Systems. Model-Based Design

View full text Add to dashboard Cite

From Offline toward Real Time: A Hybrid Systems Model Checking and CPS Codesign Approach for Medical Device Plug-and-Play Collaborations

Cited by 34 publications

References 29 publications

A Survey on the Role of Industrial IoT in Manufacturing for Implementation of Smart Industry

A Survey on the Role of Industrial IoT in Manufacturing for Implementation of Smart Industry

A comprehensive survey on modeling of cyber‐physical systems

A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification

Contact Info

Product

Resources

About