Controller area networks(CANs),as one of the widely used fieldbuses in the industry,have been extended to the automation field with strict standards for safety and reliability.In practice,factors such as fatigue and i...Controller area networks(CANs),as one of the widely used fieldbuses in the industry,have been extended to the automation field with strict standards for safety and reliability.In practice,factors such as fatigue and insulation wear of the cables can cause intermittent connection(IC)faults to occur frequently in the CAN,which will affect the dynamic behavior and the safety of the system.Hence,quantitatively evaluating the performance of the CAN under the influence of IC faults is crucial to real-time health monitoring of the system.In this paper,a novel methodology is proposed for real-time quantitative evaluation of CAN availability when considering IC faults,with the system availability parameter being calculated based on the network state transition model.First,the causal relationship between IC fault and network error response is constructed,based on which the IC fault arrival rate is estimated.Second,the states of the network considering IC faults are analyzed,and the deterministic and stochastic Petri net(DSPN)model is applied to describe the transition relationship of the states.Then,the parameters of the DSPN model are determined and the availability of the system is calculated based on the probability distribution and physical meaning of markings in the DSPN model.A testbed is constructed and case studies are conducted to verify the proposed methodology under various experimental setups.Experimental results show that the estimation results obtained using the proposed method agree well with the actual values.展开更多
Cyber-physical systems(CPSs)are becoming increasingly important in safety-critical systems.Particular risk analysis(PRA)is an essential step in the safety assessment process to guarantee the quality of a system in the...Cyber-physical systems(CPSs)are becoming increasingly important in safety-critical systems.Particular risk analysis(PRA)is an essential step in the safety assessment process to guarantee the quality of a system in the early phase of system development.Human factors like the physical environment are the most important part of particular risk assessment.Therefore,it is necessary to analyze the safety of the system considering human factor and physical factor.In this paper,we propose a new particular risk model(PRM)to improve the modeling ability of the Architecture Analysis and Design Language(AADL).An architecture-based PRA method is presented to support safety assessment for the AADL model of a cyber-physical system.To simulate the PRM with the proposed PRA method,model transformation from PRM to a deterministic and stochastic Petri net model is implemented.Finally,a case study on the power grid system of CPS is modeled and analyzed using the proposed method.展开更多
基金supported by the National Natural Science Foundation of China(No.52072341)。
文摘Controller area networks(CANs),as one of the widely used fieldbuses in the industry,have been extended to the automation field with strict standards for safety and reliability.In practice,factors such as fatigue and insulation wear of the cables can cause intermittent connection(IC)faults to occur frequently in the CAN,which will affect the dynamic behavior and the safety of the system.Hence,quantitatively evaluating the performance of the CAN under the influence of IC faults is crucial to real-time health monitoring of the system.In this paper,a novel methodology is proposed for real-time quantitative evaluation of CAN availability when considering IC faults,with the system availability parameter being calculated based on the network state transition model.First,the causal relationship between IC fault and network error response is constructed,based on which the IC fault arrival rate is estimated.Second,the states of the network considering IC faults are analyzed,and the deterministic and stochastic Petri net(DSPN)model is applied to describe the transition relationship of the states.Then,the parameters of the DSPN model are determined and the availability of the system is calculated based on the probability distribution and physical meaning of markings in the DSPN model.A testbed is constructed and case studies are conducted to verify the proposed methodology under various experimental setups.Experimental results show that the estimation results obtained using the proposed method agree well with the actual values.
基金the State Power Grid Company Science and Technical Plan Project,China(No.5100-201940008A-0-0-00)。
文摘Cyber-physical systems(CPSs)are becoming increasingly important in safety-critical systems.Particular risk analysis(PRA)is an essential step in the safety assessment process to guarantee the quality of a system in the early phase of system development.Human factors like the physical environment are the most important part of particular risk assessment.Therefore,it is necessary to analyze the safety of the system considering human factor and physical factor.In this paper,we propose a new particular risk model(PRM)to improve the modeling ability of the Architecture Analysis and Design Language(AADL).An architecture-based PRA method is presented to support safety assessment for the AADL model of a cyber-physical system.To simulate the PRM with the proposed PRA method,model transformation from PRM to a deterministic and stochastic Petri net model is implemented.Finally,a case study on the power grid system of CPS is modeled and analyzed using the proposed method.
