Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (42 KB)

1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "bool",
7
            "Id": 2036,
8
            "InitialValue": "false",
9
            "Name": "BrakePressed",
10
            "Port": 1,
11
            "Scope": "Input"
12
        },
13
        {
14
            "ArraySize": "",
15
            "CompiledType": "unknown",
16
            "Datatype": "bool",
17
            "Id": 2037,
18
            "InitialValue": "false",
19
            "Name": "AccelPressed",
20
            "Port": 2,
21
            "Scope": "Input"
22
        },
23
        {
24
            "ArraySize": "",
25
            "CompiledType": "unknown",
26
            "Datatype": "bool",
27
            "Id": 2038,
28
            "InitialValue": "false",
29
            "Name": "Resume",
30
            "Port": 3,
31
            "Scope": "Input"
32
        },
33
        {
34
            "ArraySize": "",
35
            "CompiledType": "unknown",
36
            "Datatype": "bool",
37
            "Id": 2039,
38
            "InitialValue": "false",
39
            "Name": "On",
40
            "Port": 4,
41
            "Scope": "Input"
42
        },
43
        {
44
            "ArraySize": "",
45
            "CompiledType": "unknown",
46
            "Datatype": "bool",
47
            "Id": 2040,
48
            "InitialValue": "false",
49
            "Name": "Off",
50
            "Port": 5,
51
            "Scope": "Input"
52
        },
53
        {
54
            "ArraySize": "",
55
            "CompiledType": "unknown",
56
            "Datatype": "bool",
57
            "Id": 2041,
58
            "InitialValue": "false",
59
            "Name": "SpeedOutOffLimits",
60
            "Port": 6,
61
            "Scope": "Input"
62
        },
63
        {
64
            "ArraySize": "",
65
            "CompiledType": "unknown",
66
            "Datatype": "bool",
67
            "Id": 2042,
68
            "InitialValue": "false",
69
            "Name": "Regul_ON",
70
            "Port": 1,
71
            "Scope": "Output"
72
        },
73
        {
74
            "ArraySize": "",
75
            "CompiledType": "unknown",
76
            "Datatype": "bool",
77
            "Id": 2043,
78
            "InitialValue": "false",
79
            "Name": "Regul_OFF",
80
            "Port": 2,
81
            "Scope": "Output"
82
        },
83
        {
84
            "ArraySize": "",
85
            "CompiledType": "unknown",
86
            "Datatype": "bool",
87
            "Id": 2044,
88
            "InitialValue": "false",
89
            "Name": "Regul_STDBY",
90
            "Port": 3,
91
            "Scope": "Output"
92
        }
93
    ],
94
    "Events": [],
95
    "GraphicalFunctions": [],
