A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research
The overarching objective of the proposed doctoral research is to build a qualitative and quantitative understanding of dependability in cyber physical systems (CPS). The existing body of knowledge includes frameworks and techniques for assessment, modeling, and simulation of the physical and cyber infrastructures, respectively, but such isolated analysis is incapable of fully capturing the interdependencies between these infrastructures. Understanding these interdependencies is a critical precursor to accurate representation and modeling of the CPS as a whole, especially with respect to dependability. The physical water distribution infrastructure, coupled with the hardware and software that support intelligent water allocation, comprise the model CPS that will be used as a case study for the proposed research. A preliminary literature review has been carried out on dependability modeling for CPS, with very sparse results. Allocation algorithms for water distribution have also been investigated, with game theory appearing to hold the most promise. An agent-based approach is suggested for linking the cyber and physical layers, where the agents retrieve information from sensors monitoring the physical components and provide this information to the cyber components. Fault injection will be used to investigate the propagation of failures between the cyber and physical layers. Markovian models will be used to capture the manifestation of cyber and/or physical faults as failures in water allocation, or containment of contaminants.
J. Lin et al., "A General Framework for Quantitative Modeling of Dependability in Cyber-Physical Systems: A Proposal for Doctoral Research," Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (2009, Seattle, WA), vol. 1, pp. 668-671, Institute of Electrical and Electronics Engineers (IEEE), Jul 2009.
The definitive version is available at http://dx.doi.org/10.1109/COMPSAC.2009.103
33rd Annual IEEE International Computer Software and Applications Conference (2009: Jul. 20-24, Seattle, WA)
Electrical and Computer Engineering
Keywords and Phrases
Agent-Based Approach; Allocation Algorithm; Body Of Knowledge; Cyber Infrastructures; Cyber-Physical Systems; Doctoral Research; Fault Injection; Hardware And Software; Literature Reviews; Markovian Model; Physical Components; Physical Faults; Physical Layers; Quantitative Modeling; Water Allocations; Water Distributions; Computer Applications; Game Theory; Markov Processes; Simulators; Software Testing; Water Distribution Systems; Water Supply; Word Processing; Research
International Standard Book Number (ISBN)
International Standard Serial Number (ISSN)
Article - Conference proceedings
© 2009 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.