Simulate v111003

Simulate is a web based analysis tool used to simulate the introduction of SV CV log events that have been previously inserted using the logevent tool. This can be used to build a map of expected log events with each new release of software. It is to be used in place of the actual target equipment for the purpose of surfacing all log events in a system. In addition to this report a simulation simulated logevents is also produced that can be input into the data reduction and analysis tool.

Other Analysis Reports . Original Source Code . Instrumented Source Code . Help

12/08/2003 16:12:18

Simulation Report

Instrumented Source result/source/pr-app/pr-app-PWR123/pwr-01.c
logevent 1001 1002 1003 1004 1005 1006 1007 1008 1009 1010 1011 1012 1013 1014 1015 1016 1017 1018 1019 1020 1021 1022 1023 1024 1025 1026 1027 1028

Source Code Comments
1-153 1001 /* LE SV TOC-2401 this is a pwr-01.2.19 req to disable*/
1-160 1002 /* LE SV TOC-2402 this is a pwr-01.2.25 req to update*/
1-223 1003 /* LE SV TOC-2403 this is a pwr-01.2.39 req to call admin*/
1-257 1004 /* LE SV TOC-2404 this is a pwr-01.2.47 req to validate*/
1-370 1005 /* LE SV TOC-2405 this is a pwr-01.3.10 req to transform*/
1-492 1006 /* LE SV TOC-2406 this is a pwr-01.5.3 req to set Real Time Clock*/
1-515 1007 /* LE SV TOC-2407 this is a pwr-01.5.11 req to compare*/
1-667 1008 /* LE SV TOC-2408 this is a pwr-01.6.4 req to enable*/
1-784 1009 /* LE SV TOC-2409 this is a pwr-01.6.43 req to convert*/
1-792 1010 /* LE SV TOC-2410 this is a pwr-01.6.44 req to verify*/
1-795 1011 /* LE SV TOC-2411 this is a pwr-01.6.46 req to convert*/
1-818 1012 /* LE SV TOC-2412 this is a pwr-01.7.1 req to transform*/
1-821 1013 /* LE SV TOC-2413 this is a pwr-01.7.3 req to increment*/
1-871 1014 /* LE SV TOC-2414 this is a pwr-01.7.16 req to halt*/
1-930 1015 /* LE SV TOC-2415 this is a pwr-01.8.5 req to increment*/
1-940 1016 /* LE SV TOC-2416 this is a pwr-01.8.8 req to check unix*/
1-1043 1017 /* LE SV TOC-2417 this is a pwr-01.9.6 req to reject*/
1-1063 1018 /* LE SV TOC-2418 this is a pwr-01.9.13 req to process*/
1-1095 1019 /* LE SV TOC-2419 this is a pwr-01.9.20 req to audit*/
1-1134 1020 /* LE SV TOC-2420 this is a pwr-01.9.27 req to detect error*/
1-1365 1021 /* LE SV TOC-2421 this is a pwr-01.11.4 req to store*/
1-1367 1022 /* LE SV TOC-2422 this is a pwr-01.11.5 req to update*/
1-1378 1023 /* LE SV TOC-2423 this is a pwr-01.11.9 req to fail*/
1-1408 1024 /* LE SV TOC-2424 this is a pwr-01.11.14 req to compare*/
1-1587 1025 /* LE SV TOC-2425 this is a pwr-01.12.29 req to call admin*/
1-1604 1026 /* LE SV TOC-2426 this is a pwr-01.12.32 req to set RTC*/
1-1655 1027 /* LE SV TOC-2427 this is a pwr-01.12.46 req to convert*/
1-1746 1028 /* LE SV TOC-2428 this is a pwr-01.13.10 req to detect error*/

PUI TOC-2401 TOC-2402 TOC-2403 TOC-2404 TOC-2405 TOC-2406 TOC-2407 TOC-2408 TOC-2409 TOC-2410 TOC-2411 TOC-2412 TOC-2413 TOC-2414 TOC-2415 TOC-2416 TOC-2417 TOC-2418 TOC-2419 TOC-2420 TOC-2421 TOC-2422 TOC-2423 TOC-2424 TOC-2425 TOC-2426 TOC-2427 TOC-2428

