|
Go to the documentation of this file.
10 using namespace faudes;
29 std::cout << "################################\n";
30 std::cout << "# modular language-diagnosability (system 1/2)\n";
31 std::cout << "# a) read data \n";
34 g1 = new System( "data/diag_system_3_modular1.gen");
35 g2 = new System( "data/diag_system_3_modular2.gen");
36 k1 = new System( "data/diag_specification_3_modular1.gen");
37 k2 = new System( "data/diag_specification_3_modular2.gen");
40 g1-> Write( "tmp_diag_system_3_modular1.gen");
41 g2-> Write( "tmp_diag_system_3_modular2.gen");
42 k1-> Write( "tmp_diag_specification_3_modular1.gen");
43 k2-> Write( "tmp_diag_specification_3_modular2.gen");
46 g1-> GraphWrite( "tmp_demo_system_3_modular1.png");
47 g2-> GraphWrite( "tmp_demo_system_3_modular2.png");
48 k1-> GraphWrite( "tmp_demo_specification_3_modular1.png");
49 k2-> GraphWrite( "tmp_demo_specification_3_modular2.png");
53 abstAlph. Read( "data/diag_abstrAlph_3_modular12.alph");
57 g1Abst. Write( "tmp_diag_system_3_modular1_hat.gen");
58 g2Abst. Write( "tmp_diag_system_3_modular2_hat.gen");
70 std::cout << "# b) run modular diagnosability test (expect result PASS)\n";
75 cout << "The overall system G is modularly diagnosable with respect to overall specification K." << endl;
76 cout << report << endl;
78 cout << "The overall system G is not modularly diagnosable with respect to overall specification K." << endl;
79 cout << report << endl;
92 std::cout << "# c) compute modular diagnoser\n";
98 diag. At(0).Write( "tmp_diag_diagnoser_3_modular1.gen");
99 diag. At(1).Write( "tmp_diag_diagnoser_3_modular2.gen");
102 diag. At(0).GraphWrite( "tmp_demo_diagnoser_3_modular1.png");
103 diag. At(1).GraphWrite( "tmp_demo_diagnoser_3_modular2.png");
109 std::cout << "# done \n";
110 std::cout << "################################\n";
125 std::cout << "################################\n";
126 std::cout << "# modular diagnosability (system 3/4)\n";
127 std::cout << "# a) read data \n";
130 g1 = new System( "data/diag_system_3_modular3.gen");
131 g2 = new System( "data/diag_system_3_modular4.gen");
132 k1 = new System( "data/diag_specification_3_modular3.gen");
133 k2 = new System( "data/diag_specification_3_modular4.gen");
136 g1-> Write( "tmp_diag_system_3_modular3.gen");
137 g2-> Write( "tmp_diag_system_3_modular4.gen");
138 k1-> Write( "tmp_diag_specification_3_modular3.gen");
139 k2-> Write( "tmp_diag_specification_3_modular4.gen");
142 g1-> GraphWrite( "tmp_demo_system_3_modular3.png");
143 g2-> GraphWrite( "tmp_demo_system_3_modular4.png");
144 k1-> GraphWrite( "tmp_demo_specification_3_modular3.png");
145 k2-> GraphWrite( "tmp_demo_specification_3_modular4.png");
157 std::cout << "# b) run modular diagnosability test (expect result FAIL)\n";
162 cout << "The overall system G is modularly diagnosable with respect to overall specification K." << endl;
163 cout << report << endl;
165 cout << "The overall system G is not modularly diagnosable with respect to overall specification K." << endl;
166 cout << report << endl;
173 std::cout << "# done \n";
174 std::cout << "################################\n";
188 std::cout << "################################\n";
189 std::cout << "# modular diagnosability (system sf/cb1a)\n";
190 std::cout << "# a) read data \n";
193 g1 = new System( "data/diag_system_3_modular_sf.gen");
194 g2 = new System( "data/diag_system_3_modular_c1.gen");
195 k1 = new System( "data/diag_specification_3_modular_sf.gen");
196 k2 = new System( "data/diag_specification_3_modular_c1.gen");
199 g1-> Write( "tmp_diag_system_3_modular_sf.gen");
200 g2-> Write( "tmp_diag_system_3_modular_c1.gen");
201 k1-> Write( "tmp_diag_specification_3_modular_sf.gen");
202 k2-> Write( "tmp_diag_specification_3_modular_c1.gen");
205 g1-> GraphWrite( "tmp_demo_system_3_modular_sf.png");
206 g2-> GraphWrite( "tmp_demo_system_3_modular_c1.png");
207 k1-> GraphWrite( "tmp_demo_specification_3_modular_sf.png");
208 k2-> GraphWrite( "tmp_demo_specification_3_modular_c1.png");
220 std::cout << "# b) run diagnosability test (expect result PASS)\n";
224 cout << "The overall system G is modularly diagnosable with respect to overall specification K." << endl;
225 cout << report << endl;
227 cout << "The overall system G is not modularly diagnosable with respect to overall specification K." << endl;
228 cout << report << endl;
237 std::cout << "# c) compute modular diagnoser\n";
243 diag. At(0).Write( "tmp_diag_diagnoser_3_modular_sf.gen");
244 diag. At(1).Write( "tmp_diag_diagnoser_3_modular_c1.gen");
247 diag. At(0).GraphWrite( "tmp_demo_diagnoser_3_modular_sf.png");
248 diag. At(1).GraphWrite( "tmp_demo_diagnoser_3_modular_c1.png");
254 std::cout << "# done \n";
255 std::cout << "################################\n";
libFAUDES 2.24g
--- 2014.09.15
--- c++ api documentaion by doxygen
|