All Classes and Interfaces

Class
Description
The ABGT class calculates the ABGT importance for coherent and non-coherent systems proposed by [ABGT17].
The AbstractAspect is the basic class for all Aspects.
The AbstractHierarchicalTerm is the basic class for TermUtils that consist of other TermUtils.
The ANDTerm is a Term that interrelates its embedded TermUtils with the AND operator}.
The Aspect allows to determine the y-value for the ReliabilityFunction y = R(x) under the current Aspect.
The BAGT class calculates the time-independent importance of components proposed by [BAGT16].
 
The BarlowProschan class calculates the time-independent importance for coherent systems proposed by Barlow and Proschan in [BP75].
The BDD is an interface containing the very basic functionality of a BDD.
The BDDProvider provides the actual BDDs for each component.
The BDDReliabilityFunction represents the ReliabilityFunction that is inherently included in a BDD.
The BDDs contains common reliabilityFunctions for/on BDDs.
The BDDTopEvent allows the fast calculation of the top event for a given BDD.
The BDDTTRF transforms a Boolean function represented as a Term into a ReliabilityFunction or, if needed, into a BDD.
The BDDTTRFSimulative performs a Monte-Carlo simulation to determine the ReliabilityFunction based on a BDD representation of the system structure.
The Birnbaum class calculates the Birnbaum Importance for coherent systems.
The BirnbaumAB class calculates the Andrews Beeson extension of the Birnbaum importance for coherent and non-coherent systems by [AB03].
The Boiler models a boiler that is responsible for keeping the water in a tank at the desired temperature and pumping it to a destination if needed.
The abstract BoilerComponent is the basic class that models each of the components used in the model of the Boiler.
The BoilerTester performs some common actions that are done with a modeled system.
Implements a coherent bridge system with two paths 1 2 and 3 4 and the bridge 5.
The ConstantFailureFunction returns a constant failure probability for which it must hold that
0 =< failure probability =< 1.
The ConstantReliabilityFunction returns a constant success probability for which it must hold that
0 =< failure probability =< 1.
The ConstraintTester can be used to test the BDDTTRF.convertToBDD(Term) function.
The Controller models a controlling component that is used for activating the pumps and controlling the water temperature.
The CriticalityBDDs class is a wrapper class to encapsulate the failure and repair criticality BDDs of a component.
The CriticalityCalculator is a utility class used to calculate the CriticalityValues and CriticalityBDDs of the components of a system.
The CriticalityValues class is a wrapper class to encapsulate the failure and repair criticality values of a component.
The DensityAspect represents the density of a ReliabilityFunction.
The DensityFunction determines the density f(x) of a Function F(x).
The Evaluator is a marker interface for all evaluators.
The ExponentialFailureFunction represents the exponential behavior of cumulative failure probability
F(x) = 1 - e^-(alpha * x)
of a failure caused with a fixed rate/probability of occurrence alpha > 0.
The ExponentialReliabilityFunction represents the exponential ReliabilityFunction
R(x) = 1 - F(x) = e^-(alpha * x)
with alpha > 0.
The Failure represents the occurrence of a failure of an object and delivers the time of the failure as the information.
The FailureRate determines the failure rate lambda of a given ReliabilityFunction and is defined as
The FailureRateAspect represents the FailureRate of a given ReliabilityFunction.
The FALSETerm corresponds to the logical FALSE or 0.
The Function represents a mathematical function y = f(x).
The Heater models an actor component of the boiler that is responsible for increasing the water temperature.
The ImportanceMeasure is used to assign a importance value to each variable of the system.
The IntegralEvaluator determines the integral of a Function using Romberg's method.
The InverseEvaluator calculates the x value in y = R(x) for a given y of the ReliabilityFunction R(t).
The InverseFunction determines the inverse reliability R^-1(x).
The JBDD is a BDD based on the JavaBDD standard java implementation.
The JBDDProvider used to get JBDD BDDs.
The JBDDProviderFactory is a BDDProviderFactory for the JavaBDD library.
The LinearTerm represents a linear constraint of the form:
left-hand-side comparator right-hand-side.
The LinearTerm.Comparator determines the comparator in the LinearTerm, i.e.
The LiteralTerm represents a literal, i.e.
The MeasuresPanel collects a MeasuresPanel.MeasurePanel for each ReliabilityFunction that shall be shown in the GUI and adds them to a JTabbedPane.
The MeasuresPanel.MeasurePanel shows some common reliability-related measures that are derived from the ReliabilityFunctions.
The MomentEvaluator determines the n-th moment of a density function f(x) given a ReliabilityFunction R(x).
E(X^n) = integral_0^infinity x^n f(x) dx.
The NMWDReliabilityFunction represents the NMWD ReliabilityFunction based on the WeibullReliabilityFunction with a third parameter:
The NOTTerm is used to model Boolean negation by embedding a Term that shall be negated in a NOTTerm.
The Occurrence represents an occurrence or event, e.g., the failure or repair of an object at a given time.
The ORTerm is a Term that interrelates its embedded TermUtils with the OR operator.
(OR term1 ... termN)
The ParallelReliabilityFunction corresponds to a parallel-structure of elements in a system as known from Serial-Parallel systems.
This file is used to create importance measure data in order to plot and compare them to the results and graphs in [Ali17].
The Pump models a pump that is used to pump water from the Boiler to its destination.
The RAW class calculates the RAW values for coherent and non-coherent systems.
The ReliabilityFunction represents a reliability or survival function R(x) that is commonly defined as
R(x) = 1 - F(x),
with F(x) being a UnreliabilityFunction F(x).
The ReliabilityFunctionPlotPanel is a basic GUI to visualize the reliability Aspects for given ReliabilityFunctions.
The ReliabilityFunctionSet is the basic class for functions defined over a set of ReliabilityFunctions.
The ReliabilityTester is a basic tester that uses the TestExample to launch the ReliabilityViewer.
The ReliabilityViewer is a basic GUI that shows the MeasuresPanel and the ReliabilityFunctionPlotPanel.
The RRW class calculates the RRW values for coherent and non-coherent systems.
The SampleCollector is used to generate the Samples of a set of ReliabilityFunction under a given Aspect.
The SampledReliabilityFunction approximates a ReliabilityFunction from a set of Samples.
The Samples contains all the sample values derived by the analysis.
The Sensor models a sensor component in the boiler that measures and collects the data of the water temperature.
The SequentialFunction is an abstract implementation for all Functions that will calculate y values sequentially in case a list of x values is given.
The SerialReliabilityFunction corresponds to a serial-structure of elements in a system as known from Serial-Parallel systems.
Implements a series parallel system where component 3 is in series to 1||2.
The SimpleFunctionTransformer is a basic implementation of a function Transformer.
The SL uses the concept of stochastic logic [A] to evaluate a given Term.
The SLReliabilityFunction represents the ReliabilityFunction using stochastic logic as implemented by SL.
The SumReliabilityFunction determines the sum of the specified set of ReliabilityFunctions.
Implements a time-consistent non-coherent system with exponential failure rates.
The Term represents a mathematical Term in a Function.
The TermUtils provides static methods for the Term class.
The TermUtils.ParseString is a helper class to parse a helper Object from a given String.
The TestExample is a play example.
The TimeDependentImportanceMeasure is used to assign a importance measure value to each variable T of the system at a specific time t.
Implements a time-inconsistent non-coherent system with exponential failure rates.
Implements a 2-out-of-3 majority voter system, also known as Triple Modular Redundancy.
The TMR models a 2-out-of-3 majority voter commonly known as Triple Modular Redundancy.
The TMRTester performs some common actions that are done with a modeled system.
The TRUETerm corresponds to the logical TRUE or 1.
The TTRF converts a Term to a ReliabilityFunction.
The UnreliabilityFunction determines the UnreliabilityFunction F(x) of a given ReliabilityFunction R(x) as
The Vaurio class calculates the Vaurio Importance for non-coherent systems proposed by [Vau16].
The WeibullReliabilityFunction represents the 2-parameter Weibull reliability function