Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec-tests / stateflow_json / regression_json / Top_Level_Mode_Sub_System_SFIR_pp.json @ 184630f0

History | View | Annotate | Download (37.6 KB)

1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "bool",
7
            "Id": 4358,
8
            "InitialValue": "false",
9
            "Name": "tLM_MODE_OUT_System_On",
10
            "Port": 1,
11
            "Scope": "Output"
12
        },
13
        {
14
            "ArraySize": "",
15
            "CompiledType": "unknown",
16
            "Datatype": "bool",
17
            "Id": 4359,
18
            "InitialValue": "false",
19
            "Name": "tLM_MODE_OUT_Request_Confirm_Stop",
20
            "Port": 2,
21
            "Scope": "Output"
22
        },
23
        {
24
            "ArraySize": "-1",
25
            "CompiledType": "unknown",
26
            "Datatype": "bool",
27
            "Id": 4360,
28
            "InitialValue": "false",
29
            "Name": "OP_CMD_IN_System_Start",
30
            "Port": 1,
31
            "Scope": "Input"
32
        },
33
        {
34
            "ArraySize": "-1",
35
            "CompiledType": "unknown",
36
            "Datatype": "bool",
37
            "Id": 4361,
38
            "InitialValue": "false",
39
            "Name": "OP_CMD_IN_System_Stop",
40
            "Port": 2,
41
            "Scope": "Input"
42
        },
43
        {
44
            "ArraySize": "-1",
45
            "CompiledType": "unknown",
46
            "Datatype": "bool",
47
            "Id": 4362,
48
            "InitialValue": "false",
49
            "Name": "OP_CMD_IN_Cancel",
50
            "Port": 3,
51
            "Scope": "Input"
52
        },
53
        {
54
            "ArraySize": "-1",
55
            "CompiledType": "unknown",
56
            "Datatype": "real",
57
            "Id": 4363,
58
            "InitialValue": "0.0",
59
            "Name": "CONST_IN_Max_Confirm_Stop_Duration",
60
            "Port": 4,
61
            "Scope": "Input"
62
        },
63
        {
64
            "ArraySize": "-1",
65
            "CompiledType": "unknown",
66
            "Datatype": "real",
67
            "Id": 4364,
68
            "InitialValue": "0.0",
69
            "Name": "step_size",
70
            "Port": null,
71
            "Scope": "Parameter"
72
        },
73
        {
74
            "ArraySize": "",
75
            "CompiledType": "unknown",
76
            "Datatype": "int",
77
            "Id": 4365,
78
            "InitialValue": "0",
79
            "Name": "tLM_MODE_OUT_Log_Message_ID",
80
            "Port": 3,
81
            "Scope": "Output"
82
        },
83
        {
84
            "ArraySize": "",
85
            "CompiledType": "unknown",
86
            "Datatype": "real",
87
            "Id": 4366,
88
            "InitialValue": "0.0",
89
            "Name": "confirmStopTimer",
90
            "Port": null,
91
            "Scope": "Local"
92
        }
93
    ],
94
    "Events": [],