1 TOC-2401 $This req is about pwr-01.2.19 the system shall disable $PWR $TST $1.0
2 TOC-2402 $This req is about pwr-01.2.25 the system shall update $PWR $TST $1.0
3 TOC-2403 $This req is about pwr-01.2.39 the system shall call admin $PWR $TST $1.0
4 TOC-2404 $This req is about pwr-01.2.47 the system shall validate $PWR $TST $1.0
5 TOC-2405 $This req is about pwr-01.3.10 the system shall transform $PWR $TST $1.0
6 TOC-2406 $This req is about pwr-01.5.3 the system shall set Real Time Clock $PWR $TST $1.0
7 TOC-2407 $This req is about pwr-01.5.11 the system shall compare $PWR $TST $1.0
8 TOC-2408 $This req is about pwr-01.6.4 the system shall enable $PWR $TST $1.0
9 TOC-2409 $This req is about pwr-01.6.43 the system shall convert $PWR $TST $1.0
10 TOC-2410 $This req is about pwr-01.6.44 the system shall verify $PWR $TST $1.0
11 TOC-2411 $This req is about pwr-01.6.46 the system shall convert $PWR $TST $1.0
12 TOC-2412 $This req is about pwr-01.7.1 the system shall transform $PWR $TST $1.0
13 TOC-2413 $This req is about pwr-01.7.3 the system shall increment $PWR $TST $1.0
14 TOC-2414 $This req is about pwr-01.7.16 the system shall halt $PWR $TST $1.0
15 TOC-2415 $This req is about pwr-01.8.5 the system shall increment $PWR $TST $1.0
16 TOC-2416 $This req is about pwr-01.8.8 the system shall check unix $PWR $TST $1.0
17 TOC-2417 $This req is about pwr-01.9.6 the system shall reject $PWR $TST $1.0
18 TOC-2418 $This req is about pwr-01.9.13 the system shall process $PWR $TST $1.0
19 TOC-2419 $This req is about pwr-01.9.20 the system shall audit $PWR $TST $1.0
20 TOC-2420 $This req is about pwr-01.9.27 the system shall detect error $PWR $TST $1.0
21 TOC-2421 $This req is about pwr-01.11.4 the system shall store $PWR $TST $1.0
22 TOC-2422 $This req is about pwr-01.11.5 the system shall update $PWR $TST $1.0
23 TOC-2423 $This req is about pwr-01.11.9 the system shall fail $PWR $TST $1.0
24 TOC-2424 $This req is about pwr-01.11.14 the system shall compare $PWR $TST $1.0
25 TOC-2425 $This req is about pwr-01.12.29 the system shall call admin $PWR $TST $1.0
26 TOC-2426 $This req is about pwr-01.12.32 the system shall set RTC $PWR $TST $1.0
27 TOC-2427 $This req is about pwr-01.12.46 the system shall convert $PWR $TST $1.0
28 TOC-2428 $This req is about pwr-01.13.10 the system shall detect error $PWR $TST $1.0

Instrumented Source result/source/pr-app/pr-app-PWR123/pwr-02.c
logevent 1029 1030 1031 1032 1033 1034 1035 1036 1037 1038 1039 1040

Source Code Comments
2-57 1029 /* LE SV TOC-2429 this is a pwr-02.1.9 req to call admin*/
2-194 1030 /* LE SV TOC-2430 this is a pwr-02.2.20 req to increment*/
2-249 1031 /* LE SV TOC-2431 this is a pwr-02.2.37 req to fail*/
2-477 1032 /* LE SV TOC-2432 this is a pwr-02.3.52 req to update*/
2-717 1033 /* LE SV TOC-2433 this is a pwr-02.5.34 req to call admin*/
2-906 1034 /* LE SV TOC-2434 this is a pwr-02.6.30 req to check unix*/
2-936 1035 /* LE SV TOC-2435 this is a pwr-02.6.40 req to compare*/
2-967 1036 /* LE SV TOC-2436 this is a pwr-02.6.44 req to call admin*/
2-976 1037 /* LE SV TOC-2437 this is a pwr-02.6.46 req to detect error*/
2-985 1038 /* LE SV TOC-2438 this is a pwr-02.6.48 req to verify*/
2-1095 1039 /* LE SV TOC-2439 this is a pwr-02.6.72 req to update*/
2-1119 1040 /* LE SV TOC-2440 this is a pwr-02.6.77 req to set RTC*/

PUI TOC-2429 TOC-2430 TOC-2431 TOC-2432 TOC-2433 TOC-2434 TOC-2435 TOC-2436 TOC-2437 TOC-2438 TOC-2439 TOC-2440

