Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

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

History | View | Annotate | Download (24.9 KB)

1
{
2
    "Data": [
3
        {
4
            "ArraySize": "",
5
            "CompiledType": "unknown",
6
            "Datatype": "int",
7
            "Id": 4563,
8
            "InitialValue": "0",
9
            "Name": "mode",
10
            "Port": 1,
11
            "Scope": "Input"
12
        },
13
        {
14
            "ArraySize": "-1",
15
            "CompiledType": "unknown",
16
            "Datatype": "int",
17
            "Id": 4564,
18
            "InitialValue": "0",
19
            "Name": "pedal",
20
            "Port": 2,
21
            "Scope": "Input"
22
        },
23
        {
24
            "ArraySize": "",
25
            "CompiledType": "unknown",
26
            "Datatype": "int",
27
            "Id": 4565,
28
            "InitialValue": "0",
29
            "Name": "r",
30
            "Port": 1,
31
            "Scope": "Output"
32
        },
33
        {
34
            "ArraySize": "",
35
            "CompiledType": "unknown",
36
            "Datatype": "real",
37
            "Id": 4566,
38
            "InitialValue": "0.0",
39
            "Name": "MANUAL",
40
            "Port": null,
41
            "Scope": "Parameter"
42
        },
43
        {
44
            "ArraySize": "",
45
            "CompiledType": "unknown",
46
            "Datatype": "real",
47
            "Id": 4567,
48
            "InitialValue": "0.0",
49
            "Name": "LO",
50
            "Port": null,
51
            "Scope": "Parameter"
52
        },
53
        {
54
            "ArraySize": "",
55
            "CompiledType": "unknown",
56
            "Datatype": "real",
57
            "Id": 4568,
58
            "InitialValue": "0.0",
59
            "Name": "MED",
60
            "Port": null,
61
            "Scope": "Parameter"
62
        },
63
        {
64
            "ArraySize": "",
65
            "CompiledType": "unknown",
66
            "Datatype": "real",
67
            "Id": 4569,
68
            "InitialValue": "0.0",
69
            "Name": "MAX",
70
            "Port": null,
71
            "Scope": "Parameter"
72
        },
73
        {
74
            "ArraySize": "-1",
75
            "CompiledType": "unknown",
76
            "Datatype": "real",
77
            "Id": 4570,
78
            "InitialValue": "0.0",
79
            "Name": "BRAKE_PRESSURE_LO",
80
            "Port": null,
81
            "Scope": "Parameter"
82
        },
83
        {
84
            "ArraySize": "-1",
85
            "CompiledType": "unknown",
86
            "Datatype": "real",
87
            "Id": 4571,
88
            "InitialValue": "0.0",
89
            "Name": "BRAKE_PRESSURE_MAX",
90
            "Port": null,
91
            "Scope": "Parameter"
92
        },
93
        {
94
            "ArraySize": "-1",
95
            "CompiledType": "unknown",
96
            "Datatype": "real",
97
            "Id": 4572,
98
            "InitialValue": "0.0",
99
            "Name": "BRAKE_PRESSURE_MED",
100
            "Port": null,
101
            "Scope": "Parameter"
102
        }
103
    ],
104
    "Events": [],
105
    "GraphicalFunctions": [],
106
    "Junctions": [
107
        {
108
            "Id": 4588,
109
            "Name": "Junction4588",
110
            "OuterTransitions": [
111
                {
112
                    "Condition": {
113
                        "actions": "",
114
                        "external_fun": "",
115
                        "inputs": "",
116
                        "original_actions": "mode==LO",
117
                        "outputs": "",
118
                        "variables": ""
119
                    },
120
                    "ConditionAction": {
121
                        "actions": "",
122
                        "external_fun": "",
123
                        "inputs": "",
124
                        "original_actions": "",
125
                        "outputs": "",
126
                        "variables": ""
127
                    },
128
                    "Destination": {
129
                        "Id": 4589,
130
                        "Name": "BSCU_PP_Brake_Cmd/Junction4589",
131
                        "Type": "Junction"
132
                    },
133
                    "Event": "",
134
                    "Id": 4574,
135
                    "TransitionAction": {
136
                        "actions": "",
137
                        "external_fun": "",
138
                        "inputs": "",
139
                        "original_actions": "",
140
                        "outputs": "",
141
                        "variables": ""
142
                    }
143
                },
144
                {
145
                    "Condition": {
146
                        "actions": "",
147
                        "external_fun": "",
148
                        "inputs": "",
149
                        "original_actions": "",
150
                        "outputs": "",
151
                        "variables": ""
152
                    },
153
                    "ConditionAction": {
154
                        "actions": "",
155
                        "external_fun": "",
156
                        "inputs": "",
157
                        "original_actions": "",
158
                        "outputs": "",
159
                        "variables": ""
160
                    },
161
                    "Destination": {
162
                        "Id": 4590,
163
                        "Name": "BSCU_PP_Brake_Cmd/Junction4590",
164
                        "Type": "Junction"
165
                    },
166
                    "Event": "",
167
                    "Id": 4575,
168
                    "TransitionAction": {
169
                        "actions": "",
170
                        "external_fun": "",
171
                        "inputs": "",
172
                        "original_actions": "",
173
                        "outputs": "",
174
                        "variables": ""
175
                    }
176
                }
177
            ],
178
            "Path": "BSCU_PP_Brake_Cmd/Junction4588",
179
            "Type": "CONNECTIVE"
180
        },
181
        {
182
            "Id": 4589,
183
            "Name": "Junction4589",
184
            "OuterTransitions": {
185
                "Condition": {
186
                    "actions": "",
187
                    "external_fun": "",
188
                    "inputs": "",
189
                    "original_actions": "",
190
                    "outputs": "",
191
                    "variables": ""
192
                },
193
                "ConditionAction": {
194
                    "actions": "r = real_to_int(BRAKE_PRESSURE_LO); ",
195
                    "external_fun": "real_to_int",
196
                    "inputs": "BRAKE_PRESSURE_LO: real;r: int;",
197
                    "original_actions": "\nr=BRAKE_PRESSURE_LO;\n",
198
                    "outputs": "r: int;",
199
                    "variables": ""
200
                },
201
                "Destination": {
202
                    "Id": 4598,
203
                    "Name": "BSCU_PP_Brake_Cmd/Junction4598",
204
                    "Type": "Junction"
205
                },
206
                "Event": "",
207
                "Id": 4576,
208
                "TransitionAction": {
209
                    "actions": "",
210
                    "external_fun": "",
211
                    "inputs": "",
212
                    "original_actions": "",
213
                    "outputs": "",
214
                    "variables": ""
215
                }
216
            },
217
            "Path": "BSCU_PP_Brake_Cmd/Junction4589",
218
            "Type": "CONNECTIVE"
219
        },
220
        {
221
            "Id": 4590,
222
            "Name": "Junction4590",
223
            "OuterTransitions": [
224
                {
225
                    "Condition": {
226
                        "actions": "",
227
                        "external_fun": "",
228
                        "inputs": "",
229
                        "original_actions": "mode==MED",
230
                        "outputs": "",
231
                        "variables": ""
232
                    },
233
                    "ConditionAction": {
234
                        "actions": "",
235
                        "external_fun": "",
236
                        "inputs": "",
237
                        "original_actions": "",
238
                        "outputs": "",
239
                        "variables": ""
240
                    },
241
                    "Destination": {
242
                        "Id": 4591,
243
                        "Name": "BSCU_PP_Brake_Cmd/Junction4591",
244
                        "Type": "Junction"
245
                    },
246
                    "Event": "",
247
                    "Id": 4577,
248
                    "TransitionAction": {
249
                        "actions": "",
250
                        "external_fun": "",
251
                        "inputs": "",
252
                        "original_actions": "",
253
                        "outputs": "",
254
                        "variables": ""
255
                    }
256
                },
257
                {
258
                    "Condition": {
259
                        "actions": "",
260
                        "external_fun": "",
261
                        "inputs": "",
262
                        "original_actions": "",
263
                        "outputs": "",
264
                        "variables": ""
265
                    },
266
                    "ConditionAction": {
267
                        "actions": "",
268
                        "external_fun": "",
269
                        "inputs": "",
270
                        "original_actions": "",
271
                        "outputs": "",
272
                        "variables": ""
273
                    },
274
                    "Destination": {
275
                        "Id": 4592,
276
                        "Name": "BSCU_PP_Brake_Cmd/Junction4592",
277
                        "Type": "Junction"
278
                    },
279
                    "Event": "",
280
                    "Id": 4578,
281
                    "TransitionAction": {
282
                        "actions": "",
283
                        "external_fun": "",
284
                        "inputs": "",
285
                        "original_actions": "",
286
                        "outputs": "",
287
                        "variables": ""
288
                    }
289
                }
290
            ],
291
            "Path": "BSCU_PP_Brake_Cmd/Junction4590",
292
            "Type": "CONNECTIVE"
293
        },
294
        {
295
            "Id": 4591,
296
            "Name": "Junction4591",
297
            "OuterTransitions": {
298
                "Condition": {
299
                    "actions": "",
300
                    "external_fun": "",
301
                    "inputs": "",
302
                    "original_actions": "",
303
                    "outputs": "",
304
                    "variables": ""
305
                },
306
                "ConditionAction": {
307
                    "actions": "r = real_to_int(BRAKE_PRESSURE_MED); ",
308
                    "external_fun": "real_to_int",
309
                    "inputs": "BRAKE_PRESSURE_MED: real;r: int;",
310
                    "original_actions": "\nr=BRAKE_PRESSURE_MED;\n",
311
                    "outputs": "r: int;",
312
                    "variables": ""
313
                },
314
                "Destination": {
315
                    "Id": 4597,
316
                    "Name": "BSCU_PP_Brake_Cmd/Junction4597",
317
                    "Type": "Junction"
318
                },
319
                "Event": "",
320
                "Id": 4579,
321
                "TransitionAction": {
322
                    "actions": "",
323
                    "external_fun": "",
324
                    "inputs": "",
325
                    "original_actions": "",
326
                    "outputs": "",
327
                    "variables": ""
328
                }
329
            },
330
            "Path": "BSCU_PP_Brake_Cmd/Junction4591",
331
            "Type": "CONNECTIVE"
332
        },
333
        {
334
            "Id": 4592,
335
            "Name": "Junction4592",
336
            "OuterTransitions": [
337
                {
338
                    "Condition": {
339
                        "actions": "",
340
                        "external_fun": "",
341
                        "inputs": "",
342
                        "original_actions": "mode==MAX",
343
                        "outputs": "",
344
                        "variables": ""
345
                    },
346
                    "ConditionAction": {
347
                        "actions": "",
348
                        "external_fun": "",
349
                        "inputs": "",
350
                        "original_actions": "",
351
                        "outputs": "",
352
                        "variables": ""
353
                    },
354
                    "Destination": {
355
                        "Id": 4593,
356
                        "Name": "BSCU_PP_Brake_Cmd/Junction4593",
357
                        "Type": "Junction"
358
                    },
359
                    "Event": "",
360
                    "Id": 4580,
361
                    "TransitionAction": {
362
                        "actions": "",
363
                        "external_fun": "",
364
                        "inputs": "",
365
                        "original_actions": "",
366
                        "outputs": "",
367
                        "variables": ""
368
                    }
369
                },
370
                {
371
                    "Condition": {
372
                        "actions": "",
373
                        "external_fun": "",
374
                        "inputs": "",
375
                        "original_actions": "",
376
                        "outputs": "",
377
                        "variables": ""
378
                    },
379
                    "ConditionAction": {
380
                        "actions": "",
381
                        "external_fun": "",
382
                        "inputs": "",
383
                        "original_actions": "",
384
                        "outputs": "",
385
                        "variables": ""
386
                    },
387
                    "Destination": {
388
                        "Id": 4594,
389
                        "Name": "BSCU_PP_Brake_Cmd/Junction4594",
390
                        "Type": "Junction"
391
                    },
392
                    "Event": "",
393
                    "Id": 4581,
394
                    "TransitionAction": {
395
                        "actions": "",
396
                        "external_fun": "",
397
                        "inputs": "",
398
                        "original_actions": "",
399
                        "outputs": "",
400
                        "variables": ""
401
                    }
402
                }
403
            ],
404
            "Path": "BSCU_PP_Brake_Cmd/Junction4592",
405
            "Type": "CONNECTIVE"
406
        },
407
        {
408
            "Id": 4593,
409
            "Name": "Junction4593",
410
            "OuterTransitions": {
411
                "Condition": {
412
                    "actions": "",
413
                    "external_fun": "",
414
                    "inputs": "",
415
                    "original_actions": "",
416
                    "outputs": "",
417
                    "variables": ""
418
                },
419
                "ConditionAction": {
420
                    "actions": "r = real_to_int(BRAKE_PRESSURE_MAX); ",
421
                    "external_fun": "real_to_int",
422
                    "inputs": "r: int;BRAKE_PRESSURE_MAX: real;",
423
                    "original_actions": "\nr=BRAKE_PRESSURE_MAX;\n",
424
                    "outputs": "r: int;",
425
                    "variables": ""
426
                },
427
                "Destination": {
428
                    "Id": 4596,
429
                    "Name": "BSCU_PP_Brake_Cmd/Junction4596",
430
                    "Type": "Junction"
431
                },
432
                "Event": "",
433
                "Id": 4582,
434
                "TransitionAction": {
435
                    "actions": "",
436
                    "external_fun": "",
437
                    "inputs": "",
438
                    "original_actions": "",
439
                    "outputs": "",
440
                    "variables": ""
441
                }
442
            },
443
            "Path": "BSCU_PP_Brake_Cmd/Junction4593",
444
            "Type": "CONNECTIVE"
445
        },
446
        {
447
            "Id": 4594,
448
            "Name": "Junction4594",
449
            "OuterTransitions": {
450
                "Condition": {
451
                    "actions": "",
452
                    "external_fun": "",
453
                    "inputs": "",
454
                    "original_actions": "",
455
                    "outputs": "",
456
                    "variables": ""
457
                },
458
                "ConditionAction": {
459
                    "actions": "r = pedal; ",
460
                    "external_fun": "",
461
                    "inputs": "r: int;pedal: int;",
462
                    "original_actions": "\nr=pedal;\n",
463
                    "outputs": "r: int;",
464
                    "variables": ""
465
                },
466
                "Destination": {
467
                    "Id": 4595,
468
                    "Name": "BSCU_PP_Brake_Cmd/Junction4595",
469
                    "Type": "Junction"
470
                },
471
                "Event": "",
472
                "Id": 4583,
473
                "TransitionAction": {
474
                    "actions": "",
475
                    "external_fun": "",
476
                    "inputs": "",
477
                    "original_actions": "",
478
                    "outputs": "",
479
                    "variables": ""
480
                }
481
            },
482
            "Path": "BSCU_PP_Brake_Cmd/Junction4594",
483
            "Type": "CONNECTIVE"
484
        },
485
        {
486
            "Id": 4595,
487
            "Name": "Junction4595",
488
            "OuterTransitions": {
489
                "Condition": {
490
                    "actions": "",
491
                    "external_fun": "",
492
                    "inputs": "",
493
                    "original_actions": "",
494
                    "outputs": "",
495
                    "variables": ""
496
                },
497
                "ConditionAction": {
498
                    "actions": "",
499
                    "external_fun": "",
500
                    "inputs": "",
501
                    "original_actions": "",
502
                    "outputs": "",
503
                    "variables": ""
504
                },
505
                "Destination": {
506
                    "Id": 4599,
507
                    "Name": "BSCU_PP_Brake_Cmd/Junction4599",
508
                    "Type": "Junction"
509
                },
510
                "Event": "",
511
                "Id": 4587,
512
                "TransitionAction": {
513
                    "actions": "",
514
                    "external_fun": "",
515
                    "inputs": "",
516
                    "original_actions": "",
517
                    "outputs": "",
518
                    "variables": ""
519
                }
520
            },
521
            "Path": "BSCU_PP_Brake_Cmd/Junction4595",
522
            "Type": "CONNECTIVE"
523
        },
524
        {
525
            "Id": 4596,
526
            "Name": "Junction4596",
527
            "OuterTransitions": {
528
                "Condition": {
529
                    "actions": "",
530
                    "external_fun": "",
531
                    "inputs": "",
532
                    "original_actions": "",
533
                    "outputs": "",
534
                    "variables": ""
535
                },
536
                "ConditionAction": {
537
                    "actions": "",
538
                    "external_fun": "",
539
                    "inputs": "",
540
                    "original_actions": "",
541
                    "outputs": "",
542
                    "variables": ""
543
                },
544
                "Destination": {
545
                    "Id": 4595,
546
                    "Name": "BSCU_PP_Brake_Cmd/Junction4595",
547
                    "Type": "Junction"
548
                },
549
                "Event": "",
550
                "Id": 4584,
551
                "TransitionAction": {
552
                    "actions": "",
553
                    "external_fun": "",
554
                    "inputs": "",
555
                    "original_actions": "",
556
                    "outputs": "",
557
                    "variables": ""
558
                }
559
            },
560
            "Path": "BSCU_PP_Brake_Cmd/Junction4596",
561
            "Type": "CONNECTIVE"
562
        },
563
        {
564
            "Id": 4597,
565
            "Name": "Junction4597",
566
            "OuterTransitions": {
567
                "Condition": {
568
                    "actions": "",
569
                    "external_fun": "",
570
                    "inputs": "",
571
                    "original_actions": "",
572
                    "outputs": "",
573
                    "variables": ""
574
                },
575
                "ConditionAction": {
576
                    "actions": "",
577
                    "external_fun": "",
578
                    "inputs": "",
579
                    "original_actions": "",
580
                    "outputs": "",
581
                    "variables": ""
582
                },
583
                "Destination": {
584
                    "Id": 4596,
585
                    "Name": "BSCU_PP_Brake_Cmd/Junction4596",
586
                    "Type": "Junction"
587
                },
588
                "Event": "",
589
                "Id": 4585,
590
                "TransitionAction": {
591
                    "actions": "",
592
                    "external_fun": "",
593
                    "inputs": "",
594
                    "original_actions": "",
595
                    "outputs": "",
596
                    "variables": ""
597
                }
598
            },
599
            "Path": "BSCU_PP_Brake_Cmd/Junction4597",
600
            "Type": "CONNECTIVE"
601
        },
602
        {
603
            "Id": 4598,
604
            "Name": "Junction4598",
605
            "OuterTransitions": {
606
                "Condition": {
607
                    "actions": "",
608
                    "external_fun": "",
609
                    "inputs": "",
610
                    "original_actions": "",
611
                    "outputs": "",
612
                    "variables": ""
613
                },
614
                "ConditionAction": {
615
                    "actions": "",
616
                    "external_fun": "",
617
                    "inputs": "",
618
                    "original_actions": "",
619
                    "outputs": "",
620
                    "variables": ""
621
                },
622
                "Destination": {
623
                    "Id": 4597,
624
                    "Name": "BSCU_PP_Brake_Cmd/Junction4597",
625
                    "Type": "Junction"
626
                },
627
                "Event": "",
628
                "Id": 4586,
629
                "TransitionAction": {
630
                    "actions": "",
631
                    "external_fun": "",
632
                    "inputs": "",
633
                    "original_actions": "",
634
                    "outputs": "",
635
                    "variables": ""
636
                }
637
            },
638
            "Path": "BSCU_PP_Brake_Cmd/Junction4598",
639
            "Type": "CONNECTIVE"
640
        },
641
        {
642
            "Id": 4599,
643
            "Name": "Junction4599",
644
            "OuterTransitions": [],
645
            "Path": "BSCU_PP_Brake_Cmd/Junction4599",
646
            "Type": "CONNECTIVE"
647
        }
648
    ],
649
    "Name": "Brake_Cmd",
650
    "Path": "BSCU_PP_Brake_Cmd",
651
    "SimulinkFunctions": [],
652
    "States": {
653
        "Actions": {
654
            "Bind": {
655
                "actions": "",
656
                "external_fun": "",
657
                "inputs": "",
658
                "original_actions": "",
659
                "outputs": "",
660
                "variables": ""
661
            },
662
            "During": {
663
                "actions": "",
664
                "external_fun": "",
665
                "inputs": "",
666
                "original_actions": "",
667
                "outputs": "",
668
                "variables": ""
669
            },
670
            "Entry": {
671
                "actions": "",
672
                "external_fun": "",
673
                "inputs": "",
674
                "original_actions": "",
675
                "outputs": "",
676
                "variables": ""
677
            },
678
            "Exit": {
679
                "actions": "",
680
                "external_fun": "",
681
                "inputs": "",
682
                "original_actions": "",
683
                "outputs": "",
684
                "variables": ""
685
            },
686
            "On": {
687
                "actions": "",
688
                "external_fun": "",
689
                "inputs": "",
690
                "original_actions": "",
691
                "outputs": "",
692
                "variables": ""
693
            },
694
            "OnAfter": {
695
                "actions": "",
696
                "external_fun": "",
697
                "inputs": "",
698
                "original_actions": "",
699
                "outputs": "",
700
                "variables": ""
701
            },
702
            "OnAt": {
703
                "actions": "",
704
                "external_fun": "",
705
                "inputs": "",
706
                "original_actions": "",
707
                "outputs": "",
708
                "variables": ""
709
            },
710
            "OnBefore": {
711
                "actions": "",
712
                "external_fun": "",
713
                "inputs": "",
714
                "original_actions": "",
715
                "outputs": "",
716
                "variables": ""
717
            },
718
            "OnEvery": {
719
                "actions": "",
720
                "external_fun": "",
721
                "inputs": "",
722
                "original_actions": "",
723
                "outputs": "",
724
                "variables": ""
725
            }
726
        },
727
        "Composition": {
728
            "DefaultTransitions": {
729
                "Condition": {
730
                    "actions": "",
731
                    "external_fun": "",
732
                    "inputs": "",
733
                    "original_actions": "",
734
                    "outputs": "",
735
                    "variables": ""
736
                },
737
                "ConditionAction": {
738
                    "actions": "",
739
                    "external_fun": "",
740
                    "inputs": "",
741
                    "original_actions": "",
742
                    "outputs": "",
743
                    "variables": ""
744
                },
745
                "Destination": {
746
                    "Id": 4588,
747
                    "Name": "BSCU_PP_Brake_Cmd/Junction4588",
748
                    "Type": "Junction"
749
                },
750
                "Event": "",
751
                "Id": 4573,
752
                "TransitionAction": {
753
                    "actions": "",
754
                    "external_fun": "",
755
                    "inputs": "",
756
                    "original_actions": "",
757
                    "outputs": "",
758
                    "variables": ""
759
                }
760
            },
761
            "States": [],
762
            "Substates": [],
763
            "Type": "EXCLUSIVE_OR"
764
        },
765
        "Id": 4562,
766
        "InnerTransitions": [],
767
        "OuterTransitions": [],
768
        "Path": "BSCU_PP_Brake_Cmd"
769
    },
770
    "TruthTables": []
771
}