DiaDes
0.1
DIAgnosis of Discrete-Event System
|
#include <fstream>
#include <string>
#include <vector>
#include <list>
#include <map>
#include <boost/date_time/posix_time/posix_time.hpp>
#include <boost/archive/text_oarchive.hpp>
#include <utils/Random.hh>
#include <utils/CmdInterface.hh>
#include <automata/SynchronisationRules.hh>
#include <automata/ObservableComponent.hh>
#include <automata/FaultDiagProblem.hh>
#include <automata/FBFS.hh>
#include <automata/FDFS.hh>
#include <automata/FGFS.hh>
#include <io/xml/automata/Simulation.hh>
#include <automata/Diagnose.hh>
#include <automata/SyncRulesLoad.hh>
Go to the source code of this file.
Functions | |
vector< string > | fileExtensions (numberOfFileExtensions) |
vector< string > | options (numberOfOptions) |
vector< bool > | isSet (numberOfOptions, false) |
void | initialiseOptions () |
void | readScenario (const string &filename, vector< EventOccurrence > &simulation, vector< EventOccurrence > &observations) |
void | readParameters (int argc, char *argv[], list< string > &modelFiles, set< string > &algos, unordered_set< Event > &faults, string &ruleFiles, string &scenarioFile) |
int | main (int argc, char **argv) |
Variables | |
unsigned | numberOfOptions = 2 |
unsigned | numberOfFileExtensions = 3 |
string | description ="Usage:\t dd-run --algorithms ALG1 [ALG2...] --faults evt1 [evt2 ...] file1.des_comp [file2.des_comp file3.des_comp... sync.rules] scenario.xml\n\t Diagnose the sequence of observations given in the scenarios with the set of available algorithms. Write the diagnostic history in\n\t a file 'histALG.archv' for each algorithm ALG and the perfect diagnosis in 'perfect_history.archv'.\n\t The implemented algorithms are: FBFS, FDFS, FGFS, AFBFS." |
enum FileExtension |
enum Option |
vector<string> fileExtensions | ( | numberOfFileExtensions | ) |
Referenced by initialiseOptions(), and readParameters().
void initialiseOptions | ( | ) |
Definition at line 44 of file run.cc.
References ALGORITHMS, DESCOMP, FAULTS, fileExtensions(), options(), readParameters(), readScenario(), RULES, and XML.
Referenced by main().
vector<bool> isSet | ( | numberOfOptions | , |
false | |||
) |
Referenced by readParameters().
int main | ( | int | argc, |
char ** | argv | ||
) |
Definition at line 67 of file run.cc.
References Diades::Automata::SynchronisationRules::beginOfSynchronisedEvents(), Diades::Automata::SynchronisationRules::endOfSynchronisedEvents(), Diades::Automata::Diagnose< ALG >::history(), initialiseOptions(), Diades::Utils::initialiseRandomGenerator(), Diades::Utils::initialiseSeed(), Diades::Automata::loadSynchronisationRules(), readParameters(), and readScenario().
vector<string> options | ( | numberOfOptions | ) |
Referenced by initialiseOptions(), and readParameters().
void readParameters | ( | int | argc, |
char * | argv[], | ||
list< string > & | modelFiles, | ||
set< string > & | algos, | ||
unordered_set< Event > & | faults, | ||
string & | ruleFiles, | ||
string & | scenarioFile | ||
) |
Definition at line 250 of file run.cc.
References ALGORITHMS, DESCOMP, description, FAULTS, fileExtensions(), Diades::Utils::getFileExtension(), isSet(), options(), printError(), printUsage(), RULES, and XML.
Referenced by initialiseOptions(), and main().
void readScenario | ( | const string & | filename, |
vector< EventOccurrence > & | simulation, | ||
vector< EventOccurrence > & | observations | ||
) |
Definition at line 379 of file run.cc.
References printError().
Referenced by initialiseOptions(), and main().
string description ="Usage:\t dd-run --algorithms ALG1 [ALG2...] --faults evt1 [evt2 ...] file1.des_comp [file2.des_comp file3.des_comp... sync.rules] scenario.xml\n\t Diagnose the sequence of observations given in the scenarios with the set of available algorithms. Write the diagnostic history in\n\t a file 'histALG.archv' for each algorithm ALG and the perfect diagnosis in 'perfect_history.archv'.\n\t The implemented algorithms are: FBFS, FDFS, FGFS, AFBFS." |
Definition at line 42 of file run.cc.
Referenced by readParameters().