BEExponential.h

Go to the documentation of this file.

#pragma once
 
#include "DFTBE.h"
 
namespace storm::dft {
namespace storage {
namespace elements {
 
template<typename ValueType>
class BEExponential : public DFTBE<ValueType> {
   public:
    BEExponential(size_t id, std::string const& name, ValueType failureRate, ValueType dormancyFactor, bool transient = false)
        : DFTBE<ValueType>(id, name), mActiveFailureRate(failureRate), mPassiveFailureRate(dormancyFactor * failureRate), mTransient(transient) {
        STORM_LOG_ASSERT(!storm::utility::isZero<ValueType>(failureRate), "Exponential failure rate should not be zero.");
    }
 
    std::shared_ptr<DFTElement<ValueType>> clone() const override {
        return std::shared_ptr<DFTElement<ValueType>>(
            new BEExponential<ValueType>(this->id(), this->name(), this->activeFailureRate(), this->dormancyFactor(), this->isTransient()));
    }
 
    storm::dft::storage::elements::BEType beType() const override {
        return storm::dft::storage::elements::BEType::EXPONENTIAL;
    }
 
    ValueType const& activeFailureRate() const {
        return mActiveFailureRate;
    }
 
    ValueType const& passiveFailureRate() const {
        return mPassiveFailureRate;
    }
 
    ValueType dormancyFactor() const {
        STORM_LOG_ASSERT(!storm::utility::isZero<ValueType>(this->activeFailureRate()), "Active failure rate should not be zero.");
        return this->passiveFailureRate() / this->activeFailureRate();
    }
 
    ValueType getUnreliability(ValueType time) const override;
 
    bool isTransient() const {
        return mTransient;
    }
 
    bool canFail() const override {
        STORM_LOG_ASSERT(!storm::utility::isZero(this->activeFailureRate()), "BE EXP should have failure rate > 0.");
        return true;
    }
 
    bool isColdBasicElement() const {
        return storm::utility::isZero(this->passiveFailureRate());
    }
 
    std::string distributionString() const override {
        std::stringstream stream;
        stream << "exp " << this->activeFailureRate() << ", " << this->passiveFailureRate();
        return stream.str();
    }
 
   private:
    ValueType mActiveFailureRate;
    ValueType mPassiveFailureRate;
    bool mTransient;
};
 
}  // namespace elements
}  // namespace storage
}  // namespace storm::dft