All Classes
-
All Classes Interface Summary Class Summary Enum Summary Class Description ABGT<T> TheABGT
class calculates the ABGT importance for coherent and non-coherent systems proposed by [ABGT17].AbstractAspect TheAbstractAspect
is the basic class for allAspect
s.AbstractHierarchicalTerm ANDTerm Aspect TheAspect
allows to determine they-value
for theReliabilityFunction
y = R(x)
under the currentAspect
.BAGT<T> TheBAGT
class calculates the time-independent importance of components proposed by [BAGT16].BAGT.Variant BarlowProschan<T> TheBarlowProschan
class calculates the time-independent importance for coherent systems proposed by Barlow and Proschan in [BP75].BDD<T> BDDProvider<T> TheBDDProvider
provides the actualBDD
s for each component.BDDProviderFactory TheBDDProviderFactory
createsBDDProvider
s.BDDReliabilityFunction<T> BDDs BDDTopEvent<T> TheBDDTopEvent
allows the fast calculation of the top event for a givenBDD
.BDDTTRF<T> TheBDDTTRF
transforms a Boolean function represented as aTerm
into aReliabilityFunction
or, if needed, into aBDD
.BDDTTRFSimulative<T> TheBDDTTRFSimulative
performs a Monte-Carlo simulation to determine theReliabilityFunction
based on aBDD
representation of the system structure.Birnbaum<T> TheBirnbaum
class calculates the Birnbaum Importance for coherent systems.BirnbaumAB<T> TheBirnbaumAB
class calculates the Andrews Beeson extension of the Birnbaum importance for coherent and non-coherent systems by [AB03].Boiler TheBoiler
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.BoilerComponent The abstractBoilerComponent
is the basic class that models each of the components used in the model of theBoiler
.BoilerTester TheBoilerTester
performs some common actions that are done with a modeled system.BoilerTransformer BridgeSystem Implements a coherent bridge system with two paths 1 2 and 3 4 and the bridge 5.ConstantFailureFunction TheConstantFailureFunction
returns a constant failure probability for which it must hold that
0 =< failure probability =< 1
.ConstantReliabilityFunction TheConstantReliabilityFunction
returns a constant success probability for which it must hold that
0 =< failure probability =< 1
.ConstraintTester TheConstraintTester
can be used to test theBDDTTRF.convertToBDD(Term)
function.Controller TheController
models a controlling component that is used for activating the pumps and controlling the water temperature.CriticalityBDDs<T> TheCriticalityBDDs
class is a wrapper class to encapsulate the failure and repair criticalityBDD
s of a component.CriticalityCalculator<T> TheCriticalityCalculator
is a utility class used to calculate theCriticalityValues
andCriticalityBDDs
of the components of a system.CriticalityValues TheCriticalityValues
class is a wrapper class to encapsulate the failure and repair criticality values of a component.DensityAspect TheDensityAspect
represents the density of aReliabilityFunction
.DensityFunction Evaluator TheEvaluator
is a marker interface for all evaluators.ExponentialFailureFunction TheExponentialFailureFunction
represents the exponential behavior of cumulative failure probability
F(x) = 1 - e^-(alpha * x)
of a failure caused with a fixed rate/probability of occurrencealpha > 0
.ExponentialReliabilityFunction TheExponentialReliabilityFunction
represents the exponentialReliabilityFunction
R(x) = 1 - F(x) = e^-(alpha * x)
withalpha > 0
.Failure<T> TheFailure
represents the occurrence of a failure of an object and delivers the time of the failure as the information.FailureRate FailureRateAspect FALSETerm Function TheFunction
represents a mathematical functiony = f(x)
.Heater TheHeater
models an actor component of the boiler that is responsible for increasing the water temperature.HjorthReliabilityFunction TheHjorthReliabilityFunction
represents the HjorthReliabilityFunction
ImportanceMeasure TheImportanceMeasure
is used to assign a importance value to each variable of the system.IntegralEvaluator TheIntegralEvaluator
determines the integral of aFunction
using Romberg's method.InverseEvaluator TheInverseEvaluator
calculates thex
value iny = R(x)
for a giveny
of theReliabilityFunction
R(t)
.InverseFunction TheInverseFunction
determines the inverse reliabilityR^-1(x)
.JBDD<T> JBDDProvider<T> TheJBDDProvider
used to getJBDD
BDDs.JBDDProviderFactory TheJBDDProviderFactory
is aBDDProviderFactory
for the JavaBDD library.JBDDProviderFactory.Type TheJBDDProviderFactory.Type
of realBDD
implementation.LinearTerm TheLinearTerm
represents a linear constraint of the form:
left-hand-side comparator right-hand-side
.LinearTerm.Comparator TheLinearTerm.Comparator
determines the comparator in theLinearTerm
, i.e.LiteralTerm<T> TheLiteralTerm
represents a literal, i.e.LognormalReliabilityFunction TheLognormalReliabilityFunction
represents the lognormalReliabilityFunction
MeasuresPanel TheMeasuresPanel
collects aMeasuresPanel.MeasurePanel
for eachReliabilityFunction
that shall be shown in the GUI and adds them to aJTabbedPane
.MeasuresPanel.MeasurePanel TheMeasuresPanel.MeasurePanel
shows some common reliability-related measures that are derived from theReliabilityFunction
s.MemoryLeakTest TheMemoryLeakTest
.MomentEvaluator TheMomentEvaluator
determines then
-th moment of a density functionf(x)
given aReliabilityFunction
R(x)
.
E(X^n) = integral_0^infinity x^n f(x) dx
.NMWDReliabilityFunction TheNMWDReliabilityFunction
represents the NMWDReliabilityFunction
based on theWeibullReliabilityFunction
with a third parameter:NormalReliabilityFunction TheNormalReliabilityFunction
represents the normalReliabilityFunction
NOTTerm Occurrence<T> TheOccurrence
represents an occurrence or event, e.g., the failure or repair of an object at a given time.ORTerm ParallelReliabilityFunction TheParallelReliabilityFunction
corresponds to a parallel-structure of elements in a system as known from Serial-Parallel systems.PlotDataForImportanceMeasuresCreator This file is used to create importance measure data in order to plot and compare them to the results and graphs in [Ali17].Pump RAW<T> TheRAW
class calculates the RAW values for coherent and non-coherent systems.ReliabilityFunction TheReliabilityFunction
represents a reliability or survival functionR(x)
that is commonly defined as
R(x) = 1 - F(x)
,
withF(x)
being aUnreliabilityFunction
F(x)
.ReliabilityFunctionAspect TheReliabilityFunctionAspect
plots theReliabilityFunction
itself.ReliabilityFunctionPlotPanel TheReliabilityFunctionPlotPanel
is a basic GUI to visualize the reliabilityAspect
s for givenReliabilityFunction
s.ReliabilityFunctionSet TheReliabilityFunctionSet
is the basic class for functions defined over a set ofReliabilityFunction
s.ReliabilityTester ReliabilityViewer TheReliabilityViewer
is a basic GUI that shows theMeasuresPanel
and theReliabilityFunctionPlotPanel
.RRW<T> TheRRW
class calculates the RRW values for coherent and non-coherent systems.SampleCollector TheSampleCollector
is used to generate theSamples
of a set ofReliabilityFunction
under a givenAspect
.SampledReliabilityFunction TheSampledReliabilityFunction
approximates aReliabilityFunction
from a set of Samples.Samples TheSamples
contains all the sample values derived by the analysis.Sensor TheSensor
models a sensor component in the boiler that measures and collects the data of the water temperature.SequentialFunction TheSequentialFunction
is an abstract implementation for allFunction
s that will calculatey
values sequentially in case a list ofx
values is given.SerialReliabilityFunction TheSerialReliabilityFunction
corresponds to a serial-structure of elements in a system as known from Serial-Parallel systems.SeriesParallelSystem Implements a series parallel system where component 3 is in series to 1||2.SimpleFunctionTransformer<T> TheSimpleFunctionTransformer
is a basic implementation of a functionTransformer
.SL<T> SLReliabilityFunction<T> TheSLReliabilityFunction
represents theReliabilityFunction
using stochastic logic as implemented bySL
.SumReliabilityFunction TheSumReliabilityFunction
determines the sum of the specified set ofReliabilityFunction
s.TCNCSystem Implements a time-consistent non-coherent system with exponential failure rates.Term TermUtils TermUtils.ParseString TestExample TheTestExample
is a play example.TestExponentialTransformer TheTestExponentialTransformer
is aTransformer
for theTestExample
that usesExponentialReliabilityFunction
asReliabilityFunction
s.TestWeibullTransformer TheTestWeibullTransformer
is aTransformer
for theTestExample
that usesWeibullReliabilityFunction
s asReliabilityFunction
s.TimeDependentImportanceMeasure<T> TheTimeDependentImportanceMeasure
is used to assign a importance measure value to each variable T of the system at a specific time t.TINCSystem Implements a time-inconsistent non-coherent system with exponential failure rates.TMR Implements a 2-out-of-3 majority voter system, also known as Triple Modular Redundancy.TMR TheTMR
models a 2-out-of-3 majority voter commonly known as Triple Modular Redundancy.TMRTester TheTMRTester
performs some common actions that are done with a modeled system.TRUETerm TTRF<T> UnreliabilityFunction TheUnreliabilityFunction
determines theUnreliabilityFunction
F(x)
of a givenReliabilityFunction
R(x)
asUnreliabilityFunctionAspect Vaurio<T> TheVaurio
class calculates the Vaurio Importance for non-coherent systems proposed by [Vau16].WeibullReliabilityFunction TheWeibullReliabilityFunction
represents the 2-parameter Weibull reliability function