1 TOC-2429 $This req is about pwr-02.1.9 the system shall call admin $PWR $TST $1.0
2 TOC-2430 $This req is about pwr-02.2.20 the system shall increment $PWR $TST $1.0
3 TOC-2431 $This req is about pwr-02.2.37 the system shall fail $PWR $TST $1.0
4 TOC-2432 $This req is about pwr-02.3.52 the system shall update $PWR $TST $1.0
5 TOC-2433 $This req is about pwr-02.5.34 the system shall call admin $PWR $TST $1.0
6 TOC-2434 $This req is about pwr-02.6.30 the system shall check unix $PWR $TST $1.0
7 TOC-2435 $This req is about pwr-02.6.40 the system shall compare $PWR $TST $1.0
8 TOC-2436 $This req is about pwr-02.6.44 the system shall call admin $PWR $TST $1.0
9 TOC-2437 $This req is about pwr-02.6.46 the system shall detect error $PWR $TST $1.0
10 TOC-2438 $This req is about pwr-02.6.48 the system shall verify $PWR $TST $1.0
11 TOC-2439 $This req is about pwr-02.6.72 the system shall update $PWR $TST $1.0
12 TOC-2440 $This req is about pwr-02.6.77 the system shall set RTC $PWR $TST $1.0

Instrumented Source result/source/pr-app/pr-app-PWR123/pwr-03.c
logevent 1041 1042 1043 1044 1045 1046 1047 1048 1049 1050 1051 1052 1053 1054 1055 1056 1057

Source Code Comments
3-39 1041 /* LE SV TOC-2441 this is a pwr-03.1.1 req to fail*/
3-159 1042 /* LE SV TOC-2442 this is a pwr-03.2.29 req to validate*/
3-169 1043 /* LE SV TOC-2443 this is a pwr-03.2.32 req to call admin*/
3-301 1044 /* LE SV TOC-2444 this is a pwr-03.3.5 req to check unix*/
3-438 1045 /* LE SV TOC-2445 this is a pwr-03.4.15 req to fail*/
3-503 1046 /* LE SV TOC-2446 this is a pwr-03.4.30 req to disable*/
3-532 1047 /* LE SV TOC-2447 this is a pwr-03.5.3 req to compare*/
3-608 1048 /* LE SV TOC-2448 this is a pwr-03.5.30 req to check pSOS*/
3-779 1049 /* LE SV TOC-2449 this is a pwr-03.6.45 req to store*/
3-954 1050 /* LE SV TOC-2450 this is a pwr-03.7.23 req to set RTC*/
3-1114 1051 /* LE SV TOC-2451 this is a pwr-03.8.22 req to compare*/
3-1125 1052 /* LE SV TOC-2452 this is a pwr-03.8.26 req to translate*/
3-1133 1053 /* LE SV TOC-2453 this is a pwr-03.8.27 req to convert*/
3-1147 1054 /* LE SV TOC-2454 this is a pwr-03.8.33 req to translate*/
3-1221 1055 /* LE SV TOC-2455 this is a pwr-03.8.51 req to check pSOS*/
3-1237 1056 /* LE SV TOC-2456 this is a pwr-03.8.58 req to translate*/
3-1263 1057 /* LE SV TOC-2457 this is a pwr-03.8.65 req to convert*/

PUI TOC-2441 TOC-2442 TOC-2443 TOC-2444 TOC-2445 TOC-2446 TOC-2447 TOC-2448 TOC-2449 TOC-2450 TOC-2451 TOC-2452 TOC-2453 TOC-2454 TOC-2455 TOC-2456 TOC-2457

1 TOC-2441 $This req is about pwr-03.1.1 the system shall fail $PWR $TST $1.0
2 TOC-2442 $This req is about pwr-03.2.29 the system shall validate $PWR $TST $1.0
3 TOC-2443 $This req is about pwr-03.2.32 the system shall call admin $PWR $TST $1.0
4 TOC-2444 $This req is about pwr-03.3.5 the system shall check unix $PWR $TST $1.0
5 TOC-2445 $This req is about pwr-03.4.15 the system shall fail $PWR $TST $1.0
6 TOC-2446 $This req is about pwr-03.4.30 the system shall disable $PWR $TST $1.0
7 TOC-2447 $This req is about pwr-03.5.3 the system shall compare $PWR $TST $1.0
8 TOC-2448 $This req is about pwr-03.5.30 the system shall check pSOS $PWR $TST $1.0
9 TOC-2449 $This req is about pwr-03.6.45 the system shall store $PWR $TST $1.0
10 TOC-2450 $This req is about pwr-03.7.23 the system shall set RTC $PWR $TST $1.0
11 TOC-2451 $This req is about pwr-03.8.22 the system shall compare $PWR $TST $1.0
12 TOC-2452 $This req is about pwr-03.8.26 the system shall translate $PWR $TST $1.0
13 TOC-2453 $This req is about pwr-03.8.27 the system shall convert $PWR $TST $1.0
14 TOC-2454 $This req is about pwr-03.8.33 the system shall translate $PWR $TST $1.0
15 TOC-2455 $This req is about pwr-03.8.51 the system shall check pSOS $PWR $TST $1.0
16 TOC-2456 $This req is about pwr-03.8.58 the system shall translate $PWR $TST $1.0
17 TOC-2457 $This req is about pwr-03.8.65 the system shall convert $PWR $TST $1.0

