states 2561762 trans. 296 s., , depth=54, breadth=106925) (1376256 states 2578827 trans. 299 S., depth=54, breadth=106925) (2842624 states 5769663 trans. 699 s., depth=80, breadth=109861) (2850816 states 5791131 trans. 701 S., , depth=82, breadth=109861) Number of states : 2855711 Number of transitions : 5804732 Maximum depth reached : 92 Maximum breadth reached : 109861 duration : 11 mn 43 S Number of exceptions : 0 Number of deadlocks : 0 Number of stop conditions : 0 Transitions coverage rate : 100.00 (0 transitions not covered) States coverage rate : 100.00 (0 states not covered) Basic blocks coverage rate : 95.95 (3 basic blocks not covered) Again, no exception has been found, and the exhaustive simulation has explored all the reachable states of the SDL model in its current configuration (nearly 3 millions). 7.4.8.2 Analyze the nonexecuted SDL statements We must inspect again the parts of the SDL model never executed. We have three basic blocks not covered instead of four. A. In the Simulator, type cover bblocks all 0:0; the result is (we have removed the 100% covered entities and the duplicate results for side DLCb): >cover bblocks all 0 : 0 basic blocks coverage of dlca!dispatch : rate 95.65 from_ready_input_v76frar D_presentextract (v76para) .A_=i.D_extract (dlcs, dlciextract (iextract (v76para) ) .A=null. : 0 Dpresentextract (v76para) .A_else. : 0 basic blocks coverage of dlca!dlc : rate 95.65 from_connected_input_v76frame 11 D_presentextract (v76para) A_=i.D__vrp_1.A_=false. : 0 250 Validation of Communications Systems with SDL We see that the three basic blocks not covered are the normal ones identified previously and that the previous pathologically nonexecuted fourth basic block is now executed. In a few minutes of simulation, we have: corrected all the discovered exceptions, covered all the SDL symbols, and proved that the SDL model contains no deadlock. Note that this concerns a reduced model configuration. Bear in mind that millions of different scenarios have been executed here. The next steps c