2#include "../Scheduler/Scheduler.h"
4#include "../../HCL/hcl/HCLEngine.h"
6#include "../ControlPanel/ControlPanel.h"
7#include <boost/serialization/export.hpp>
8#include "../Global/SimulationContext.h"
14 hclEngine =
new HCLEngine();
23 hclEngine =
new HCLEngine();
24 hclEngine->setBBNSolver(hclEngine->BBN_SMILE);
25 hclEngine->setBDDConstructor(hclEngine->BDD_FORWARD);
26 hclEngine->setOrderingRule(hclEngine->ORDER_NAIVE);
28 StringVector branches;
29 hclEngine->addESDNode(
"END_STATE_F",
"", branches);
30 hclEngine->addESDNode(
"END_STATE_S",
"", branches);
32 branches.push_back(
"END_STATE_F");
33 branches.push_back(
"END_STATE_S");
34 hclEngine->addESDNode(
"INITIATOR",
topNode, branches);
36 hclEngine->selectAll(
"INITIATOR");
38 if (hclEngine->getErrorCount() == 0) {
39 hclEngine->printFTBasicNodes();
42 ofstream fout(
"err messages.txt", ios::app);
44 <<
"HWReliabilityFTUnit::HWReliabilityFTUnit(topNode): could not find Fault Tree .xml file with Top Node name: "
48 <<
"HWReliabilityFTUnit::HWReliabilityFTUnit(topNode): could not find Fault Tree .xml file with Top Node name: "
76 return activating_state;
88 hclEngine = _hwu.getHclEngine();
105 HWReliabilityFTUnit::hclEngine->quantify(
"END_STATE_F", pF);
122HCLEngine *HWReliabilityFTUnit::getHclEngine()
const {
125void HWReliabilityFTUnit::setHclEngine(HCLEngine *hclEngine) {
126 HWReliabilityFTUnit::hclEngine = hclEngine;
SimulationContext g_sim
Global simulation context: the single instance, defined in SimulationContext.cpp.
void saveBranchSystemActionToFile(std::ofstream &)
void retrieveBranchSystemActionFromFile(std::ifstream &)
void copyBranchSystemAction(BranchSystemAction &)
SystemDisplay * getDisplayFromMap(std::string)
ControlPanelDisplay indicators
int getDisplayedComponentOperationalState()
virtual ~HWReliabilityFTUnit()
void copyHWReliabilityFTUnit(HWReliabilityFTUnit &)
int getInitialComponentState()
const std::string & getTopNode() const
std::vector< std::string > basicNodes
void retrieveHWReliabilityFTUnitFromFile(std::ifstream &)
int initial_component_state
int checkAndActivateComponentFailure()
void updateFailureProbability()
void setBasicNodes(const std::vector< std::string > &basicNodes)
void saveHWReliabilityFTUnitToFile(std::ofstream &)
DisplayComponentState * corresponding_component_pt
void setCorrespondingComponentPt(DisplayComponentState *)
DisplayComponentState * getCorresponding_component_pt() const
const std::vector< std::string > & getBasicNodes() const
void setTopNode(const std::string &topNode)
void setInitialComponentState(int)
void setCorresponding_component_pt(DisplayComponentState *corresponding_component_pt)
void setProbability(double)
std::string getHardwareReliabilityDirectory()
void setStateOfActivation(int)
void saveStateOfActivationToFile(std::ofstream &)
int getStateOfActivation()
void retrieveStateOfActivationFromFile(std::ifstream &)
void copyStateOfActivation(StateOfActivation &)
Scheduler SScheduler
Simulation scheduling, parses CLI options.
ControlPanel Indicator
Control room panel state.