t Step 9, we have: 11 To avoid repeating this several times, you can add into the file v76.startup the textual equivalent command: track_msc observation ! testl Automatic Observation of Simulations 141 Hierarchy Browser Looste observation Track Licate Watch Add to Watch Stop if Print v76test Reset Coverage Figure 5.44 The Simulator Hierarchy Browser with the observer testl geodedit - [MSC: test1] File Edit View Navigate Tools Window Help test1 Inst_dica inst_datalink inst_dlcb BLOCK / BLOCK / BLOCK / v76test v76test/ v76test /dlca datalink /dlcb Establishment of DLC number 0: */ estabreq( 0), vrotramet same v76frame( sabme : (.0.) _estabind( _estabresp v76frame( ua (.0.) estabconf( 0) Exchange identification (XID): */ _setparmreq v76frame( xidcmd 0 Figure 5.45 Tracking MSC testl: waiting for input of signal L_EstabResp Events observed in scenario test1 (File F : \V76\test1.msc) : IN v76frame (sabme, 0) FROM datalink TO dlcb OUT l'estabind(0) FROM dlcb TO ENV VIA dlcbsu It means, as shown in Figure 5.46, that the last SDL events observed by the MSC were: the input by DLCb of signal V76frame with parameter value sabme and 0 and the output by DLCb of signal L EstabInd with parameter value 0. 142 Validation of Communications Systems with SDL IN v76frame v76frame( sabme : (.0.) v76frame( sabme : (.0.) |_estabind( 0 OUT l_estabind Figure 5.46 Events observed at Step 9 Note that if the simulated parameter values do not match the MSC expected values, the MSC property will not be satisfied. E. Finish replaying the simulation scenario until its end (Step 41) by pressing the Redo or Redo: All buttons. You should see the line: SUCCESS state reached in scenario test1 It proves that the SDL simulation performed is consistent with the observer MSC. 5.3.3 Simulate with a hierarchical MSC The basic MSC testl represents only a single execution sequence. To represent several expected behaviors consistent with the V.76 textual specification without creating too many basic MSCs, we will create a hierarchical MSC. You will simulate th