95
    "GraphicalFunctions": [
96
        {
97
            "Composition": {
98
                "DefaultTransitions": {
99
                    "Condition": "",
100
                    "ConditionAction": "returnVal=inputVal/step_size;",
101
                    "Destination": {
102
                        "Id": 4353,
103
                        "Name": "GPCA_Top_Level_Mode_PP/Top_Level_Mode_Sub_System/Step_Scaling_Factor/Junction4353",
104
                        "Type": "Junction"
105
                    },
106
                    "Event": "",
107
                    "Id": 4354,
108
                    "TransitionAction": ""
109
                },
110
                "States": [],
111
                "Substates": [],
112
                "Type": "EXCLUSIVE_OR"
113
            },
114
            "Data": [
115
                {
116
                    "ArraySize": "",
117
                    "CompiledType": "unknown",
118
                    "Datatype": "real",
119
                    "Id": 4350,
120
                    "InitialValue": "0.0",
121
                    "Name": "inputVal",
122
                    "Port": null,
123
                    "Scope": "Input"
124
                },
125
                {
126
                    "ArraySize": "",
127
                    "CompiledType": "unknown",
128
                    "Datatype": "real",
129
                    "Id": 4351,
130
                    "InitialValue": "0.0",
131
                    "Name": "returnVal",
132
                    "Port": null,
133
                    "Scope": "Output"
134
                },
135
                {
136
                    "ArraySize": "",
137
                    "CompiledType": "unknown",
138
                    "Datatype": "real",
139
                    "Id": 4352,
140
                    "InitialValue": "0.0",
141
                    "Name": "step_size",
142
                    "Port": null,
143
                    "Scope": "Input"
144
                }
145
            ],
146
            "Events": [],
147
            "GraphicalFunctions": [],
148
            "Id": 4342,
149
            "Junctions": {
150
                "Id": 4353,
151
                "Name": "Junction4353",
152
                "OuterTransitions": [],
153
                "Path": "Step_Scaling_Factor/Junction4353",
154
                "Type": "CONNECTIVE"
155
            },
156
            "LabelString": "returnVal = Step_Scaling_Factor(inputVal,step_size)",
157
            "Name": "Step_Scaling_Factor",
158
            "Path": "Step_Scaling_Factor",
159
            "States": []
160
        },
161
        {
162
            "Composition": {
163
                "DefaultTransitions": {
164
                    "Condition": "",
165
                    "ConditionAction": "tLM_MODE_OUT_Log_Message_ID=logEvent;",
166
                    "Destination": {
167
                        "Id": 4356,
168
                        "Name": "GPCA_Top_Level_Mode_PP/Top_Level_Mode_Sub_System/writeLog/Junction4356",
169
                        "Type": "Junction"
170
                    },
171
                    "Event": "",
172
                    "Id": 4357,
173
                    "TransitionAction": ""
174
                },
175
                "States": [],
176
                "Substates": [],
177
                "Type": "EXCLUSIVE_OR"
178
            },
179
            "Data": {
180
                "ArraySize": "",
181
                "CompiledType": "unknown",
182
                "Datatype": "int",
183
                "Id": 4355,
184
                "InitialValue": "0",
185
                "Name": "logEvent",
186
                "Port": null,
187
                "Scope": "Input"
188
            },
189
            "Events": [],
190
            "GraphicalFunctions": [],
191
            "Id": 4343,
192
            "Junctions": {
193
                "Id": 4356,
194
                "Name": "Junction4356",
195
                "OuterTransitions": [],
196
                "Path": "writeLog/Junction4356",
197
                "Type": "CONNECTIVE"
198
            },
199
            "LabelString": "writeLog(logEvent)",
200
            "Name": "writeLog",
201
            "Path": "writeLog",
202
            "States": []
203
        }
204
    ],
205
    "Junctions": [
206
        {
207
            "Id": 4353,
208
            "Name": "Junction4353",
209
            "OuterTransitions": [],
210
            "Path": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/Step_Scaling_Factor/Junction4353",
211
            "Type": "CONNECTIVE"
212
        },
213
        {
214
            "Id": 4356,
215
            "Name": "Junction4356",
216
            "OuterTransitions": [],
217
            "Path": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/writeLog/Junction4356",
218
            "Type": "CONNECTIVE"
219
        }
220
    ],
221
    "Name": "Top_Level_Mode_Sub_System",
222
    "Path": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System",
223
    "SimulinkFunctions": [],