Instrumented Source result/source/pr-app/pr-app-PWR123/pwr-04.c
logevent 1058 1059 1060 1061 1062 1063 1064 1065 1066 1067 1068 1069 1070 1071 1072 1073 1074 1075 1076 1077 1078 1079 1080 1081 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 1093 1094 1095

Source Code Comments
4-53 1058 /* LE SV TOC-2458 this is a pwr-04.1.4 req to store*/
4-100 1059 /* LE SV TOC-2459 this is a pwr-04.1.19 req to update*/
4-111 1060 /* LE SV TOC-2460 this is a pwr-04.1.23 req to call isr*/
4-140 1061 /* LE SV TOC-2461 this is a pwr-04.1.33 req to call isr*/
4-145 1062 /* LE SV TOC-2462 this is a pwr-04.1.37 req to record*/
4-148 1063 /* LE SV TOC-2463 this is a pwr-04.1.39 req to assign*/
4-171 1064 /* LE SV TOC-2464 this is a pwr-04.2.2 req to set RTC*/
4-290 1065 /* LE SV TOC-008 we really should log all error calls */
4-310 1066 /* LE SV TOC-2465 this is a pwr-04.2.54 req to assign*/
4-350 1067 /* LE SV TOC-2466 this is a pwr-04.2.67 req to verify*/
4-353 1068 /* LE SV TOC-2467 this is a pwr-04.2.69 req to call isr*/
4-445 1069 /* LE SV TOC-2468 this is a pwr-04.3.22 req to call admin*/
4-539 1070 /* LE SV TOC-2469 this is a pwr-04.3.44 req to reject*/
4-590 1071 /* LE SV TOC-2470 this is a pwr-04.3.62 req to assign*/
4-592 1072 /* LE SV TOC-2471 this is a pwr-04.3.63 req to record*/
4-718 1073 /* LE SV TOC-2472 this is a pwr-04.4.17 req to audit*/
4-780 1074 /* LE SV TOC-2473 this is a pwr-04.5.9 req to reject*/
4-947 1075 /* LE SV TOC-2474 this is a pwr-04.6.30 req to enable*/
4-1118 1076 /* LE SV TOC-2475 this is a pwr-04.6.73 req to inhibit*/
4-1308 1077 /* LE SV TOC-2476 this is a pwr-04.8.7 req to audit*/
4-1557 1078 /* LE SV TOC-2477 this is a pwr-04.9.13 req to recover*/
4-1601 1079 /* LE SV TOC-2478 this is a pwr-04.9.31 req to call isr*/
4-1642 1080 /* LE SV TOC-2479 this is a pwr-04.9.45 req to check pSOS*/
4-1651 1081 /* LE SV TOC-2480 this is a pwr-04.9.47 req to transform*/
4-1730 1082 /* LE SV TOC-2481 this is a pwr-04.9.71 req to audit*/
4-1801 1083 /* LE SV TOC-2482 this is a pwr-04.9.86 req to check unix*/
4-1856 1084 /* LE SV TOC-2483 this is a pwr-04.10.8 req to set Real Time Clock*/
4-1858 1085 /* LE SV TOC-2484 this is a pwr-04.10.9 req to set Real Time Clock*/
4-1912 1086 /* LE SV TOC-2485 this is a pwr-04.10.23 req to check pSOS*/
4-1914 1087 /* LE SV TOC-2486 this is a pwr-04.10.24 req to transform*/
4-1995 1088 /* LE SV TOC-2487 this is a pwr-04.10.49 req to inhibit*/
4-2029 1089 /* LE SV TOC-2488 this is a pwr-04.10.63 req to set RTC*/
4-2078 1090 /* LE SV TOC-2489 this is a pwr-04.11.5 req to transform*/
4-2112 1091 /* LE SV TOC-2490 this is a pwr-04.11.14 req to record*/
4-2127 1092 /* LE SV TOC-2491 this is a pwr-04.11.16 req to transform*/
4-2169 1093 /* LE SV TOC-2492 this is a pwr-04.11.26 req to assign*/
4-2204 1094 /* LE SV TOC-2493 this is a pwr-04.11.36 req to fail*/
4-2295 1095 /* LE SV TOC-2494 this is a pwr-04.11.65 req to translate*/

