|
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 d2. Read( "tmp_diag_diagnoser_1.gen");
87 std::cout << "################################\n";
88 std::cout << "# tutorial, diagnoser d2\n";
90 std::cout << "################################\n";
100 std::cout << "################################\n";
101 std::cout << "# tutorial, parsing state estimates for state s3 of d2\n";
102 for(currDStateMapIt = currDStateMap. Begin(); currDStateMapIt != currDStateMap. End(); ++ currDStateMapIt){
103 cout << *currDStateMapIt << " " << currDStateMap. Attribute(*currDStateMapIt). ToString() << endl;
105 std::cout << "################################\n";
130 std::cout << "################################\n";
131 std::cout << "# tutorial, failure types\n";
132 failureTypes. Write();
133 std::cout << "################################\n";
134 failureTypes. Write( "tmp_diag_failure_typemap_2.txt");
145 std::cout << "################################\n";
146 std::cout << "# diagnosability, failure types, system 4 \n";
147 std::cout << "# a) read data \n";
150 gen. Read( "data/diag_system_4.gen");
151 failureTypes. Read( "data/diag_failure_typemap_4.txt");
157 std::cout << "# b) run diagnosability test (expect result FALSE and warning)\n";
162 cout << "System is diagnosable." << endl;
164 cout << "System is not diagnosable." << endl;
165 cout << reportString << endl;
169 std::cout << "# c) run i-diagnosability test (expect result TRUE)\n";
177 cout << "System is I-diagnosable." << endl;
179 cout << "System is not I-diagnosable." << endl;
180 cout << reportString << endl;
184 std::cout << "# done \n";
185 std::cout << "################################\n";
194 std::cout << "################################\n";
195 std::cout << "# tutorial, event-diagnoser synthesis, wrt failure types\n";
198 gen. Read( "data/diag_system_3.gen");
201 failurePartition. Read( "data/diag_failure_typemap_3.txt");
204 gen. Write( "tmp_diag_system_3.gen");
210 diag. Write( "tmp_diag_diagnoser_3.gen");
213 std::cout << "Diagnoser statistics\n";
215 std::cout << "################################\n";
libFAUDES 2.24g
--- 2014.09.15
--- c++ api documentaion by doxygen
|