• SHARPE

  • Referenced in 43 articles [sw03100]
  • performability modeling. Model types include combinatorial one such as fault-trees and queuing networks ... such as Markov and semi-Markov reward models as well stochastic Petri nets. Steady-state...
  • HYSDEL

  • Referenced in 39 articles [sw05200]
  • logic rules. Once a hybrid system is modeled in a human-readable fashion, HYSDEL transforms ... optimal control, safety verification, or estimation and fault detection problems...
  • COWS

  • Referenced in 51 articles [sw06955]
  • both for modelling imperative and orchestration constructs, e.g. web services, flow graphs, fault and compensation...
  • Pregel

  • Referenced in 41 articles [sw13416]
  • algorithms. The model has been designed for efficient, scalable and fault-tolerant implementation on clusters...
  • Havana

  • Referenced in 3 articles [sw16436]
  • Havana: a fault modeling tool. Improved knowledge on faults and hydrocarbon seal put pressure ... paper describes the development of a fault modeling tool, the methodology behind it and examples ... fault modeling studies. The general focus is on the uncertainty related to faults. The tool ... further development, more detailed fault models and improvements of the general fault modeling capabilities. Examples...
  • DIFtree

  • Referenced in 4 articles [sw12541]
  • package for the analysis of dynamic fault tree models. Several advances in fault tree models ... include the ability to model sequence dependencies, the application of fault trees to the analysis...
  • StateFlow

  • Referenced in 46 articles [sw04350]
  • state transition tables, and truth tables, to model how your system reacts to events, time ... logic for supervisory control, task scheduling, and fault management applications. Stateflow includes state machine animation...
  • Transactors

  • Referenced in 6 articles [sw20929]
  • environments. We introduce transactors, a fault-tolerant programming model for composing loosely-coupled distributed components ... maintain globally consistent distributed state. The transactor model incorporates certain elements of traditional transaction processing ... coordination, thus facilitating the study of distributed fault-tolerance from a semantic point of view ... extended lambda-calculus based on the actor model, and illustrate its usage through a number...
  • Fault Diagnosis Toolbox

  • Referenced in 3 articles [sw32054]
  • Matlab toolbox for analysis and design of fault diagnosis systems for dynamic systems, primarily described ... structural analysis of large-scale dynamic models, fault isolability analysis, sensor placement analysis, and code...
  • DFTCalc

  • Referenced in 5 articles [sw12545]
  • tool for FTA, providing (1) efficient fault tree modelling via compact representations; (2) effective analysis...
  • GemPy

  • Referenced in 5 articles [sw31288]
  • constructing complex full 3-D geological models, including fault networks, fault–surface interactions, unconformities ... aspects required to generate 3-D geological models and additional assets for advanced scientific investigations...
  • CloudSim

  • Referenced in 28 articles [sw10724]
  • CloudSim: A Novel Framework for Modeling and Simulation of Cloud Computing Infrastructures and Services. Cloud ... computing focuses on delivery of reliable, secure, fault-tolerant, sustainable, and scalable infrastructures for hosting ... software, services) for different application and service models under varying load, energy performance (power consumption...
  • NFTAPE

  • Referenced in 1 article [sw38951]
  • good at injecting a single fault model into a single system, they suffer from ... sufficient for injecting all necessary fault models; (2) it is difficult to port these tools ... systems. NFTAPE, a tool for composing automated fault injection experiments from available lightweight fault injectors...
  • Eclat

  • Referenced in 7 articles [sw07273]
  • inputs, a small subset likely to reveal faults in the software under test. The technique ... enhance. The technique first infers an operational model of the software’s operation. Then, inputs ... differs from the model in specific ways are suggestive of faults. These inputs are further ... technique as most likely to reveal faults. Thus, the technique can also be seen...
  • PowerDynamics.jl

  • Referenced in 3 articles [sw36524]
  • modeling concept, implemented component models and fault scenarios have been experimentally tested against measurements...
  • ADDSAFE

  • Referenced in 4 articles [sw19643]
  • based on an LPV model is presented, where the fault reconstruction signal is obtained from...
  • RECONFIGURE

  • Referenced in 6 articles [sw19644]
  • reconstructing, simultaneously occurring actuator and sensor faults in a nonlinear system. The theory which will ... mode observer formulation, designed around an LPV model approximation of the nonlinear system. It extends ... which has independently considered actuator and sensor faults reconstruction. Here a single observer structure will ... sensor faults. The paper will describe the development of the LPV model, the theory...
  • DeepMutation

  • Referenced in 2 articles [sw42699]
  • models. Using an inadequate test dataset, DL models that have achieved high test accuracy ... extent a test suite detects the injected faults. However, due to the fundamental difference between ... source-level mutation operators to inject faults to the source of DL (i.e., training data ... mutation operators that directly inject faults into DL models without a training process. Eventually...
  • FATRAM

  • Referenced in 3 articles [sw25821]
  • minimal cut sets for logic models (in particular, fault trees). Although these methods are theoretically...
  • Galileo

  • Referenced in 13 articles [sw00316]
  • Galileo, an experimental software tool supporting dynamic fault tree analysis and having, as additional properties ... case for the dependability of its core modeling functions based on mathematical validation and verification...