r, 40 Pid, 18 Tau Validator, 40 predefined data types, 20 real-time simulation procedure, 11 Tau Simulator, 275 process, 10 reasonable environment process type, 24 ObjectGeode, 105 queue of a process, 15 save signal, 16 ObjectGeode, 84, 104 self, 10 296 Index SDL (continued) symbol by symbol sender, 11 ObjectGeode, 77 signal, 11 Tau Simulator, 46 signal route, 13 start, 14 test values state, 15 Tau Validator, 193 stop, 17 time progression struct, 22 ObjectGeode, 106 syntype, 21 Tau Simulator, 46 task, 17 time, in MSC verification time, 19 ObjectGeode, 158 timer, 19 Tau Validator, 131 TO in output, 18 trace, MSC transition, state machine, 13 ObjectGeode, 75 transition, structure, 13 Tau Simulator, 43 variable, 17 trace, of a variable VIA in output, 18 ObjectGeode, 101 SDL-96 trace, SDL changes to SDL introduced in ObjectGeode, 71 1996, 2 Tau Simulator, 41 search, MSC tracking a hierarchical MSC ObjectGeode, 155 ObjectGeode, 148 several Simulators, running tree search Tau Simulator, 273 Tau Validator, 256 signal discarded tree walk ObjectGeode, 82 Tau Validator, 256 Tau Simulator, 52 simulation interactive, 39 ObjectGeode, 83, 104 life cycle, 4 unexpected signals simulation, real-time ObjectGeode, 82 Tau Simulator, 275 Tau Simulator, 52 startup file unexpected signals, in MSC ObjectGeode, 74 ObjectGeode, 158 startup script Tau Simulator, 64 variables, environment startup scripts ObjectGeode, 104 ObjectGeode, 96 variables, simulator state of process instances ObjectGeode, 104 ObjectGeode, 100 verify a hierarchical MSC Tau Simulator, 65 ObjectGeode, 142 states graph, 182 verify an MSC states graph example, 187, 191 ObjectGeode, 139 step by step simulation Tau Validator, 117 ObjectGeode, 76 verify, MSC Tau Validator, 118 ObjectGeode, 155 stop conditions ObjectGeode, 136 watch window stop conditions, in exhaustive simulation ObjectGeode, 101 ObjectGeode, 250 Tau Simulator, 67 supertrace watch, process queue ObjectGeode, 256 ObjectGeode, 85 supertrace exploration, 184 writing in the trace supertrace simulation ObjectGeo