• 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 mixed-logical 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 tools-fault 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 fault-tolerant 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 fault-tolerant 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 container-based applications. To protect VeriCount logic, we propose a novel approach called self ... guarantees from trusted computing mechanisms and software fault isolation techniques. The self-accounting 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...