Results 31 to 40 of about 103,221 (295)
Dynamic Reliability by Using Simulink and Stateflow
Chemical Engineering Transactions, 2013 The safety of high criticity industrial systems relies heavily on relatively complex programmed systems. Due to the complexity of the interactions between physical processes and their control, classical methodologies such as even-trees/fault-trees or ...
H. Zhang +3 more
doaj +1 more source
DFTCalc: reliability centered maintenance via fault tree analysis (tool paper) [PDF]
, 2015 Reliability, availability, maintenance and safety (RAMS) analysis is essential in the evaluation of safety critical systems like nuclear power plants and the railway infrastructure.
D Guck +8 more
core +3 more sources
Supporting group maintenance through prognostics-enhanced dynamic dependability prediction [PDF]
, 2017 Condition-based maintenance strategies adapt maintenance planning through the integration of online condition monitoring of assets. The accuracy and cost-effectiveness of these strategies can be improved by integrating prognostics predictions and ...
Aizpurua, J. I. +9 more
core +1 more source
A synthesis of logic and biology in the design of dependable systems [PDF]
, 2015 The technologies of model-based design and dependability analysis in the design of dependable systems, including software intensive systems, have advanced in recent years.
Papadopoulos, Yiannis
core +1 more source
Fault Diagnosis of Roadheader Based on Dynamic Fault Tree
DEStech Transactions on Engineering and Technology Research, 2017 The roadheader faults are highly concerned by machinery factories. Facing the variety of the roadheader faults, the complex relationships between fault sources, as well as the difficulties of fault diagnosis, this paper proposed a method to set up the dynamic fault tree of roadheader.
Tongzhou Yin +5 more
openaire +2 more sources
A Novel Dynamic Approach for Risk Analysis and Simulation Using Multi-Agents Model
Applied Sciences, 2022 Static risk analysis techniques (SRATs) use event graphs and risk analysis assessment models. Those techniques are not time-based techniques and hence are inadequate to model dynamic stochastic systems.
Hassan Kanj +2 more
doaj +1 more source
A Methodology for the Formal Verification of Dynamic Fault Trees Using HOL Theorem Proving
IEEE Access, 2019 Dynamic Fault Trees (DFTs) are increasingly being used for modeling the failure behaviors of systems, particularly dynamic behaviors that cannot be captured using conventional combinatorial models.
Yassmeen Elderhalli +2 more
doaj +1 more source
Chemical Engineering Transactions, 2022 In the present era, the spread of cyber-physical systems in the framework of the so-called Industry 4.0, is leading towards a complete automation of industrial processes, which are increasingly decentralized, smart, and require fewer and fewer frontline ...
Tomaso Vairo +4 more
doaj +1 more source
A Superstabilizing $\log(n)$-Approximation Algorithm for Dynamic Steiner Trees [PDF]
, 2009 In this paper we design and prove correct a fully dynamic distributed algorithm for maintaining an approximate Steiner tree that connects via a minimum-weight spanning tree a subset of nodes of a network (referred as Steiner members or Steiner group ...
A.M. Kermarrec +11 more
core +7 more sources
SAFEST: The Static and Dynamic Fault Tree Analysis Tool
Proceeding of the 33rd European Safety and Reliability Conference, 2023 Contains fulltext : 297193.pdf (Publisher’s version ) (Open Access)
Volk, M. +5 more
openaire +3 more sources