BEErlang.h

Go to the documentation of this file.

#pragma once
 
#include "DFTBE.h"
 
namespace storm::dft {
namespace storage {
namespace elements {
 
template<typename ValueType>
class BEErlang : public DFTBE<ValueType> {
   public:
    BEErlang(size_t id, std::string const& name, ValueType failureRate, unsigned phases, ValueType dormancyFactor)
        : DFTBE<ValueType>(id, name), mActiveFailureRate(failureRate), mPassiveFailureRate(dormancyFactor * failureRate), mPhases(phases) {
        // Intentionally empty
    }
 
    std::shared_ptr<DFTElement<ValueType>> clone() const override {
        return std::shared_ptr<DFTElement<ValueType>>(
            new BEErlang<ValueType>(this->id(), this->name(), this->activeFailureRate(), this->phases(), this->dormancyFactor()));
    }
 
    storm::dft::storage::elements::BEType beType() const override {
        return storm::dft::storage::elements::BEType::ERLANG;
    }
 
    bool canFail() const override {
        STORM_LOG_ASSERT(!storm::utility::isZero(this->activeFailureRate()), "BE ERLANG should have failure rate > 0.");
        return true;
    }
 
    ValueType const& activeFailureRate() const {
        return mActiveFailureRate;
    }
 
    ValueType const& passiveFailureRate() const {
        return mPassiveFailureRate;
    }
 
    unsigned phases() const {
        return mPhases;
    }
 
    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;
 
    std::string distributionString() const override {
        std::stringstream stream;
        stream << "erlang " << this->phases() << " phases with " << this->activeFailureRate() << ", " << this->passiveFailureRate();
        return stream.str();
    }
 
   private:
    ValueType mActiveFailureRate;
    ValueType mPassiveFailureRate;
    unsigned mPhases;
};
 
}  // namespace elements
}  // namespace storage
}  // namespace storm::dft