96
    "Junctions": [
97
        {
98
            "Id": 2045,
99
            "Name": "Junction2045",
100
            "OuterTransitions": [
101
                {
102
                    "Condition": {
103
                        "actions": "On ",
104
                        "external_fun": "",
105
                        "inputs": "On: bool;",
106
                        "original_actions": "On",
107
                        "outputs": "On: bool;",
108
                        "variables": ""
109
                    },
110
                    "ConditionAction": {
111
                        "actions": "",
112
                        "external_fun": "",
113
                        "inputs": "",
114
                        "original_actions": "",
115
                        "outputs": "",
116
                        "variables": ""
117
                    },
118
                    "Destination": {
119
                        "Id": 2023,
120
                        "Name": "CruiseState_PP_CruiseStateMgt/Enabled",
121
                        "Type": "State"
122
                    },
123
                    "Event": "",
124
                    "Id": 2048,
125
                    "TransitionAction": {
126
                        "actions": "",
127
                        "external_fun": "",
128
                        "inputs": "",
129
                        "original_actions": "",
130
                        "outputs": "",
131
                        "variables": ""
132
                    }
133
                },
134
                {
135
                    "Condition": {
136
                        "actions": "",
137
                        "external_fun": "",
138
                        "inputs": "",
139
                        "original_actions": "",
140
                        "outputs": "",
141
                        "variables": ""
142
                    },
143
                    "ConditionAction": {
144
                        "actions": "",
145
                        "external_fun": "",
146
                        "inputs": "",
147
                        "original_actions": "",
148
                        "outputs": "",
149
                        "variables": ""
150
                    },
151
                    "Destination": {
152
                        "Id": 2018,
153
                        "Name": "CruiseState_PP_CruiseStateMgt/Disabled",
154
                        "Type": "State"
155
                    },
156
                    "Event": "",
157
                    "Id": 2047,
158
                    "TransitionAction": {
159
                        "actions": "",
160
                        "external_fun": "",
161
                        "inputs": "",
162
                        "original_actions": "",
163
                        "outputs": "",
164
                        "variables": ""
165
                    }
166
                }
167
            ],
168
            "Path": "CruiseState_PP_CruiseStateMgt/Junction2045",
169
            "Type": "CONNECTIVE"
170
        },
171
        {
172
            "Id": 2030,
173
            "Name": "Junction2030",
174
            "OuterTransitions": [
175
                {
176
                    "Condition": {
177
                        "actions": "BrakePressed ",
178
                        "external_fun": "",
179
                        "inputs": "BrakePressed: bool;",
180
                        "original_actions": "BrakePressed",
181
                        "outputs": "BrakePressed: bool;",
182
                        "variables": ""
183
                    },
184
                    "ConditionAction": {
185
                        "actions": "",
186
                        "external_fun": "",
187
                        "inputs": "",
188
                        "original_actions": "",
189
                        "outputs": "",
190
                        "variables": ""
191
                    },
192
                    "Destination": {
193
                        "Id": 2021,
194
                        "Name": "CruiseState_PP_CruiseStateMgt/Enabled/Interrupted",
195
                        "Type": "State"
196
                    },
197
                    "Event": "",
198
                    "Id": 2033,
199
                    "TransitionAction": {
200
                        "actions": "",
201
                        "external_fun": "",
202
                        "inputs": "",
203
                        "original_actions": "",
204
                        "outputs": "",
205
                        "variables": ""
206
                    }
207
                },
208
                {
209
                    "Condition": {
210
                        "actions": "",
211
                        "external_fun": "",
212
                        "inputs": "",
213
                        "original_actions": "",
214
                        "outputs": "",
215
                        "variables": ""
216
                    },
217
                    "ConditionAction": {
218
                        "actions": "",
219
                        "external_fun": "",
220
                        "inputs": "",
221
                        "original_actions": "",
222
                        "outputs": "",
223
                        "variables": ""
224
                    },
225
                    "Destination": {
226
                        "Id": 2022,
227
                        "Name": "CruiseState_PP_CruiseStateMgt/Enabled/Regulation",
228
                        "Type": "State"
229
                    },
230
                    "Event": "",
231
                    "Id": 2032,
232
                    "TransitionAction": {
233
                        "actions": "",
234
                        "external_fun": "",
235
                        "inputs": "",
236
                        "original_actions": "",
237
                        "outputs": "",
238
                        "variables": ""
239
                    }
240
                }
241
            ],
242
            "Path": "CruiseState_PP_CruiseStateMgt/Enabled/Junction2030",
243
            "Type": "CONNECTIVE"
244
        },
245
        {
246
            "Id": 2024,
247
            "Name": "Junction2024",
248
            "OuterTransitions": [
249
                {
250
                    "Condition": {
251
                        "actions": "AccelPressed or SpeedOutOffLimits ",
252
                        "external_fun": "",
253
                        "inputs": "AccelPressed: bool;SpeedOutOffLimits: bool;",
254
                        "original_actions": "AccelPressed|SpeedOutOffLimits",
255
                        "outputs": "",
256
                        "variables": ""
257
                    },
258
                    "ConditionAction": {
259
                        "actions": "",
260
                        "external_fun": "",
261
                        "inputs": "",
262
                        "original_actions": "",
263
                        "outputs": "",
264
                        "variables": ""
265
                    },
266
                    "Destination": {
267
                        "Id": 2020,
268
                        "Name": "CruiseState_PP_CruiseStateMgt/Enabled/Regulation/StandBy",
269
                        "Type": "State"
270
                    },
271
                    "Event": "",
272
                    "Id": 2026,
273
                    "TransitionAction": {
274
                        "actions": "",
275
                        "external_fun": "",
276
                        "inputs": "",
277
                        "original_actions": "",
278
                        "outputs": "",
279
                        "variables": ""
280
                    }
281
                },
282
                {
283
                    "Condition": {
284
                        "actions": "",
285
                        "external_fun": "",
286
                        "inputs": "",
287
                        "original_actions": "",
288
                        "outputs": "",
289
                        "variables": ""
290
                    },
291
                    "ConditionAction": {
292
                        "actions": "",
293
                        "external_fun": "",
294
                        "inputs": "",
295
                        "original_actions": "",
296
                        "outputs": "",
297
                        "variables": ""
298
                    },
299
                    "Destination": {
300
                        "Id": 2019,
301
                        "Name": "CruiseState_PP_CruiseStateMgt/Enabled/Regulation/On",
302
                        "Type": "State"
303
                    },
304
                    "Event": "",
305
                    "Id": 2027,
306
                    "TransitionAction": {
307
                        "actions": "",
308
                        "external_fun": "",
309
                        "inputs": "",
310
                        "original_actions": "",
311
                        "outputs": "",
312
                        "variables": ""
313
                    }
314
                }
315
            ],
316
            "Path": "CruiseState_PP_CruiseStateMgt/Enabled/Regulation/Junction2024",
317
            "Type": "CONNECTIVE"
318
        }
319
    ],
