|
Go to the documentation of this file.
11 using namespace faudes;
47 failures1. Insert( "WPblocked");
48 failures1. Insert( "WPfelldown");
49 failures2. Insert( "sfRunsContinuously");
50 failures2. Insert( "cb1RunsContinuously");
80 d1. Write( "tmp_diag_diagnoser_1.gen");
84 std::cout << "warning: cannot execute graphviz' dot. " << std::endl;
88 d2. Read( "tmp_diag_diagnoser_1.gen");
91 std::cout << "################################\n";
92 std::cout << "# tutorial, diagnoser d2\n";
94 std::cout << "################################\n";
104 std::cout << "################################\n";
105 std::cout << "# tutorial, parsing state estimates for state s3 of d2\n";
106 for(currDStateMapIt = currDStateMap. Begin(); currDStateMapIt != currDStateMap. End(); ++ currDStateMapIt){
107 cout << *currDStateMapIt << " " << currDStateMap. Attribute(*currDStateMapIt). ToString() << endl;
109 std::cout << "################################\n";
134 std::cout << "################################\n";
135 std::cout << "# tutorial, failure types\n";
136 failureTypes. Write();
137 std::cout << "################################\n";
138 failureTypes. Write( "tmp_diag_failure_typemap_2.txt");
149 std::cout << "################################\n";
150 std::cout << "# diagnosability, failure types, system 4 \n";
151 std::cout << "# a) read data \n";
154 gen. Read( "data/diag_system_4.gen");
155 failureTypes. Read( "data/diag_failure_typemap_4.txt");
161 std::cout << "warning: cannot execute graphviz' dot. " << std::endl;
165 std::cout << "# b) run diagnosability test (expect result FALSE and warning)\n";
170 cout << "System is diagnosable." << endl;
172 cout << "System is not diagnosable." << endl;
173 cout << reportString << endl;
177 std::cout << "# c) run i-diagnosability test (expect result TRUE)\n";
185 cout << "System is I-diagnosable." << endl;
187 cout << "System is not I-diagnosable." << endl;
188 cout << reportString << endl;
192 std::cout << "# done \n";
193 std::cout << "################################\n";
202 std::cout << "################################\n";
203 std::cout << "# tutorial, event-diagnoser synthesis, wrt failure types\n";
206 gen. Read( "data/diag_system_3.gen");
209 failurePartition. Read( "data/diag_failure_typemap_3.txt");
212 gen. Write( "tmp_diag_system_3.gen");
218 diag. Write( "tmp_diag_diagnoser_3.gen");
221 std::cout << "Diagnoser statistics\n";
223 std::cout << "################################\n";
libFAUDES 2.28c
--- 2016.09.30
--- c++ api documentaion by doxygen
|