PUI TOC-2458 TOC-2459 TOC-2460 TOC-2461 TOC-2462 TOC-2463 TOC-2464 TOC-008 TOC-2465 TOC-2466 TOC-2467 TOC-2468 TOC-2469 TOC-2470 TOC-2471 TOC-2472 TOC-2473 TOC-2474 TOC-2475 TOC-2476 TOC-2477 TOC-2478 TOC-2479 TOC-2480 TOC-2481 TOC-2482 TOC-2483 TOC-2484 TOC-2485 TOC-2486 TOC-2487 TOC-2488 TOC-2489 TOC-2490 TOC-2491 TOC-2492 TOC-2493 TOC-2494

1 TOC-2458 $This req is about pwr-04.1.4 the system shall store $PWR $TST $1.0
2 TOC-2459 $This req is about pwr-04.1.19 the system shall update $PWR $TST $1.0
3 TOC-2460 $This req is about pwr-04.1.23 the system shall call isr $PWR $TST $1.0
4 TOC-2461 $This req is about pwr-04.1.33 the system shall call isr $PWR $TST $1.0
5 TOC-2462 $This req is about pwr-04.1.37 the system shall record $PWR $TST $1.0
6 TOC-2463 $This req is about pwr-04.1.39 the system shall assign $PWR $TST $1.0
7 TOC-2464 $This req is about pwr-04.2.2 the system shall set RTC $PWR $TST $1.0
8 Not in current TOC baseline file TOC-008
9 TOC-2465 $This req is about pwr-04.2.54 the system shall assign $PWR $TST $1.0
10 TOC-2466 $This req is about pwr-04.2.67 the system shall verify $PWR $TST $1.0
11 TOC-2467 $This req is about pwr-04.2.69 the system shall call isr $PWR $TST $1.0
12 TOC-2468 $This req is about pwr-04.3.22 the system shall call admin $PWR $TST $1.0
13 TOC-2469 $This req is about pwr-04.3.44 the system shall reject $PWR $TST $1.0
14 TOC-2470 $This req is about pwr-04.3.62 the system shall assign $PWR $TST $1.0
15 TOC-2471 $This req is about pwr-04.3.63 the system shall record $PWR $TST $1.0
16 TOC-2472 $This req is about pwr-04.4.17 the system shall audit $PWR $TST $1.0
17 TOC-2473 $This req is about pwr-04.5.9 the system shall reject $PWR $TST $1.0
18 TOC-2474 $This req is about pwr-04.6.30 the system shall enable $PWR $TST $1.0
19 TOC-2475 $This req is about pwr-04.6.73 the system shall inhibit $PWR $TST $1.0
20 TOC-2476 $This req is about pwr-04.8.7 the system shall audit $PWR $TST $1.0
21 TOC-2477 $This req is about pwr-04.9.13 the system shall recover $PWR $TST $1.0
22 TOC-2478 $This req is about pwr-04.9.31 the system shall call isr $PWR $TST $1.0
23 TOC-2479 $This req is about pwr-04.9.45 the system shall check pSOS $PWR $TST $1.0
24 TOC-2480 $This req is about pwr-04.9.47 the system shall transform $PWR $TST $1.0
25 TOC-2481 $This req is about pwr-04.9.71 the system shall audit $PWR $TST $1.0
26 TOC-2482 $This req is about pwr-04.9.86 the system shall check unix $PWR $TST $1.0
27 TOC-2483 $This req is about pwr-04.10.8 the system shall set Real Time Clock $PWR $TST $1.0
28 TOC-2484 $This req is about pwr-04.10.9 the system shall set Real Time Clock $PWR $TST $1.0
29 TOC-2485 $This req is about pwr-04.10.23 the system shall check pSOS $PWR $TST $1.0
30 TOC-2486 $This req is about pwr-04.10.24 the system shall transform $PWR $TST $1.0
31 TOC-2487 $This req is about pwr-04.10.49 the system shall inhibit $PWR $TST $1.0
32 TOC-2488 $This req is about pwr-04.10.63 the system shall set RTC $PWR $TST $1.0
33 TOC-2489 $This req is about pwr-04.11.5 the system shall transform $PWR $TST $1.0
34 TOC-2490 $This req is about pwr-04.11.14 the system shall record $PWR $TST $1.0
35 TOC-2491 $This req is about pwr-04.11.16 the system shall transform $PWR $TST $1.0
36 TOC-2492 $This req is about pwr-04.11.26 the system shall assign $PWR $TST $1.0
37 TOC-2493 $This req is about pwr-04.11.36 the system shall fail $PWR $TST $1.0
38 TOC-2494 $This req is about pwr-04.11.65 the system shall translate $PWR $TST $1.0

