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 Aspect
s.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 BDD
s for each component.The
BDDProviderFactory
creates BDDProvider
s.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 BDD
s 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
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
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
ReliabilityFunction
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
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
ReliabilityFunction
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 ReliabilityFunction
s.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
ReliabilityFunction
The
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 Aspect
s for given ReliabilityFunction
s.The
ReliabilityFunctionSet
is the basic class for functions defined
over a set of ReliabilityFunction
s.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
Function
s 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
ReliabilityFunction
s.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
ReliabilityFunction
s.The
TestWeibullTransformer
is a Transformer
for the
TestExample
that uses WeibullReliabilityFunction
s as
ReliabilityFunction
s.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