re 4.67(a), the Simulator will only propose that you execute forever the transition input none. Because this transition does not make the time progress (it does not contain any timers), the SDL time, Now, is stuck to zero. The only way to get the time progression transition time(15) as in Figure 4.67(b) is to set loose time progression to on. In practice, it is easier to set loose time progression to on: as soon as you set a timer, you are allowed to time it out. Otherwise you might have to execute first some other transitions, or in the worst cases, it might never time-out, as in the example above. Interactive Simulation 107 04 F:ADONNEES\TRANSMET\livreSimul\models0 F:ADONNEESATRANSMET\livreSimul\models0.. File Edit View Execute Tools Help File Edit View Execute Tools Help About selection: About selection: step 1 step = 1 Stop if Filter trans proc1(1) start Stop if Filter trans proc1(1): start Watch Prirt I START Watch Print START ; + SET (TIMER1); SET (TIMER1); set timer1(15) from proc1(1) set timer1(15) from procl (1) Traces: NEXTSTATE st1; Traces: NEXTSTATE st1; Defaults OF Defaults Off Restore Save Restore Firable Transitions: Frable Transitions: proc1(1) from_st1_input_none pioc1(1): from_st1_input_none SDL tracking SDL tracking time(15.0) Start MSC Start MSC Watch Watch MSC-driven: MSC-driven: Now: 0 Now: 0 Activate Activate Figure 4.67 Loose time progression off (a) and on (b) 4.3.7.13 Automated generation of feed To generate automatically the feed commands to transmit external signals to an SDL model, type in the Simulator (feature not available in early versions): feed ? For example, in the V.76 SDL model, the Simulator would answer: - Feeds skeleton for channel dlcbsu feed dlcbsu l_estabreq (?) feed dlcbsu l_estabresp ( ) feed dlcbsu l_setparmreq ( ) feed dlcbsu l setparmresp ( ) feed dlcbsu l_releasereg (?) feed dlcbsu l_datareq (?, ?) Feeds skeleton for channel dlcasu feed dlcasu l_estabreq (?) feed dlcasu l_estabresp ( ) feed dlcasu l_setparmreq ( ) feed dlcasu l_setparmresp ( ) feed dlcasu l_releas