Instrumented Source result/source/pr-app/pr-app-PWR123/pwr-05.c
logevent 1096 1097 1098 1099 1100 1101 1102 1103 1104 1105 1106 1107 1108 1109 1110 1111 1112 1113 1114 1115 1116 1117 1118 1119 1120 1121 1122

Source Code Comments
5-156 1096 /* LE SV TOC-2495 this is a pwr-05.2.12 req to transform*/
5-265 1097 /* LE SV TOC-2496 this is a pwr-05.2.37 req to inhibit*/
5-514 1098 /* LE SV TOC-2497 this is a pwr-05.3.15 req to inhibit*/
5-516 1099 /* LE SV TOC-2498 this is a pwr-05.3.16 req to check unix*/
5-566 1100 /* LE SV TOC-2499 this is a pwr-05.3.28 req to increment*/
5-643 1101 /* LE SV TOC-2500 this is a pwr-05.4.8 req to increment*/
5-656 1102 /* LE SV TOC-2501 this is a pwr-05.4.13 req to detect error*/
5-730 1103 /* LE SV TOC-2502 this is a pwr-05.4.36 req to set RTC*/
5-763 1104 /* LE SV TOC-2503 this is a pwr-05.5.1 req to fail*/
5-772 1105 /* LE SV TOC-2504 this is a pwr-05.5.3 req to check pSOS*/
5-858 1106 /* LE SV TOC-2505 this is a pwr-05.5.27 req to halt*/
5-922 1107 /* LE SV TOC-2506 this is a pwr-05.5.46 req to check unix*/
5-1005 1108 /* LE SV TOC-2507 this is a pwr-05.6.22 req to translate*/
5-1316 1109 /* LE SV TOC-2508 this is a pwr-05.8.4 req to set RTC*/
5-1448 1110 /* LE SV TOC-008 we really should log all error calls */
5-1538 1111 /* LE SV TOC-2509 this is a pwr-05.9.35 req to record*/
5-1563 1112 /* LE SV TOC-008 we really should log all error calls */
5-1653 1113 /* LE SV TOC-2510 this is a pwr-05.10.27 req to transform*/
5-1785 1114 /* LE SV TOC-2511 this is a pwr-05.12.22 req to convert*/
5-1832 1115 /* LE SV TOC-2512 this is a pwr-05.12.31 req to audit*/
5-1917 1116 /* LE SV TOC-008 we really should log all error calls */
5-2039 1117 /* LE SV TOC-2513 this is a pwr-05.13.5 req to detect error*/
5-2086 1118 /* LE SV TOC-2514 this is a pwr-05.13.21 req to check unix*/
5-2193 1119 /* LE SV TOC-2515 this is a pwr-05.13.49 req to reject*/
5-2204 1120 /* LE SV TOC-2516 this is a pwr-05.13.52 req to update*/
5-2252 1121 /* LE SV TOC-008 we really should log all error calls */
5-2263 1122 /* LE SV TOC-2517 this is a pwr-05.14.12 req to record*/

PUI TOC-2495 TOC-2496 TOC-2497 TOC-2498 TOC-2499 TOC-2500 TOC-2501 TOC-2502 TOC-2503 TOC-2504 TOC-2505 TOC-2506 TOC-2507 TOC-2508 TOC-008 TOC-2509 TOC-008 TOC-2510 TOC-2511 TOC-2512 TOC-008 TOC-2513 TOC-2514 TOC-2515 TOC-2516 TOC-008 TOC-2517

