HWReliabilityFTUnit.h

Go to the documentation of this file.

#ifndef HWRELIABILITYFTUNIT_H
#define HWRELIABILITYFTUNIT_H
 
#include "../Branch/BranchSystemAction.h"
#include "../ControlPanel/StateOfActivation.h"
#include "../ControlPanel/DisplayComponentState.h"
#ifdef ENABLE_HCL
#include "../../HCL/hcl/HCLFTResolver.h"
class HCLEngine;
#endif
#include <boost/serialization/access.hpp>
#include <boost/serialization/base_object.hpp>
#include <boost/serialization/vector.hpp>
#include <boost/archive/text_oarchive.hpp>
#include <boost/archive/text_iarchive.hpp>
#include <boost/serialization/export.hpp>
 
class HWReliabilityFTUnit :
    public BranchSystemAction,
    public StateOfActivation {
 public:
  HWReliabilityFTUnit();
  HWReliabilityFTUnit(const std::string &topNode);
  virtual ~HWReliabilityFTUnit();
#ifdef ENABLE_HCL
  HCLEngine *getHclEngine() const;
  void setHclEngine(HCLEngine *hclEngine);
#endif
  const std::string &getTopNode() const;
  void setTopNode(const std::string &topNode);
  const std::vector<std::string> &getBasicNodes() const;
  void setBasicNodes(const std::vector<std::string> &basicNodes);
  void setInitialComponentState(int);
  int getInitialComponentState();
  DisplayComponentState *getCorresponding_component_pt() const;
  void setCorresponding_component_pt(DisplayComponentState *corresponding_component_pt);
  int checkAndActivateComponentFailure();
  void updateFailureProbability();
  void setCorrespondingComponentPt(DisplayComponentState *);
  void copyHWReliabilityFTUnit(HWReliabilityFTUnit &);
  void saveHWReliabilityFTUnitToFile(std::ofstream &);
  void retrieveHWReliabilityFTUnitFromFile(std::ifstream &);
 private:
  int initial_component_state;
  DisplayComponentState *corresponding_component_pt;
#ifdef ENABLE_HCL
  HCLEngine *hclEngine;
#endif
  std::string topNode;
  std::vector<std::string> basicNodes;
 
    // Boost serialization
    friend class boost::serialization::access;
    template<class Archive>
    void serialize(Archive & ar, const unsigned int version)
    {
        ar & boost::serialization::base_object<BranchSystemAction>(*this);
        ar & boost::serialization::base_object<StateOfActivation>(*this);
        ar & initial_component_state;
        ar & corresponding_component_pt;
        ar & topNode;
        ar & basicNodes;
        // hclEngine is runtime engine pointer; excluded from serialization.
    }
};
 
//BOOST_CLASS_EXPORT_KEY(HWReliabilityFTUnit)
 
#endif //HWRELIABILITYFTUNIT_H