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
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
BDDProvider provides the actual BDDs for each component.The
BDDProviderFactory creates BDDProviders.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
Evaluator is a marker interface for all evaluators.The
of a failure caused with a fixed rate/probability of occurrence
ExponentialFailureFunction represents the exponential behavior of
cumulative failure probabilityF(x) = 1 - e^-(alpha * x)of a failure caused with a fixed rate/probability of occurrence
alpha > 0.The
with
ExponentialReliabilityFunction represents the exponential
ReliabilityFunctionR(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
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
HjorthReliabilityFunction represents the Hjorth
ReliabilityFunctionThe
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
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
LognormalReliabilityFunction represents the lognormal
ReliabilityFunctionThe
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
MemoryLeakTest.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
NormalReliabilityFunction represents the normal
ReliabilityFunctionThe
Occurrence represents an occurrence or event, e.g., the failure
or repair of an object at a given time.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
RAW class calculates the RAW values for coherent and non-coherent systems.The
with
ReliabilityFunction represents a reliability or survival function
R(x) that is commonly defined asR(x) = 1 - F(x),with
F(x) being a UnreliabilityFunction F(x).The
ReliabilityFunctionAspect plots the ReliabilityFunction
itself.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
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
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
TestExample is a play example.The
TestExponentialTransformer is a Transformer for the
TestExample that uses ExponentialReliabilityFunction as
ReliabilityFunctions.The
TestWeibullTransformer is a Transformer for the
TestExample that uses WeibullReliabilityFunctions as
ReliabilityFunctions.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
UnreliabilityFunction determines the
UnreliabilityFunction F(x) of a given
ReliabilityFunction R(x) asThe
Vaurio class calculates the Vaurio Importance for non-coherent systems
proposed by [Vau16].The
WeibullReliabilityFunction represents the 2-parameter Weibull
reliability function