1 TOC-2495 $This req is about pwr-05.2.12 the system shall transform $PWR $TST $1.0
2 TOC-2496 $This req is about pwr-05.2.37 the system shall inhibit $PWR $TST $1.0
3 TOC-2497 $This req is about pwr-05.3.15 the system shall inhibit $PWR $TST $1.0
4 TOC-2498 $This req is about pwr-05.3.16 the system shall check unix $PWR $TST $1.0
5 TOC-2499 $This req is about pwr-05.3.28 the system shall increment $PWR $TST $1.0
6 TOC-2500 $This req is about pwr-05.4.8 the system shall increment $PWR $TST $1.0
7 TOC-2501 $This req is about pwr-05.4.13 the system shall detect error $PWR $TST $1.0
8 TOC-2502 $This req is about pwr-05.4.36 the system shall set RTC $PWR $TST $1.0
9 TOC-2503 $This req is about pwr-05.5.1 the system shall fail $PWR $TST $1.0
10 TOC-2504 $This req is about pwr-05.5.3 the system shall check pSOS $PWR $TST $1.0
11 TOC-2505 $This req is about pwr-05.5.27 the system shall halt $PWR $TST $1.0
12 TOC-2506 $This req is about pwr-05.5.46 the system shall check unix $PWR $TST $1.0
13 TOC-2507 $This req is about pwr-05.6.22 the system shall translate $PWR $TST $1.0
14 TOC-2508 $This req is about pwr-05.8.4 the system shall set RTC $PWR $TST $1.0
15 Not in current TOC baseline file TOC-008
16 TOC-2509 $This req is about pwr-05.9.35 the system shall record $PWR $TST $1.0
17 Not in current TOC baseline file TOC-008
18 TOC-2510 $This req is about pwr-05.10.27 the system shall transform $PWR $TST $1.0
19 TOC-2511 $This req is about pwr-05.12.22 the system shall convert $PWR $TST $1.0
20 TOC-2512 $This req is about pwr-05.12.31 the system shall audit $PWR $TST $1.0
21 Not in current TOC baseline file TOC-008
22 TOC-2513 $This req is about pwr-05.13.5 the system shall detect error $PWR $TST $1.0
23 TOC-2514 $This req is about pwr-05.13.21 the system shall check unix $PWR $TST $1.0
24 TOC-2515 $This req is about pwr-05.13.49 the system shall reject $PWR $TST $1.0
25 TOC-2516 $This req is about pwr-05.13.52 the system shall update $PWR $TST $1.0
26 Not in current TOC baseline file TOC-008
27 TOC-2517 $This req is about pwr-05.14.12 the system shall record $PWR $TST $1.0

Instrumented Source result/source/pr-app/pr-app-PWR123/pwr-06.c
logevent 1123 1124 1125 1126 1127 1128 1129 1130 1131 1132 1133 1134 1135 1136 1137 1138 1139 1140 1141 1142

Source Code Comments
6-41 1123 /* LE SV TOC-2518 this is a pwr-06.1.2 req to record*/
6-61 1124 /* LE SV TOC-2519 this is a pwr-06.1.9 req to process*/
6-80 1125 /* LE SV TOC-2520 this is a pwr-06.1.21 req to fail*/
6-164 1126 /* LE SV TOC-2521 this is a pwr-06.2.10 req to record*/
6-237 1127 /* LE SV TOC-2522 this is a pwr-06.3.3 req to audit*/
6-259 1128 /* LE SV TOC-2523 this is a pwr-06.3.12 req to enable*/
6-300 1129 /* LE SV TOC-2524 this is a pwr-06.4.7 req to enable*/
6-478 1130 /* LE SV TOC-2525 this is a pwr-06.5.2 req to set RTC*/
6-487 1131 /* LE SV TOC-2526 this is a pwr-06.5.4 req to recover*/
6-683 1132 /* LE SV TOC-008 we really should log all error calls */
6-689 1133 /* LE SV TOC-2527 this is a pwr-06.5.73 req to validate*/
6-729 1134 /* LE SV TOC-2528 this is a pwr-06.6.5 req to compare*/
6-877 1135 /* LE SV TOC-2529 this is a pwr-06.6.42 req to check unix*/
6-921 1136 /* LE SV TOC-2530 this is a pwr-06.7.4 req to convert*/
6-947 1137 /* LE SV TOC-2531 this is a pwr-06.7.15 req to set Real Time Clock*/
6-958 1138 /* LE SV TOC-2532 this is a pwr-06.7.19 req to set Real Time Clock*/
6-971 1139 /* LE SV TOC-2533 this is a pwr-06.7.25 req to assign*/
6-1160 1140 /* LE SV TOC-2534 this is a pwr-06.9.19 req to convert*/
6-1208 1141 /* LE SV TOC-008 we really should log all error calls */
6-1272 1142 /* LE SV TOC-2535 this is a pwr-06.9.57 req to compare*/

PUI TOC-2518 TOC-2519 TOC-2520 TOC-2521 TOC-2522 TOC-2523 TOC-2524 TOC-2525 TOC-2526 TOC-008 TOC-2527 TOC-2528 TOC-2529 TOC-2530 TOC-2531 TOC-2532 TOC-2533 TOC-2534 TOC-008 TOC-2535

