A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and ...A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.展开更多
The propagation of single-event effects(SEEs)on a Xilinx Zynq-7000 system on chip(SoC)was inves-tigated using heavy-ion microbeam radiation.The irradia-tion results reveal several functional blocks’sensitivity locati...The propagation of single-event effects(SEEs)on a Xilinx Zynq-7000 system on chip(SoC)was inves-tigated using heavy-ion microbeam radiation.The irradia-tion results reveal several functional blocks’sensitivity locations and cross sections,for instance,the arithmetic logic unit,register,D-cache,and peripheral,while irradi-ating the on-chip memory(OCM)region.Moreover,event tree analysis was executed based on the obtained microbeam irradiation results.This study quantitatively assesses the probabilities of SEE propagation from the OCM to other blocks in the SoC.展开更多
Within this paper, the process of statistical safety analysis has been presented, which involves the following steps： formulation of basic principles of statistical safety analysis, initial events analysis, accident ...Within this paper, the process of statistical safety analysis has been presented, which involves the following steps： formulation of basic principles of statistical safety analysis, initial events analysis, accident sceneries progress analysis, risk calculation, and risk calculation results analysis. On this basis, it has been concluded that the bucket wheel excavator SRs 1200×24/4×0（400 kW）＋VR safety criteria is the mechanism for the hoist of rotor＇s arrow failure modes, because in that case whole bucket wheel excavator failure would necessarily happen （excavator falling down on counterweight）. Therefore, excavator units statistical safety analysis is accomplished preventively to obtain its effective maintenance management.展开更多
In view of the common psychological problems of college students,this paper analyzed the current situation and problems of college students,and found that the management of mental health education is complex and diffi...In view of the common psychological problems of college students,this paper analyzed the current situation and problems of college students,and found that the management of mental health education is complex and difficult.A main reason is the lack of scientific method guidance.According to this phenomenon and the existing problems,using the event tree analysis(ETA),the qualitative and quantitative analysis,it found that emergency treatment is the most important link in mental health education management of college students,test education talk emergency four links missing and failure will lead to hidden danger.Finally,combined with the principle of education and management,and psychological principle,it proposed method for the event tree mental health education management.展开更多
基金supported by the National Natural Science Foundation of China(11832012)
文摘A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.
基金This work was supported by the National Natural Science Foundation of China(Nos.11575138,11835006,11690040,11690043,and 11705216)the Innovation Center of Radiation Application(No.KFZC2019050321)the China Scholarships Council program(No.201906280343).
文摘The propagation of single-event effects(SEEs)on a Xilinx Zynq-7000 system on chip(SoC)was inves-tigated using heavy-ion microbeam radiation.The irradia-tion results reveal several functional blocks’sensitivity locations and cross sections,for instance,the arithmetic logic unit,register,D-cache,and peripheral,while irradi-ating the on-chip memory(OCM)region.Moreover,event tree analysis was executed based on the obtained microbeam irradiation results.This study quantitatively assesses the probabilities of SEE propagation from the OCM to other blocks in the SoC.
文摘Within this paper, the process of statistical safety analysis has been presented, which involves the following steps： formulation of basic principles of statistical safety analysis, initial events analysis, accident sceneries progress analysis, risk calculation, and risk calculation results analysis. On this basis, it has been concluded that the bucket wheel excavator SRs 1200×24/4×0（400 kW）＋VR safety criteria is the mechanism for the hoist of rotor＇s arrow failure modes, because in that case whole bucket wheel excavator failure would necessarily happen （excavator falling down on counterweight）. Therefore, excavator units statistical safety analysis is accomplished preventively to obtain its effective maintenance management.
文摘In view of the common psychological problems of college students,this paper analyzed the current situation and problems of college students,and found that the management of mental health education is complex and difficult.A main reason is the lack of scientific method guidance.According to this phenomenon and the existing problems,using the event tree analysis(ETA),the qualitative and quantitative analysis,it found that emergency treatment is the most important link in mental health education management of college students,test education talk emergency four links missing and failure will lead to hidden danger.Finally,combined with the principle of education and management,and psychological principle,it proposed method for the event tree mental health education management.