224
    "States": [
225
        {
226
            "Actions": {
227
                "Bind": {
228
                    "actions": "",
229
                    "external_fun": "",
230
                    "inputs": "",
231
                    "original_actions": "",
232
                    "outputs": "",
233
                    "variables": ""
234
                },
235
                "During": {
236
                    "actions": "",
237
                    "external_fun": "",
238
                    "inputs": "",
239
                    "original_actions": "",
240
                    "outputs": "",
241
                    "variables": ""
242
                },
243
                "Entry": {
244
                    "actions": "",
245
                    "external_fun": "",
246
                    "inputs": "",
247
                    "original_actions": "",
248
                    "outputs": "",
249
                    "variables": ""
250
                },
251
                "Exit": {
252
                    "actions": "",
253
                    "external_fun": "",
254
                    "inputs": "",
255
                    "original_actions": "",
256
                    "outputs": "",
257
                    "variables": ""
258
                },
259
                "On": {
260
                    "actions": "",
261
                    "external_fun": "",
262
                    "inputs": "",
263
                    "original_actions": "",
264
                    "outputs": "",
265
                    "variables": ""
266
                },
267
                "OnAfter": {
268
                    "actions": "",
269
                    "external_fun": "",
270
                    "inputs": "",
271
                    "original_actions": "",
272
                    "outputs": "",
273
                    "variables": ""
274
                },
275
                "OnAt": {
276
                    "actions": "",
277
                    "external_fun": "",
278
                    "inputs": "",
279
                    "original_actions": "",
280
                    "outputs": "",
281
                    "variables": ""
282
                },
283
                "OnBefore": {
284
                    "actions": "",
285
                    "external_fun": "",
286
                    "inputs": "",
287
                    "original_actions": "",
288
                    "outputs": "",
289
                    "variables": ""
290
                },
291
                "OnEvery": {
292
                    "actions": "",
293
                    "external_fun": "",
294
                    "inputs": "",
295
                    "original_actions": "",
296
                    "outputs": "",
297
                    "variables": ""
298
                }
299
            },
300
            "Composition": {
301
                "DefaultTransitions": [
302
                    {
303
                        "Condition": {
304
                            "actions": "OP_CMD_IN_System_Start ",
305
                            "external_fun": "",
306
                            "inputs": "OP_CMD_IN_System_Start: bool;",
307
                            "original_actions": "OP_CMD_IN_System_Start",
308
                            "outputs": "OP_CMD_IN_System_Start: bool;",
309
                            "variables": ""
310
                        },
311
                        "ConditionAction": {
312
                            "actions": "",
313
                            "external_fun": "",
314
                            "inputs": "",
315
                            "original_actions": "",
316
                            "outputs": "",
317
                            "variables": ""
318
                        },
319
                        "Destination": {
320
                            "Id": 4336,
321
                            "Name": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/TOP_Level_Mode",
322
                            "Type": "State"
323
                        },
324
                        "Event": "",
325
                        "Id": 4367,
326
                        "TransitionAction": {
327
                            "actions": "",
328
                            "external_fun": "",
329
                            "inputs": "",
330
                            "original_actions": "",
331
                            "outputs": "",
332
                            "variables": ""
333
                        }
334
                    },
335
                    {
336
                        "Condition": {
337
                            "actions": "",
338
                            "external_fun": "",
339
                            "inputs": "",
340
                            "original_actions": "",
341
                            "outputs": "",
342
                            "variables": ""
343
                        },
344
                        "ConditionAction": {
345
                            "actions": "",
346
                            "external_fun": "",
347
                            "inputs": "",
348
                            "original_actions": "",
349
                            "outputs": "",
350
                            "variables": ""
351
                        },
352
                        "Destination": {
353
                            "Id": 4340,
354
                            "Name": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/NOT_ON",
355
                            "Type": "State"
356
                        },
357
                        "Event": "",
358
                        "Id": 4368,
359
                        "TransitionAction": {
360
                            "actions": "",
361
                            "external_fun": "",
362
                            "inputs": "",
363
                            "original_actions": "",
364
                            "outputs": "",
365
                            "variables": ""
366
                        }
367
                    }
368
                ],
369
                "States": [
370
                    4336,
371
                    4340
372
                ],
373
                "Substates": [
374
                    "TOP_Level_Mode",
375
                    "NOT_ON"
376
                ],
377
                "Type": "EXCLUSIVE_OR"
378
            },
379
            "Id": 4335,
380
            "InnerTransitions": [],
381
            "OuterTransitions": [],
382
            "Path": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System"
383
        },
384
        {
385
            "Actions": {
386
                "Bind": {
387
                    "actions": "",
388
                    "external_fun": "",
389
                    "inputs": "",
390
                    "original_actions": "",
391
                    "outputs": "",
392
                    "variables": ""
393
                },
394
                "During": {
395
                    "actions": "tLM_MODE_OUT_System_On = true; ",
396
                    "external_fun": "",
397
                    "inputs": "tLM_MODE_OUT_System_On: bool;",
398
                    "original_actions": "tLM_MODE_OUT_System_On=1;\n",
399
                    "outputs": "tLM_MODE_OUT_System_On: bool;",
400
                    "variables": ""
401
                },
402
                "Entry": {
403
                    "actions": "tLM_MODE_OUT_System_On = true; ",
404
                    "external_fun": "",
405
                    "inputs": "tLM_MODE_OUT_System_On: bool;",
406
                    "original_actions": "tLM_MODE_OUT_System_On=1;\n",
407
                    "outputs": "tLM_MODE_OUT_System_On: bool;",
408
                    "variables": ""
409
                },
410
                "Exit": {
411
                    "actions": "tLM_MODE_OUT_System_On = true; ",
412
                    "external_fun": "",
413
                    "inputs": "tLM_MODE_OUT_System_On: bool;",
414
                    "original_actions": "tLM_MODE_OUT_System_On=1;",
415
                    "outputs": "tLM_MODE_OUT_System_On: bool;",
416
                    "variables": ""
417
                },
418
                "On": {
419
                    "actions": "",
420
                    "external_fun": "",
421
                    "inputs": "",
422
                    "original_actions": "",
423
                    "outputs": "",
424
                    "variables": ""
425
                },
426
                "OnAfter": {
427
                    "actions": "",
428
                    "external_fun": "",
429
                    "inputs": "",
430
                    "original_actions": "",
431
                    "outputs": "",
432
                    "variables": ""
433
                },
434
                "OnAt": {
435
                    "actions": "",
436
                    "external_fun": "",
437
                    "inputs": "",
438
                    "original_actions": "",
439
                    "outputs": "",
440
                    "variables": ""
441
                },
442
                "OnBefore": {
443
                    "actions": "",
444
                    "external_fun": "",
445
                    "inputs": "",
446
                    "original_actions": "",
447
                    "outputs": "",
448
                    "variables": ""
449
                },
450
                "OnEvery": {
451
                    "actions": "",
452
                    "external_fun": "",
453
                    "inputs": "",
454
                    "original_actions": "",
455
                    "outputs": "",
456
                    "variables": ""
457
                }
458
            },
459
            "Composition": {
460
                "DefaultTransitions": {
461
                    "Condition": {
462
                        "actions": "",
463
                        "external_fun": "",
464
                        "inputs": "",
465
                        "original_actions": "",
466
                        "outputs": "",
467
                        "variables": ""
468
                    },
469
                    "ConditionAction": {
470
                        "actions": "",
471
                        "external_fun": "",
472
                        "inputs": "",
473
                        "original_actions": "",
474
                        "outputs": "",
475
                        "variables": ""
476
                    },
477
                    "Destination": {
478
                        "Id": 4337,
479
                        "Name": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/TOP_Level_Mode/Confirm_Stop",
480
                        "Type": "State"
481
                    },
482
                    "Event": "",
483
                    "Id": 4345,
484
                    "TransitionAction": {
485
                        "actions": "",
486
                        "external_fun": "",
487
                        "inputs": "",
488
                        "original_actions": "",
489
                        "outputs": "",
490
                        "variables": ""
491
                    }
492
                },
493
                "States": 4337,
494
                "Substates": "Confirm_Stop",
495
                "Type": "EXCLUSIVE_OR"
496
            },
497
            "Id": 4336,
498
            "InnerTransitions": [],
499
            "Name": "TOP_Level_Mode",
500
            "OuterTransitions": [],
501
            "Path": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/TOP_Level_Mode"
502
        },
503
        {
504
            "Actions": {
505
                "Bind": {
506
                    "actions": "",
507
                    "external_fun": "",
508
                    "inputs": "",
509
                    "original_actions": "",
510
                    "outputs": "",
511
                    "variables": ""
512
                },
513
                "During": {
514
                    "actions": "tLM_MODE_OUT_System_On = false; ",
515
                    "external_fun": "",
516
                    "inputs": "tLM_MODE_OUT_System_On: bool;",
517
                    "original_actions": "tLM_MODE_OUT_System_On=0;\n",
518
                    "outputs": "tLM_MODE_OUT_System_On: bool;",
519
                    "variables": ""
520
                },
521
                "Entry": {
522
                    "actions": "tLM_MODE_OUT_System_On = false; ",
523
                    "external_fun": "",
524
                    "inputs": "tLM_MODE_OUT_System_On: bool;",
525
                    "original_actions": "tLM_MODE_OUT_System_On=0;\n",
526
                    "outputs": "tLM_MODE_OUT_System_On: bool;",
527
                    "variables": ""
528
                },
529
                "Exit": {
530
                    "actions": "tLM_MODE_OUT_System_On = false; ",
531
                    "external_fun": "",
532
                    "inputs": "tLM_MODE_OUT_System_On: bool;",
533
                    "original_actions": "tLM_MODE_OUT_System_On=0;",
534
                    "outputs": "tLM_MODE_OUT_System_On: bool;",
535
                    "variables": ""
536
                },
537
                "On": {
538
                    "actions": "",
539
                    "external_fun": "",
540
                    "inputs": "",
541
                    "original_actions": "",
542
                    "outputs": "",
543
                    "variables": ""
544
                },
545
                "OnAfter": {
546
                    "actions": "",
547
                    "external_fun": "",
548
                    "inputs": "",
549
                    "original_actions": "",
550
                    "outputs": "",
551
                    "variables": ""
552
                },
553
                "OnAt": {
554
                    "actions": "",
555
                    "external_fun": "",
556
                    "inputs": "",
557
                    "original_actions": "",
558
                    "outputs": "",
559
                    "variables": ""
560
                },
561
                "OnBefore": {
562
                    "actions": "",
563
                    "external_fun": "",
564
                    "inputs": "",
565
                    "original_actions": "",
566
                    "outputs": "",
567
                    "variables": ""
568
                },
569
                "OnEvery": {
570
                    "actions": "",
571
                    "external_fun": "",
572
                    "inputs": "",
573
                    "original_actions": "",
574
                    "outputs": "",
575
                    "variables": ""
576
                }
577
            },
578
            "Composition": {
579
                "DefaultTransitions": [],
580
                "States": [],
581
                "Substates": [],
582
                "Type": "EXCLUSIVE_OR"
583
            },
584
            "Id": 4340,
585
            "InnerTransitions": [],
586
            "Name": "NOT_ON",
587
            "OuterTransitions": {
588
                "Condition": {
589
                    "actions": "OP_CMD_IN_System_Start ",
590
                    "external_fun": "",
591
                    "inputs": "OP_CMD_IN_System_Start: bool;",
592
                    "original_actions": "OP_CMD_IN_System_Start",
593
                    "outputs": "OP_CMD_IN_System_Start: bool;",
594
                    "variables": ""
595
                },
596
                "ConditionAction": {
597
                    "actions": "writeLog; (1;); ",
598
                    "external_fun": "writeLog",
599
                    "inputs": "",
600
                    "original_actions": "writeLog(1);",
601
                    "outputs": "",
602
                    "variables": ""
603
                },
604
                "Destination": {
605
                    "Id": 4336,
606
                    "Name": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/TOP_Level_Mode",
607
                    "Type": "State"
608
                },
609
                "Event": "",
610
                "Id": 4369,
611
                "TransitionAction": {
612
                    "actions": "",
613
                    "external_fun": "",
614
                    "inputs": "",
615
                    "original_actions": "",
616
                    "outputs": "",
617
                    "variables": ""
618
                }
619
            },
620
            "Path": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/NOT_ON"
621
        },
622
        {
623
            "Actions": {
624
                "Bind": {
625
                    "actions": "",
626
                    "external_fun": "",
627
                    "inputs": "",
628
                    "original_actions": "",
629
                    "outputs": "",
630
                    "variables": ""
631
                },
632
                "During": {
633
                    "actions": "",
634
                    "external_fun": "",
635
                    "inputs": "",
636
                    "original_actions": "",
637
                    "outputs": "",
638
                    "variables": ""
639
                },
640
                "Entry": {
641
                    "actions": "",
642
                    "external_fun": "",
643
                    "inputs": "",
644
                    "original_actions": "",
645
                    "outputs": "",
646
                    "variables": ""
647
                },
648
                "Exit": {
649
                    "actions": "",
650
                    "external_fun": "",
651
                    "inputs": "",
652
                    "original_actions": "",
653
                    "outputs": "",
654
                    "variables": ""
655
                },
656
                "On": {
657
                    "actions": "",
658
                    "external_fun": "",
659
                    "inputs": "",
660
                    "original_actions": "",
661
                    "outputs": "",
662
                    "variables": ""
663
                },
664
                "OnAfter": {
665
                    "actions": "",
666
                    "external_fun": "",
667
                    "inputs": "",
668
                    "original_actions": "",
669
                    "outputs": "",
670
                    "variables": ""
671
                },
672
                "OnAt": {
673
                    "actions": "",
674
                    "external_fun": "",
675
                    "inputs": "",
676
                    "original_actions": "",
677
                    "outputs": "",
678
                    "variables": ""
679
                },
680
                "OnBefore": {
681
                    "actions": "",
682
                    "external_fun": "",
683
                    "inputs": "",
684
                    "original_actions": "",
685
                    "outputs": "",
686
                    "variables": ""
687
                },
688
                "OnEvery": {
689
                    "actions": "",
690
                    "external_fun": "",
691
                    "inputs": "",
692
                    "original_actions": "",
693
                    "outputs": "",
694
                    "variables": ""
695
                }
696
            },
697
            "Composition": {
698
                "DefaultTransitions": [
699
                    {
700
                        "Condition": {
701
                            "actions": "OP_CMD_IN_System_Stop ",
702
                            "external_fun": "",
703
                            "inputs": "OP_CMD_IN_System_Stop: bool;",
704
                            "original_actions": "OP_CMD_IN_System_Stop",
705
                            "outputs": "OP_CMD_IN_System_Stop: bool;",
706
                            "variables": ""
707
                        },
708
                        "ConditionAction": {
709
                            "actions": "",
710
                            "external_fun": "",
711
                            "inputs": "",
712
                            "original_actions": "",
713
                            "outputs": "",
714
                            "variables": ""
715
                        },
716
                        "Destination": {
717
                            "Id": 4339,
718
                            "Name": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/TOP_Level_Mode/Confirm_Stop/ON",
719
                            "Type": "State"
720
                        },
721
                        "Event": "",
722
                        "Id": 4347,
723
                        "TransitionAction": {
724
                            "actions": "",
725
                            "external_fun": "",
726
                            "inputs": "",
727
                            "original_actions": "",
728
                            "outputs": "",
729
                            "variables": ""
730
                        }
731
                    },
732
                    {
733
                        "Condition": {
734
                            "actions": "",
735
                            "external_fun": "",
736
                            "inputs": "",
737
                            "original_actions": "",
738
                            "outputs": "",
739
                            "variables": ""
740
                        },
741
                        "ConditionAction": {
742
                            "actions": "",
743
                            "external_fun": "",
744
                            "inputs": "",
745
                            "original_actions": "",
746
                            "outputs": "",
747
                            "variables": ""
748
                        },
749
                        "Destination": {
750
                            "Id": 4338,
751
                            "Name": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/TOP_Level_Mode/Confirm_Stop/OFF",
752
                            "Type": "State"
753
                        },
754
                        "Event": "",
755
                        "Id": 4346,
756
                        "TransitionAction": {
757
                            "actions": "",
758
                            "external_fun": "",
759
                            "inputs": "",
760
                            "original_actions": "",
761
                            "outputs": "",
762
                            "variables": ""
763
                        }
764
                    }
765
                ],
766
                "States": [
767
                    4338,
768
                    4339
769
                ],
770
                "Substates": [
771
                    "OFF",
772
                    "ON"
773
                ],
774
                "Type": "EXCLUSIVE_OR"
775
            },
776
            "Id": 4337,
777
            "InnerTransitions": [],
778
            "Name": "Confirm_Stop",
779
            "OuterTransitions": [],
780
            "Path": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/TOP_Level_Mode/Confirm_Stop"
781
        },
782
        {
783
            "Actions": {
784
                "Bind": {
785
                    "actions": "",
786
                    "external_fun": "",
787
                    "inputs": "",
788
                    "original_actions": "",
789
                    "outputs": "",
790
                    "variables": ""
791
                },
792
                "During": {
793
                    "actions": "",
794
                    "external_fun": "",
795
                    "inputs": "",
796
                    "original_actions": "",
797
                    "outputs": "",
798
                    "variables": ""
799
                },
800
                "Entry": {
801
                    "actions": "tLM_MODE_OUT_Request_Confirm_Stop = false; confirmStopTimer = 0.0; ",
802
                    "external_fun": "",
803
                    "inputs": "confirmStopTimer: real;tLM_MODE_OUT_Request_Confirm_Stop: bool;",
804
                    "original_actions": "tLM_MODE_OUT_Request_Confirm_Stop=0;\nconfirmStopTimer=0;",
805
                    "outputs": "tLM_MODE_OUT_Request_Confirm_Stop: bool;",
806
                    "variables": ""
807
                },
808
                "Exit": {
809
                    "actions": "",
810
                    "external_fun": "",
811
                    "inputs": "",
812
                    "original_actions": "",
813
                    "outputs": "",
814
                    "variables": ""
815
                },
816
                "On": {
817
                    "actions": "",
818
                    "external_fun": "",
819
                    "inputs": "",
820
                    "original_actions": "",
821
                    "outputs": "",
822
                    "variables": ""
823
                },
824
                "OnAfter": {
825
                    "actions": "",
826
                    "external_fun": "",
827
                    "inputs": "",
828
                    "original_actions": "",
829
                    "outputs": "",
830
                    "variables": ""
831
                },
832
                "OnAt": {
833
                    "actions": "",
834
                    "external_fun": "",
835
                    "inputs": "",
836
                    "original_actions": "",
837
                    "outputs": "",
838
                    "variables": ""
839
                },
840
                "OnBefore": {
841
                    "actions": "",
842
                    "external_fun": "",
843
                    "inputs": "",
844
                    "original_actions": "",
845
                    "outputs": "",
846
                    "variables": ""
847
                },
848
                "OnEvery": {
849
                    "actions": "",
850
                    "external_fun": "",
851
                    "inputs": "",
852
                    "original_actions": "",
853
                    "outputs": "",
854
                    "variables": ""
855
                }
856
            },
857
            "Composition": {
858
                "DefaultTransitions": [],
859
                "States": [],
860
                "Substates": [],
861
                "Type": "EXCLUSIVE_OR"
862
            },
863
            "Id": 4338,
864
            "InnerTransitions": [],
865
            "Name": "OFF",
866
            "OuterTransitions": {
867
                "Condition": {
868
                    "actions": "OP_CMD_IN_System_Stop ",
869
                    "external_fun": "",
870
                    "inputs": "OP_CMD_IN_System_Stop: bool;",
871
                    "original_actions": "OP_CMD_IN_System_Stop",
872
                    "outputs": "OP_CMD_IN_System_Stop: bool;",
873
                    "variables": ""
874
                },
875
                "ConditionAction": {
876
                    "actions": "",
877
                    "external_fun": "",
878
                    "inputs": "",
879
                    "original_actions": "",
880
                    "outputs": "",
881
                    "variables": ""
882
                },
883
                "Destination": {
884
                    "Id": 4339,
885
                    "Name": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/TOP_Level_Mode/Confirm_Stop/ON",
886
                    "Type": "State"
887
                },
888
                "Event": "",
889
                "Id": 4349,
890
                "TransitionAction": {
891
                    "actions": "",
892
                    "external_fun": "",
893
                    "inputs": "",
894
                    "original_actions": "",
895
                    "outputs": "",
896
                    "variables": ""
897
                }
898
            },
899
            "Path": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/TOP_Level_Mode/Confirm_Stop/OFF"
900
        },
901
        {
902
            "Actions": {
903
                "Bind": {
904
                    "actions": "",
905
                    "external_fun": "",
906
                    "inputs": "",
907
                    "original_actions": "",
908
                    "outputs": "",
909
                    "variables": ""
910
                },
911
                "During": {
912
                    "actions": "",
913
                    "external_fun": "",
914
                    "inputs": "confirmStopTimer: real;",
915
                    "original_actions": "confirmStopTimer++;",
916
                    "outputs": "confirmStopTimer: real;",
917
                    "variables": ""
918
                },
919
                "Entry": {
920
                    "actions": "tLM_MODE_OUT_Request_Confirm_Stop = true; ",
921
                    "external_fun": "",
922
                    "inputs": "confirmStopTimer: real;tLM_MODE_OUT_Request_Confirm_Stop: bool;",
923
                    "original_actions": "tLM_MODE_OUT_Request_Confirm_Stop=1;\nconfirmStopTimer++;\n",
924
                    "outputs": "tLM_MODE_OUT_Request_Confirm_Stop: bool;",
925
                    "variables": ""
926
                },
927
                "Exit": {
928
                    "actions": "",
929
                    "external_fun": "",
930
                    "inputs": "",
931
                    "original_actions": "",
932
                    "outputs": "",
933
                    "variables": ""
934
                },
935
                "On": {
936
                    "actions": "",
937
                    "external_fun": "",
938
                    "inputs": "",
939
                    "original_actions": "",
940
                    "outputs": "",
941
                    "variables": ""
942
                },
943
                "OnAfter": {
944
                    "actions": "",
945
                    "external_fun": "",
946
                    "inputs": "",
947
                    "original_actions": "",
948
                    "outputs": "",
949
                    "variables": ""
950
                },
951
                "OnAt": {
952
                    "actions": "",
953
                    "external_fun": "",
954
                    "inputs": "",
955
                    "original_actions": "",
956
                    "outputs": "",
957
                    "variables": ""
958
                },
959
                "OnBefore": {
960
                    "actions": "",
961
                    "external_fun": "",
962
                    "inputs": "",
963
                    "original_actions": "",
964
                    "outputs": "",
965
                    "variables": ""
966
                },
967
                "OnEvery": {
968
                    "actions": "",
969
                    "external_fun": "",
970
                    "inputs": "",
971
                    "original_actions": "",
972
                    "outputs": "",
973
                    "variables": ""
974
                }
975
            },
976
            "Composition": {
977
                "DefaultTransitions": [],
978
                "States": [],
979
                "Substates": [],
980
                "Type": "PARALLEL_AND"
981
            },
982
            "Id": 4339,
983
            "InnerTransitions": [],
984
            "Name": "ON",
985
            "OuterTransitions": [
986
                {
987
                    "Condition": {
988
                        "actions": "!OP_CMD_IN_System_Start ",
989
                        "external_fun": "",
990
                        "inputs": "OP_CMD_IN_System_Start: bool;",
991
                        "original_actions": "!OP_CMD_IN_System_Start",
992
                        "outputs": "",
993
                        "variables": ""
994
                    },
995
                    "ConditionAction": {
996
                        "actions": "writeLog; (2;); ",
997
                        "external_fun": "writeLog",
998
                        "inputs": "",
999
                        "original_actions": "writeLog(2);",
1000
                        "outputs": "",
1001
                        "variables": ""
1002
                    },
1003
                    "Destination": {
1004
                        "Id": 4340,
1005
                        "Name": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/NOT_ON",
1006
                        "Type": "State"
1007
                    },
1008
                    "Event": "",
1009
                    "Id": 4370,
1010
                    "TransitionAction": {
1011
                        "actions": "",
1012
                        "external_fun": "",
1013
                        "inputs": "",
1014
                        "original_actions": "",
1015
                        "outputs": "",
1016
                        "variables": ""
1017
                    }
1018
                },
1019
                {
1020
                    "Condition": {
1021
                        "actions": "OP_CMD_IN_Cancel or confirmStopTimer > Step_Scaling_Factor(CONST_IN_Max_Confirm_Stop_Duration, step_size) ",
1022
                        "external_fun": "Step_Scaling_Factor",
1023
                        "inputs": "confirmStopTimer: real;CONST_IN_Max_Confirm_Stop_Duration: real;OP_CMD_IN_Cancel: bool;step_size: real;",
1024
                        "original_actions": "OP_CMD_IN_Cancel||confirmStopTimer>Step_Scaling_Factor(CONST_IN_Max_Confirm_Stop_Duration,step_size)",
1025
                        "outputs": "",
1026
                        "variables": ""
1027
                    },
1028
                    "ConditionAction": {
1029
                        "actions": "",
1030
                        "external_fun": "",
1031
                        "inputs": "",
1032
                        "original_actions": "",
1033
                        "outputs": "",
1034
                        "variables": ""
1035
                    },
1036
                    "Destination": {
1037
                        "Id": 4338,
1038
                        "Name": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/TOP_Level_Mode/Confirm_Stop/OFF",
1039
                        "Type": "State"
1040
                    },
1041
                    "Event": "",
1042
                    "Id": 4348,
1043
                    "TransitionAction": {
1044
                        "actions": "",
1045
                        "external_fun": "",
1046
                        "inputs": "",
1047
                        "original_actions": "",
1048
                        "outputs": "",
1049
                        "variables": ""
1050
                    }
1051
                }
1052
            ],
1053
            "Path": "GPCA_Top_Level_Mode_PP_Top_Level_Mode_Sub_System/TOP_Level_Mode/Confirm_Stop/ON"
1054
        }
1055
    ],
1056
    "TruthTables": []
1057
}