1 TOC-2518 $This req is about pwr-06.1.2 the system shall record $PWR $TST $1.0
2 TOC-2519 $This req is about pwr-06.1.9 the system shall process $PWR $TST $1.0
3 TOC-2520 $This req is about pwr-06.1.21 the system shall fail $PWR $TST $1.0
4 TOC-2521 $This req is about pwr-06.2.10 the system shall record $PWR $TST $1.0
5 TOC-2522 $This req is about pwr-06.3.3 the system shall audit $PWR $TST $1.0
6 TOC-2523 $This req is about pwr-06.3.12 the system shall enable $PWR $TST $1.0
7 TOC-2524 $This req is about pwr-06.4.7 the system shall enable $PWR $TST $1.0
8 TOC-2525 $This req is about pwr-06.5.2 the system shall set RTC $PWR $TST $1.0
9 TOC-2526 $This req is about pwr-06.5.4 the system shall recover $PWR $TST $1.0
10 Not in current TOC baseline file TOC-008
11 TOC-2527 $This req is about pwr-06.5.73 the system shall validate $PWR $TST $1.0
12 TOC-2528 $This req is about pwr-06.6.5 the system shall compare $PWR $TST $1.0
13 TOC-2529 $This req is about pwr-06.6.42 the system shall check unix $PWR $TST $1.0
14 TOC-2530 $This req is about pwr-06.7.4 the system shall convert $PWR $TST $1.0
15 TOC-2531 $This req is about pwr-06.7.15 the system shall set Real Time Clock $PWR $TST $1.0
16 TOC-2532 $This req is about pwr-06.7.19 the system shall set Real Time Clock $PWR $TST $1.0
17 TOC-2533 $This req is about pwr-06.7.25 the system shall assign $PWR $TST $1.0
18 TOC-2534 $This req is about pwr-06.9.19 the system shall convert $PWR $TST $1.0
19 Not in current TOC baseline file TOC-008
20 TOC-2535 $This req is about pwr-06.9.57 the system shall compare $PWR $TST $1.0

Instrumented Source result/source/pr-app/pr-app-PWR123/pwr-07.c
logevent 1143 1144 1145 1146 1147 1148 1149 1150 1151 1152 1153

Source Code Comments
7-165 1143 /* LE SV TOC-2536 this is a pwr-07.2.11 req to fail*/
7-168 1144 /* LE SV TOC-2537 this is a pwr-07.2.13 req to transform*/
7-353 1145 /* LE SV TOC-2538 this is a pwr-07.3.14 req to transform*/
7-374 1146 /* LE SV TOC-2539 this is a pwr-07.3.28 req to convert*/
7-578 1147 /* LE SV TOC-2540 this is a pwr-07.5.13 req to check unix*/
7-610 1148 /* LE SV TOC-2541 this is a pwr-07.5.20 req to convert*/
7-634 1149 /* LE SV TOC-2542 this is a pwr-07.5.24 req to recover*/
7-706 1150 /* LE SV TOC-2543 this is a pwr-07.5.46 req to set Real Time Clock*/
7-826 1151 /* LE SV TOC-2544 this is a pwr-07.6.6 req to call admin*/
7-1054 1152 /* LE SV TOC-2545 this is a pwr-07.8.18 req to transform*/
7-1071 1153 /* LE SV TOC-2546 this is a pwr-07.8.22 req to detect error*/

PUI TOC-2536 TOC-2537 TOC-2538 TOC-2539 TOC-2540 TOC-2541 TOC-2542 TOC-2543 TOC-2544 TOC-2545 TOC-2546

1 TOC-2536 $This req is about pwr-07.2.11 the system shall fail $PWR $TST $1.0
2 TOC-2537 $This req is about pwr-07.2.13 the system shall transform $PWR $TST $1.0
3 TOC-2538 $This req is about pwr-07.3.14 the system shall transform $PWR $TST $1.0
4 TOC-2539 $This req is about pwr-07.3.28 the system shall convert $PWR $TST $1.0
5 TOC-2540 $This req is about pwr-07.5.13 the system shall check unix $PWR $TST $1.0
6 TOC-2541 $This req is about pwr-07.5.20 the system shall convert $PWR $TST $1.0
7 TOC-2542 $This req is about pwr-07.5.24 the system shall recover $PWR $TST $1.0
8 TOC-2543 $This req is about pwr-07.5.46 the system shall set Real Time Clock $PWR $TST $1.0
9 TOC-2544 $This req is about pwr-07.6.6 the system shall call admin $PWR $TST $1.0
10 TOC-2545 $This req is about pwr-07.8.18 the system shall transform $PWR $TST $1.0
11 TOC-2546 $This req is about pwr-07.8.22 the system shall detect error $PWR $TST $1.0

Instrumented Source result/source/pr-app/pr-app-PWR123/pwr-08.c
logevent 1154

Source Code Comments
8-186 1154 /* LE SV TOC-2547 this is a pwr-08.1.57 req to set RTC*/

PUI TOC-2547

1 TOC-2547 $This req is about pwr-08.1.57 the system shall set RTC $PWR $TST $1.0

Simdata Result: analysis/pr-app-PWR123/sim.dat

done