Turnitin
降AI改写
早检测系统
早降重系统
Turnitin-UK版
万方检测-期刊版
维普编辑部版
Grammarly检测
Paperpass检测
checkpass检测
PaperYY检测
Dynamic fault tree analysis: state-of-the-art in modeling, analysis, and tools
Safety and reliability are two important aspects of dependability that are needed to be
rigorously evaluated throughout the development life-cycle of a system. Over the years …
rigorously evaluated throughout the development life-cycle of a system. Over the years …
Defining and characterizing model-based safety assessment: A review
Abstract Model-based safety assessment (MBSA) has been one of the major research
thrusts of the System Safety Engineering community for about three decades. It has attracted …
thrusts of the System Safety Engineering community for about three decades. It has attracted …
Supporting model-based safety analysis for safety-critical IoT systems
Dependability is regarded as the ability of the system to provide services that can be trusted
within a specific period. As the complexity and heterogeneity of Internet of Things (IoT) …
within a specific period. As the complexity and heterogeneity of Internet of Things (IoT) …
Reliability and performance measurement of safety-critical systems based on petri nets: a case study of nuclear power plant
Safety-critical systems (SCSs) mitigate the risk of catastrophic loss of assets and hence do
have high dependability targets. Performance and reliability are the critical dependability …
have high dependability targets. Performance and reliability are the critical dependability …
A data mining approach for transformer failure rate modeling based on daily oil chromatographic data
Evaluating the real-time failure rate of transformers can effectively guide the planning of
maintenance and reduce their failure risk. This paper proposed a novel transformer failure …
maintenance and reduce their failure risk. This paper proposed a novel transformer failure …
A systematic approach to analyzing perception architectures in autonomous vehicles
Simulations are commonly used to validate the design of autonomous systems. However, as
these systems are increasingly deployed into safety-critical environments with aleatoric …
these systems are increasingly deployed into safety-critical environments with aleatoric …
Safedrones: Real-time reliability evaluation of uavs using executable digital dependable identities
Abstract The use of Unmanned Arial Vehicles (UAVs) offers many advantages across a
variety of applications. However, safety assurance is a key barrier to widespread usage …
variety of applications. However, safety assurance is a key barrier to widespread usage …
Reliability analysis of smart grids using formal methods
Smart grids (SG) are complex integrated electric networks, where failures in any zone of the
network can cause widespread catastrophic disruption of supply. In recent years, there has …
network can cause widespread catastrophic disruption of supply. In recent years, there has …
Cause-consequence diagram reliability analysis using formal techniques with application to electrical power networks
Cause-consequence Diagram (CCD) is widely used as a deductive safety analysis
technique for decision-making at the critical-system design stage. This approach models the …
technique for decision-making at the critical-system design stage. This approach models the …
A combination method for integrated modular avionics safety analysis
H Yang, Y Sun - Aircraft engineering and aerospace technology, 2023 - emerald.com
Purpose This study aims to solve the problem that the traditional hierarchically performed
hazard origin and propagation studies (HiP-HOPS) cannot make dynamic model for the …
hazard origin and propagation studies (HiP-HOPS) cannot make dynamic model for the …