A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research

Lin, Junyang; Sedigh, Sahra; Miller, Alice

doi:10.1109/compsac.2009.103

Cited by 39 publications

(13 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…, , , 11 (2) Markov Model: While the Bernoulli model in the previous section suffices to model a DoS attack on CPS control loop, it's possible to model a more sophisticated attack by using Markov hidden variables. This approach allows states to be taken into account, compared to the memory less Bernoulli model [84]. Given the above system, the Markov process is:…”

Section: Denial Of Service (Dos) Attackmentioning

confidence: 99%

Robust Cyber–Physical Systems: Concept, models, and implementation

Lü

Vasilakos

et al. 2016

Future Generation Computer Systems

149

View full text Add to dashboard Cite

In this paper we comprehensively survey the concept and strategies for building a resilient and integrated cyber-physical system (CPS). Here resilience refers to a 3S-oriented design, that is, stability, security, and systematicness: Stability means the CPS can achieve a stable sensing-actuation close-loop control even though the inputs (sensing data) have noise or attacks; Security means that the system can overcome the cyber-physical interaction attacks; and Systematicness means that the system has a seamless integration of sensors and actuators. We will also explain the CPS modeling issues since they serve as the basics of 3S design. We will use two detailed examples from our achieved projects to explain how to achieve a robust, systematic CPS design: Case study 1 is on the design of a rehabilitation system with cyber (sensors) and physical (robots) integration. Case Study 2 is on the implantable medical device design. It illustrates the nature of CPS security principle. The dominant feature of this survey is that it has both principle discussions and practical cyber-physical coupling design. 1

show abstract

Section: Denial Of Service (Dos) Attackmentioning

confidence: 99%

Robust Cyber–Physical Systems: Concept, models, and implementation

Lü

Vasilakos

et al. 2016

Future Generation Computer Systems

149

View full text Add to dashboard Cite

show abstract

“…In the simulation study of the CPS system, Lin Jing et al from the Missouri University of Technology used agent-based modeling to construct a model of CPS [7]. Based on the service-oriented architecture (SOA), the University of Texas proposed Physical-entity service model for CPS modeling [8].…”

Section: Fig 1 C Typical Cyber-physical Systemmentioning

confidence: 99%

Modeling and Simulation of CPS based on SysML and Modelica (S)

Deng¹,

Yan²,

Gao³

et al. 2019

International Conferences on Software Engineering and Knowledge Engineering

View full text Add to dashboard Cite

Cyber-Physical Systems (CPS) is usually associated with large numbers of domains. The domain relevance allows system engineers' knowledge to spread many domains. The efficiency and accuracy of modeling are not able to be guaranteed. Therefore, in this paper, a set of CPS modeling guideline is proposed based on SysML, and the system's 4-layer abstract hierarchy and the kind of modeling products obtained on each layer are defined. Based on this, a modeling specification containing seven sub-processes is designed. In order to verify the correctness of CPS function and the consistency of the business logic at the primary phase of the design, we summarize the mapping rules of SysML-Modelica and define the algorithm of model conversion. Finally, a simple CPS case is used to verify our task. The results show that this method can be effective in CPS's modeling and Simulation.

show abstract

“…We study and design of a new Hybrid NC Control System (HNCS) based on Cyber Physical Systems (CPS) technology [15][16][17][18][19]. It will be armed for Intelligent Robot System for CNC production.…”

Section: Introductionmentioning

confidence: 99%

Design of Hybrid NC Control System for Automatic Line

Qian¹,

Xu²,

Zhang

et al. 2015

IJHIT

View full text Add to dashboard Cite

This paper presents a Hybrid NC Control System for Automatic line based onCyber-Physical-System (CPS) technology. Firstly, this paper describes the overall system hierarchical structure, which uses a variety of techniques, such as sensors, smart computing, and heterogeneous network integration. In order to improve the practical value, we study and solve some technical problems, such as heterogeneous systems integration, data storage, and real-time simulation. Finally, the prototype system is developed, which has been applied in a large State-owned enterprise in Wuxi, China.

show abstract

A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research

Cited by 39 publications

References 7 publications

Robust Cyber–Physical Systems: Concept, models, and implementation

Robust Cyber–Physical Systems: Concept, models, and implementation

Modeling and Simulation of CPS based on SysML and Modelica (S)

Design of Hybrid NC Control System for Automatic Line

Contact Info

Product

Resources

About