320
    "Name": "CruiseStateMgt",
321
    "Path": "CruiseState_PP_CruiseStateMgt",
322
    "SimulinkFunctions": [],
323
    "States": [
324
        {
325
            "Actions": {
326
                "Bind": {
327
                    "actions": "",
328
                    "external_fun": "",
329
                    "inputs": "",
330
                    "original_actions": "",
331
                    "outputs": "",
332
                    "variables": ""
333
                },
334
                "During": {
335
                    "actions": "",
336
                    "external_fun": "",
337
                    "inputs": "",
338
                    "original_actions": "",
339
                    "outputs": "",
340
                    "variables": ""
341
                },
342
                "Entry": {
343
                    "actions": "",
344
                    "external_fun": "",
345
                    "inputs": "",
346
                    "original_actions": "",
347
                    "outputs": "",
348
                    "variables": ""
349
                },
350
                "Exit": {
351
                    "actions": "",
352
                    "external_fun": "",
353
                    "inputs": "",
354
                    "original_actions": "",
355
                    "outputs": "",
356
                    "variables": ""
357
                },
358
                "On": {
359
                    "actions": "",
360
                    "external_fun": "",
361
                    "inputs": "",
362
                    "original_actions": "",
363
                    "outputs": "",
364
                    "variables": ""
365
                },
366
                "OnAfter": {
367
                    "actions": "",
368
                    "external_fun": "",
369
                    "inputs": "",
370
                    "original_actions": "",
371
                    "outputs": "",
372
                    "variables": ""
373
                },
374
                "OnAt": {
375
                    "actions": "",
376
                    "external_fun": "",
377
                    "inputs": "",
378
                    "original_actions": "",
379
                    "outputs": "",
380
                    "variables": ""
381
                },
382
                "OnBefore": {
383
                    "actions": "",
384
                    "external_fun": "",
385
                    "inputs": "",
386
                    "original_actions": "",
387
                    "outputs": "",
388
                    "variables": ""
389
                },
390
                "OnEvery": {
391
                    "actions": "",
392
                    "external_fun": "",
393
                    "inputs": "",
394
                    "original_actions": "",
395
                    "outputs": "",
396
                    "variables": ""
397
                }
398
            },
399
            "Composition": {
400
                "DefaultTransitions": {
401
                    "Condition": {
402
                        "actions": "",
403
                        "external_fun": "",
404
                        "inputs": "",
405
                        "original_actions": "",
406
                        "outputs": "",
407
                        "variables": ""
408
                    },
409
                    "ConditionAction": {
410
                        "actions": "",
411
                        "external_fun": "",
412
                        "inputs": "",
413
                        "original_actions": "",
414
                        "outputs": "",
415
                        "variables": ""
416
                    },
417
                    "Destination": {
418
                        "Id": 2045,
419
                        "Name": "CruiseState_PP_CruiseStateMgt/Junction2045",
420
                        "Type": "Junction"
421
                    },
422
                    "Event": "",
423
                    "Id": 2046,
424
                    "TransitionAction": {
425
                        "actions": "",
426
                        "external_fun": "",
427
                        "inputs": "",
428
                        "original_actions": "",
429
                        "outputs": "",
430
                        "variables": ""
431
                    }
432
                },
433
                "States": [
434
                    2018,
435
                    2023
436
                ],
437
                "Substates": [
438
                    "Disabled",
439
                    "Enabled"
440
                ],
441
                "Type": "EXCLUSIVE_OR"
442
            },
443
            "Id": 2017,
444
            "InnerTransitions": [],
445
            "OuterTransitions": [],
446
            "Path": "CruiseState_PP_CruiseStateMgt"
447
        },
448
        {
449
            "Actions": {
450
                "Bind": {
451
                    "actions": "",
452
                    "external_fun": "",
453
                    "inputs": "",
454
                    "original_actions": "",
455
                    "outputs": "",
456
                    "variables": ""
457
                },
458
                "During": {
459
                    "actions": "",
460
                    "external_fun": "",
461
                    "inputs": "",
462
                    "original_actions": "",
463
                    "outputs": "",
464
                    "variables": ""
465
                },
466
                "Entry": {
467
                    "actions": "Regul_OFF = true; Regul_ON = false; Regul_STDBY = false; ",
468
                    "external_fun": "",
469
                    "inputs": "Regul_OFF: bool;Regul_STDBY: bool;Regul_ON: bool;",
470
                    "original_actions": "\nRegul_OFF=1;\nRegul_ON=0;\nRegul_STDBY=0",
471
                    "outputs": "Regul_OFF: bool;",
472
                    "variables": ""
473
                },
474
                "Exit": {
475
                    "actions": "",
476
                    "external_fun": "",
477
                    "inputs": "",
478
                    "original_actions": "",
479
                    "outputs": "",
480
                    "variables": ""
481
                },
482
                "On": {
483
                    "actions": "",
484
                    "external_fun": "",
485
                    "inputs": "",
486
                    "original_actions": "",
487
                    "outputs": "",
488
                    "variables": ""
489
                },
490
                "OnAfter": {
491
                    "actions": "",
492
                    "external_fun": "",
493
                    "inputs": "",
494
                    "original_actions": "",
495
                    "outputs": "",
496
                    "variables": ""
497
                },
498
                "OnAt": {
499
                    "actions": "",
500
                    "external_fun": "",
501
                    "inputs": "",
502
                    "original_actions": "",
503
                    "outputs": "",
504
                    "variables": ""
505
                },
506
                "OnBefore": {
507
                    "actions": "",
508
                    "external_fun": "",
509
                    "inputs": "",
510
                    "original_actions": "",
511
                    "outputs": "",
512
                    "variables": ""
513
                },
514
                "OnEvery": {
515
                    "actions": "",
516
                    "external_fun": "",
517
                    "inputs": "",
518
                    "original_actions": "",
519
                    "outputs": "",
520
                    "variables": ""
521
                }
522
            },
523
            "Composition": {
524
                "DefaultTransitions": [],
525
                "States": [],
526
                "Substates": [],
527
                "Type": "EXCLUSIVE_OR"
528
            },
529
            "Id": 2018,
530
            "InnerTransitions": [],
531
            "Name": "Disabled",
532
            "OuterTransitions": {
533
                "Condition": {
534
                    "actions": "On ",
535
                    "external_fun": "",
536
                    "inputs": "On: bool;",
537
                    "original_actions": "On",
538
                    "outputs": "On: bool;",
539
                    "variables": ""
540
                },
541
                "ConditionAction": {
542
                    "actions": "",
543
                    "external_fun": "",
544
                    "inputs": "",
545
                    "original_actions": "",
546
                    "outputs": "",
547
                    "variables": ""
548
                },
549
                "Destination": {
550
                    "Id": 2023,
551
                    "Name": "CruiseState_PP_CruiseStateMgt/Enabled",
552
                    "Type": "State"
553
                },
554
                "Event": "",
555
                "Id": 2049,
556
                "TransitionAction": {
557
                    "actions": "",
558
                    "external_fun": "",
559
                    "inputs": "",
560
                    "original_actions": "",
561
                    "outputs": "",
562
                    "variables": ""
563
                }
564
            },
565
            "Path": "CruiseState_PP_CruiseStateMgt/Disabled"
566
        },
567
        {
568
            "Actions": {
569
                "Bind": {
570
                    "actions": "",
571
                    "external_fun": "",
572
                    "inputs": "",
573
                    "original_actions": "",
574
                    "outputs": "",
575
                    "variables": ""
576
                },
577
                "During": {
578
                    "actions": "",
579
                    "external_fun": "",
580
                    "inputs": "",
581
                    "original_actions": "",
582
                    "outputs": "",
583
                    "variables": ""
584
                },
585
                "Entry": {
586
                    "actions": "",
587
                    "external_fun": "",
588
                    "inputs": "",
589
                    "original_actions": "",
590
                    "outputs": "",
591
                    "variables": ""
592
                },
593
                "Exit": {
594
                    "actions": "",
595
                    "external_fun": "",
596
                    "inputs": "",
597
                    "original_actions": "",
598
                    "outputs": "",
599
                    "variables": ""
600
                },
601
                "On": {
602
                    "actions": "",
603
                    "external_fun": "",
604
                    "inputs": "",
605
                    "original_actions": "",
606
                    "outputs": "",
607
                    "variables": ""
608
                },
609
                "OnAfter": {
610
                    "actions": "",
611
                    "external_fun": "",
612
                    "inputs": "",
613
                    "original_actions": "",
614
                    "outputs": "",
615
                    "variables": ""
616
                },
617
                "OnAt": {
618
                    "actions": "",
619
                    "external_fun": "",
620
                    "inputs": "",
621
                    "original_actions": "",
622
                    "outputs": "",
623
                    "variables": ""
624
                },
625
                "OnBefore": {
626
                    "actions": "",
627
                    "external_fun": "",
628
                    "inputs": "",
629
                    "original_actions": "",
630
                    "outputs": "",
631
                    "variables": ""
632
                },
633
                "OnEvery": {
634
                    "actions": "",
635
                    "external_fun": "",
636
                    "inputs": "",
637
                    "original_actions": "",
638
                    "outputs": "",
639
                    "variables": ""
640
                }
641
            },
642
            "Composition": {
643
                "DefaultTransitions": {
644
                    "Condition": {
645
                        "actions": "",
646
                        "external_fun": "",
647
                        "inputs": "",
648
                        "original_actions": "",
649
                        "outputs": "",
650
                        "variables": ""
651
                    },
652
                    "ConditionAction": {
653
                        "actions": "",
654
                        "external_fun": "",
655
                        "inputs": "",
656
                        "original_actions": "",
657
                        "outputs": "",
658
                        "variables": ""
659
                    },
660
                    "Destination": {
661
                        "Id": 2030,
662
                        "Name": "CruiseState_PP_CruiseStateMgt/Enabled/Junction2030",
663
                        "Type": "Junction"
664
                    },
665
                    "Event": "",
666
                    "Id": 2031,
667
                    "TransitionAction": {
668
                        "actions": "",
669
                        "external_fun": "",
670
                        "inputs": "",
671
                        "original_actions": "",
672
                        "outputs": "",
673
                        "variables": ""
674
                    }
675
                },
676
                "States": [
677
                    2022,
678
                    2021
679
                ],
680
                "Substates": [
681
                    "Regulation",
682
                    "Interrupted"
683
                ],
684
                "Type": "EXCLUSIVE_OR"
685
            },
686
            "Id": 2023,
687
            "InnerTransitions": [],
688
            "Name": "Enabled",
689
            "OuterTransitions": {
690
                "Condition": {
691
                    "actions": "Off ",
692
                    "external_fun": "",
693
                    "inputs": "Off: bool;",
694
                    "original_actions": "Off",
695
                    "outputs": "Off: bool;",
696
                    "variables": ""
697
                },
698
                "ConditionAction": {
699
                    "actions": "",
700
                    "external_fun": "",
701
                    "inputs": "",
702
                    "original_actions": "",
703
                    "outputs": "",
704
                    "variables": ""
705
                },
706
                "Destination": {
707
                    "Id": 2018,
708
                    "Name": "CruiseState_PP_CruiseStateMgt/Disabled",
709
                    "Type": "State"
710
                },
711
                "Event": "",
712
                "Id": 2050,
713
                "TransitionAction": {
714
                    "actions": "",
715
                    "external_fun": "",
716
                    "inputs": "",
717
                    "original_actions": "",
718
                    "outputs": "",
719
                    "variables": ""
720
                }
721
            },
722
            "Path": "CruiseState_PP_CruiseStateMgt/Enabled"
723
        },
724
        {
725
            "Actions": {
726
                "Bind": {
727
                    "actions": "",
728
                    "external_fun": "",
729
                    "inputs": "",
730
                    "original_actions": "",
731
                    "outputs": "",
732
                    "variables": ""
733
                },
734
                "During": {
735
                    "actions": "",
736
                    "external_fun": "",
737
                    "inputs": "",
738
                    "original_actions": "",
739
                    "outputs": "",
740
                    "variables": ""
741
                },
742
                "Entry": {
743
                    "actions": "",
744
                    "external_fun": "",
745
                    "inputs": "",
746
                    "original_actions": "",
747
                    "outputs": "",
748
                    "variables": ""
749
                },
750
                "Exit": {
751
                    "actions": "",
752
                    "external_fun": "",
753
                    "inputs": "",
754
                    "original_actions": "",
755
                    "outputs": "",
756
                    "variables": ""
757
                },
758
                "On": {
759
                    "actions": "",
760
                    "external_fun": "",
761
                    "inputs": "",
762
                    "original_actions": "",
763
                    "outputs": "",
764
                    "variables": ""
765
                },
766
                "OnAfter": {
767
                    "actions": "",
768
                    "external_fun": "",
769
                    "inputs": "",
770
                    "original_actions": "",
771
                    "outputs": "",
772
                    "variables": ""
773
                },
774
                "OnAt": {
775
                    "actions": "",
776
                    "external_fun": "",
777
                    "inputs": "",
778
                    "original_actions": "",
779
                    "outputs": "",
780
                    "variables": ""
781
                },
782
                "OnBefore": {
783
                    "actions": "",
784
                    "external_fun": "",
785
                    "inputs": "",
786
                    "original_actions": "",
787
                    "outputs": "",
788
                    "variables": ""
789
                },
790
                "OnEvery": {
791
                    "actions": "",
792
                    "external_fun": "",
793
                    "inputs": "",
794
                    "original_actions": "",
795
                    "outputs": "",
796
                    "variables": ""
797
                }
798
            },
799
            "Composition": {
800
                "DefaultTransitions": {
801
                    "Condition": {
802
                        "actions": "",
803
                        "external_fun": "",
804
                        "inputs": "",
805
                        "original_actions": "",
806
                        "outputs": "",
807
                        "variables": ""
808
                    },
809
                    "ConditionAction": {
810
                        "actions": "",
811
                        "external_fun": "",
812
                        "inputs": "",
813
                        "original_actions": "",
814
                        "outputs": "",
815
                        "variables": ""
816
                    },
817
                    "Destination": {
818
                        "Id": 2024,
819
                        "Name": "CruiseState_PP_CruiseStateMgt/Enabled/Regulation/Junction2024",
820
                        "Type": "Junction"
821
                    },
822
                    "Event": "",
823
                    "Id": 2025,
824
                    "TransitionAction": {
825
                        "actions": "",
826
                        "external_fun": "",
827
                        "inputs": "",
828
                        "original_actions": "",
829
                        "outputs": "",
830
                        "variables": ""
831
                    }
832
                },
833
                "States": [
834
                    2020,
835
                    2019
836
                ],
837
                "Substates": [
838
                    "StandBy",
839
                    "On"
840
                ],
841
                "Type": "EXCLUSIVE_OR"
842
            },
843
            "Id": 2022,
844
            "InnerTransitions": [],
845
            "Name": "Regulation",
846
            "OuterTransitions": {
847
                "Condition": {
848
                    "actions": "BrakePressed ",
849
                    "external_fun": "",
850
                    "inputs": "BrakePressed: bool;",
851
                    "original_actions": "BrakePressed",
852
                    "outputs": "BrakePressed: bool;",
853
                    "variables": ""
854
                },
855
                "ConditionAction": {
856
                    "actions": "",
857
                    "external_fun": "",
858
                    "inputs": "",
859
                    "original_actions": "",
860
                    "outputs": "",
861
                    "variables": ""
862
                },
863
                "Destination": {
864
                    "Id": 2021,
865
                    "Name": "CruiseState_PP_CruiseStateMgt/Enabled/Interrupted",
866
                    "Type": "State"
867
                },
868
                "Event": "",
869
                "Id": 2034,
870
                "TransitionAction": {
871
                    "actions": "",
872
                    "external_fun": "",
873
                    "inputs": "",
874
                    "original_actions": "",
875
                    "outputs": "",
876
                    "variables": ""
877
                }
878
            },
879
            "Path": "CruiseState_PP_CruiseStateMgt/Enabled/Regulation"
880
        },
881
        {
882
            "Actions": {
883
                "Bind": {
884
                    "actions": "",
885
                    "external_fun": "",
886
                    "inputs": "",
887
                    "original_actions": "",
888
                    "outputs": "",
889
                    "variables": ""
890
                },
891
                "During": {
892
                    "actions": "",
893
                    "external_fun": "",
894
                    "inputs": "",
895
                    "original_actions": "",
896
                    "outputs": "",
897
                    "variables": ""
898
                },
899
                "Entry": {
900
                    "actions": "Regul_OFF = true; Regul_ON = false; Regul_STDBY = true; ",
901
                    "external_fun": "",
902
                    "inputs": "Regul_OFF: bool;Regul_STDBY: bool;Regul_ON: bool;",
903
                    "original_actions": "\nRegul_OFF=1;\nRegul_ON=0;\nRegul_STDBY=1",
904
                    "outputs": "Regul_OFF: bool;",
905
                    "variables": ""
906
                },
907
                "Exit": {
908
                    "actions": "",
909
                    "external_fun": "",
910
                    "inputs": "",
911
                    "original_actions": "",
912
                    "outputs": "",
913
                    "variables": ""
914
                },
915
                "On": {
916
                    "actions": "",
917
                    "external_fun": "",
918
                    "inputs": "",
919
                    "original_actions": "",
920
                    "outputs": "",
921
                    "variables": ""
922
                },
923
                "OnAfter": {
924
                    "actions": "",
925
                    "external_fun": "",
926
                    "inputs": "",
927
                    "original_actions": "",
928
                    "outputs": "",
929
                    "variables": ""
930
                },
931
                "OnAt": {
932
                    "actions": "",
933
                    "external_fun": "",
934
                    "inputs": "",
935
                    "original_actions": "",
936
                    "outputs": "",
937
                    "variables": ""
938
                },
939
                "OnBefore": {
940
                    "actions": "",
941
                    "external_fun": "",
942
                    "inputs": "",
943
                    "original_actions": "",
944
                    "outputs": "",
945
                    "variables": ""
946
                },
947
                "OnEvery": {
948
                    "actions": "",
949
                    "external_fun": "",
950
                    "inputs": "",
951
                    "original_actions": "",
952
                    "outputs": "",
953
                    "variables": ""
954
                }
955
            },
956
            "Composition": {
957
                "DefaultTransitions": [],
958
                "States": [],
959
                "Substates": [],
960
                "Type": "EXCLUSIVE_OR"
961
            },
962
            "Id": 2021,
963
            "InnerTransitions": [],
964
            "Name": "Interrupted",
965
            "OuterTransitions": {
966
                "Condition": {
967
                    "actions": "Resume and ~BrakePressed ",
968
                    "external_fun": "",
969
                    "inputs": "BrakePressed: bool;Resume: bool;",
970
                    "original_actions": "Resume&~BrakePressed",
971
                    "outputs": "",
972
                    "variables": ""
973
                },
974
                "ConditionAction": {
975
                    "actions": "",
976
                    "external_fun": "",
977
                    "inputs": "",
978
                    "original_actions": "",
979
                    "outputs": "",
980
                    "variables": ""
981
                },
982
                "Destination": {
983
                    "Id": 2022,
984
                    "Name": "CruiseState_PP_CruiseStateMgt/Enabled/Regulation",
985
                    "Type": "State"
986
                },
987
                "Event": "",
988
                "Id": 2035,
989
                "TransitionAction": {
990
                    "actions": "",
991
                    "external_fun": "",
992
                    "inputs": "",
993
                    "original_actions": "",
994
                    "outputs": "",
995
                    "variables": ""
996
                }
997
            },
998
            "Path": "CruiseState_PP_CruiseStateMgt/Enabled/Interrupted"
999
        },
1000
        {
1001
            "Actions": {
1002
                "Bind": {
1003
                    "actions": "",
1004
                    "external_fun": "",
1005
                    "inputs": "",
1006
                    "original_actions": "",
1007
                    "outputs": "",
1008
                    "variables": ""
1009
                },
1010
                "During": {
1011
                    "actions": "",
1012
                    "external_fun": "",
1013
                    "inputs": "",
1014
                    "original_actions": "",
1015
                    "outputs": "",
1016
                    "variables": ""
1017
                },
1018
                "Entry": {
1019
                    "actions": "Regul_OFF = false; Regul_ON = false; Regul_STDBY = true; ",
1020
                    "external_fun": "",
1021
                    "inputs": "Regul_OFF: bool;Regul_STDBY: bool;Regul_ON: bool;",
1022
                    "original_actions": "\nRegul_OFF=0;\nRegul_ON=0;\nRegul_STDBY=1",
1023
                    "outputs": "Regul_OFF: bool;",
1024
                    "variables": ""
1025
                },
1026
                "Exit": {
1027
                    "actions": "",
1028
                    "external_fun": "",
1029
                    "inputs": "",
1030
                    "original_actions": "",
1031
                    "outputs": "",
1032
                    "variables": ""
1033
                },
1034
                "On": {
1035
                    "actions": "",
1036
                    "external_fun": "",
1037
                    "inputs": "",
1038
                    "original_actions": "",
1039
                    "outputs": "",
1040
                    "variables": ""
1041
                },
1042
                "OnAfter": {
1043
                    "actions": "",
1044
                    "external_fun": "",
1045
                    "inputs": "",
1046
                    "original_actions": "",
1047
                    "outputs": "",
1048
                    "variables": ""
1049
                },
1050
                "OnAt": {
1051
                    "actions": "",
1052
                    "external_fun": "",
1053
                    "inputs": "",
1054
                    "original_actions": "",
1055
                    "outputs": "",
1056
                    "variables": ""
1057
                },
1058
                "OnBefore": {
1059
                    "actions": "",
1060
                    "external_fun": "",
1061
                    "inputs": "",
1062
                    "original_actions": "",
1063
                    "outputs": "",
1064
                    "variables": ""
1065
                },
1066
                "OnEvery": {
1067
                    "actions": "",
1068
                    "external_fun": "",
1069
                    "inputs": "",
1070
                    "original_actions": "",
1071
                    "outputs": "",
1072
                    "variables": ""
1073
                }
1074
            },
1075
            "Composition": {
1076
                "DefaultTransitions": [],
1077
                "States": [],
1078
                "Substates": [],
1079
                "Type": "EXCLUSIVE_OR"
1080
            },
1081
            "Id": 2020,
1082
            "InnerTransitions": [],
1083
            "Name": "StandBy",
1084
            "OuterTransitions": {
1085
                "Condition": {
1086
                    "actions": "~AccelPressed and ~SpeedOutOffLimits ",
1087
                    "external_fun": "",
1088
                    "inputs": "AccelPressed: bool;SpeedOutOffLimits: bool;",
1089
                    "original_actions": "~AccelPressed&~SpeedOutOffLimits",
1090
                    "outputs": "",
1091
                    "variables": ""
1092
                },
1093
                "ConditionAction": {
1094
                    "actions": "",
1095
                    "external_fun": "",
1096
                    "inputs": "",
1097
                    "original_actions": "",
1098
                    "outputs": "",
1099
                    "variables": ""
1100
                },
1101
                "Destination": {
1102
                    "Id": 2019,
1103
                    "Name": "CruiseState_PP_CruiseStateMgt/Enabled/Regulation/On",
1104
                    "Type": "State"
1105
                },
1106
                "Event": "",
1107
                "Id": 2029,
1108
                "TransitionAction": {
1109
                    "actions": "",
1110
                    "external_fun": "",
1111
                    "inputs": "",
1112
                    "original_actions": "",
1113
                    "outputs": "",
1114
                    "variables": ""
1115
                }
1116
            },
1117
            "Path": "CruiseState_PP_CruiseStateMgt/Enabled/Regulation/StandBy"
1118
        },
1119
        {
1120
            "Actions": {
1121
                "Bind": {
1122
                    "actions": "",
1123
                    "external_fun": "",
1124
                    "inputs": "",
1125
                    "original_actions": "",
1126
                    "outputs": "",
1127
                    "variables": ""
1128
                },
1129
                "During": {
1130
                    "actions": "",
1131
                    "external_fun": "",
1132
                    "inputs": "",
1133
                    "original_actions": "",
1134
                    "outputs": "",
1135
                    "variables": ""
1136
                },
1137
                "Entry": {
1138
                    "actions": "Regul_OFF = false; Regul_ON = true; Regul_STDBY = false; ",
1139
                    "external_fun": "",
1140
                    "inputs": "Regul_OFF: bool;Regul_STDBY: bool;Regul_ON: bool;",
1141
                    "original_actions": "\nRegul_OFF=0;\nRegul_ON=1;\nRegul_STDBY=0",
1142
                    "outputs": "Regul_OFF: bool;",
1143
                    "variables": ""
1144
                },
1145
                "Exit": {
1146
                    "actions": "",
1147
                    "external_fun": "",
1148
                    "inputs": "",
1149
                    "original_actions": "",
1150
                    "outputs": "",
1151
                    "variables": ""
1152
                },
1153
                "On": {
1154
                    "actions": "",
1155
                    "external_fun": "",
1156
                    "inputs": "",
1157
                    "original_actions": "",
1158
                    "outputs": "",
1159
                    "variables": ""
1160
                },
1161
                "OnAfter": {
1162
                    "actions": "",
1163
                    "external_fun": "",
1164
                    "inputs": "",
1165
                    "original_actions": "",
1166
                    "outputs": "",
1167
                    "variables": ""
1168
                },
1169
                "OnAt": {
1170
                    "actions": "",
1171
                    "external_fun": "",
1172
                    "inputs": "",
1173
                    "original_actions": "",
1174
                    "outputs": "",
1175
                    "variables": ""
1176
                },
1177
                "OnBefore": {
1178
                    "actions": "",
1179
                    "external_fun": "",
1180
                    "inputs": "",
1181
                    "original_actions": "",
1182
                    "outputs": "",
1183
                    "variables": ""
1184
                },
1185
                "OnEvery": {
1186
                    "actions": "",
1187
                    "external_fun": "",
1188
                    "inputs": "",
1189
                    "original_actions": "",
1190
                    "outputs": "",
1191
                    "variables": ""
1192
                }
1193
            },
1194
            "Composition": {
1195
                "DefaultTransitions": [],
1196
                "States": [],
1197
                "Substates": [],
1198
                "Type": "EXCLUSIVE_OR"
1199
            },
1200
            "Id": 2019,
1201
            "InnerTransitions": [],
1202
            "Name": "On",
1203
            "OuterTransitions": {
1204
                "Condition": {
1205
                    "actions": "AccelPressed or SpeedOutOffLimits ",
1206
                    "external_fun": "",
1207
                    "inputs": "AccelPressed: bool;SpeedOutOffLimits: bool;",
1208
                    "original_actions": "AccelPressed|SpeedOutOffLimits",
1209
                    "outputs": "",
1210
                    "variables": ""
1211
                },
1212
                "ConditionAction": {
1213
                    "actions": "",
1214
                    "external_fun": "",
1215
                    "inputs": "",
1216
                    "original_actions": "",
1217
                    "outputs": "",
1218
                    "variables": ""
1219
                },
1220
                "Destination": {
1221
                    "Id": 2020,
1222
                    "Name": "CruiseState_PP_CruiseStateMgt/Enabled/Regulation/StandBy",
1223
                    "Type": "State"
1224
                },
1225
                "Event": "",
1226
                "Id": 2028,
1227
                "TransitionAction": {
1228
                    "actions": "",
1229
                    "external_fun": "",
1230
                    "inputs": "",
1231
                    "original_actions": "",
1232
                    "outputs": "",
1233
                    "variables": ""
1234
                }
1235
            },
1236
            "Path": "CruiseState_PP_CruiseStateMgt/Enabled/Regulation/On"
1237
        }
1238
    ],
1239
    "TruthTables": []
1240
}