
StateFlow
 Referenced in 44 articles
[sw04350]
 design logic for supervisory control, task scheduling, and fault management applications. Stateflow includes state machine...

MOCUS
 Referenced in 9 articles
[sw12553]
 Boolean failure logic of a system, called a fault tree, and control parameters specifying ... failures, called primary events, to resolve the fault tree to obtain the minimal sets ... size of path sets. Other types of logic gates must be described in terms...

HYSDEL
 Referenced in 39 articles
[sw05200]
 fashion, HYSDEL transforms it to the mixedlogical dynamical (MLD) form which can be immediately ... optimal control, safety verification, or estimation and fault detection problems...

Verilog
 Referenced in 10 articles
[sw13592]
 consistency across diverse toolsfault simulators, timing analyzers, behavioral and logic synthesis as well...

FuzzyFTA
 Referenced in 6 articles
[sw12421]
 FuzzyFTA, for reliability analysis using fault tree and fuzzy logic. Some measures are defined...

FATRAM
 Referenced in 3 articles
[sw25821]
 determining minimal cut sets for logic models (in particular, fault trees). Although these methods...

ELRAFT
 Referenced in 2 articles
[sw25846]
 Computer Program for the Efficient Logic Reduction Analysis of Fault Trees. One of the most ... reliability analysis is the Fault Tree. In Fault Tree analysis, component failures or conditions (basic ... events). Application of probability theory to the logic scheme thus depicted permits computation of system...

ADDSAFE
 Referenced in 3 articles
[sw19643]
 challenging manoeuvres and realistic fault types. The detection and isolation logic together with a statistical...

JoiN
 Referenced in 1 article
[sw07880]
 collaborate using a logical interconnection topology. JoiN provides advanced fault tolerance capabilities that allow...

FlipIt
 Referenced in 1 article
[sw38953]
 fault injector is in the ability to augment the runtime injection logic ... spacial, temporal, and probability of injected faults. The usability, scalability, and robustness of our fault...

QCOR
 Referenced in 1 article
[sw38536]
 elementary logic operations. Existing programming models for quantum computing were designed with faulttolerant hardware...

WADE
 Referenced in 3 articles
[sw08954]
 distribution both in terms of administration and fault tolerance. In this paper in particular ... level to the level of system internal logic...

DiskPaxos
 Referenced in 2 articles
[sw29236]
 Paxos is an algorithm for building arbitrary faulttolerant distributed systems. The specification of Disk ... Isabelle theorem prover and the HOL logic system, showing that Isabelle is a practical tool...

VeriCount
 Referenced in 1 article
[sw25455]
 Linux containerbased applications. To protect VeriCount logic, we propose a novel approach called self ... guarantees from trusted computing mechanisms and software fault isolation techniques. The selfaccounting engine...

FLAR
 Referenced in 2 articles
[sw02755]
 colonies and enhanced by fuzzy logic techniques. Using a fuzzy system as an intelligent ... algorithms show better performance and a higher fault tolerance for our approach, particularly in regard...

Simpl
 Referenced in 1 article
[sw32234]
 logic. We integrate and automate the Hoare logic in Isabelle/HOL to obtain a practically usable ... recursive procedures, abrupt termination and exceptions, runtime faults, local and global variables, pointers and heap...

PTC Windchill FTA
 Referenced in 1 article
[sw12548]
 fault tree analysis tools, organizations can construct fault trees to assess the likelihood that ... invaluable tool because it enforces the logic connecting together events that may potentially contribute ... product trial to experience powerful fault tree analysis software that offers complete integration with several...

ASTRA
 Referenced in 12 articles
[sw00052]
 Fault Tree Analysis (FTA) is a formalised deductive...

ACL2
 Referenced in 283 articles
[sw00060]
 ACL2 is both a programming language in which...

CoCoA
 Referenced in 654 articles
[sw00143]
 CoCoA is a system for Computations in Commutative...