International Journal of Vehicular Technology

Research Article

Verification of the FlexRay Transport Protocol for AUTOSAR In-Vehicle Communications

Table 1

State space results for FrTp protocol CPN with no retries (1).
Config Nodes Arcs Terminals Bounds
1-1-0-T 38 67 4 (1,2,1) (1,1)
2-1-0-T 62 105 7 (1,5,1) (1,1)
3-1-0-T 86 143 10 (1,8,1) (1,1)
4-1-0-T 110 181 13 (1,11,1) (1,1)
5-1-0-T 134 219 16 (1,14,1) (1,1)
6-1-0-T 158 257 19 (1,17,1) (1,1)
7-1-0-T 182 295 22 (1,20,1) (1,1)
8-1-0-T 206 333 25 (1,23,1) (1,1)
9-1-0-T 230 371 28 (1,26,1) (1,1)
10-1-0-T 254 409 31 (1,29,1) (1,1)
1-2-0-T 38 67 4 (1,2,1) (1,1)
2-2-0-T 62 105 7 (1,5,1) (1,1)
3-2-0-T 118 219 11 (1,9,1) (2,1)
4-2-0-T 142 257 14 (1,12,1) (2,1)
5-2-0-T 198 371 18 (1,16,1) (2,1)
6-2-0-T 222 409 21 (1,19,1) (2,1)
7-2-0-T 278 523 25 (1,23,1) (2,1)
8-2-0-T 302 561 28 (1,26,1) (2,1)
9-2-0-T 358 675 32 (1,30,1) (2,1)
10-2-0-T 382 713 35 (1,33,1) (2,1)
1-3-0-T 38 67 4 (1,2,1) (1,1)
2-3-0-T 62 105 7 (1,5,1) (1,1)
3-3-0-T 118 219 11 (1,9,1) (2,1)
4-3-0-T 295 665 16 (1,14,1) (3,2)
5-3-0-T 319 703 19 (1,17,1) (3,2)
6-3-0-T 375 817 23 (1,21,1) (3,2)
7-3-0-T 552 1263 28 (1,26,1) (3,2)
8-3-0-T 576 1301 31 (1,29,1) (3,2)
9-3-0-T 632 1415 35 (1,33,1) (3,2)
10-3-0-T 809 1861 40 (1,38,1) (3,2)
1-4-0-T 38 67 4 (1,2,1) (1,1)
2-4-0-T 62 105 7 (1,5,1) (1,1)
3-4-0-T 118 219 11 (1,9,1) (2,1)
4-4-0-T 295 665 16 (1,14,1) (3,2)
5-4-0-T 793 2143 22 (1,20,1) (4,3)
6-4-0-T 817 2181 25 (1,23,1) (4,3)
7-4-0-T 873 2295 29 (1,27,1) (4,3)
8-4-0-T 1050 2741 34 (1,32,1) (4,3)
9-4-0-T 1548 4219 40 (1,38,1) (4,3)
10-4-0-T 1572 4257 43 (1,41,1) (4,3)
6-5-0-T 2075 6453 29 (1,27,1) (5,4)
7-5-0-T 2099 6491 32 (1,30,1) (5,4)
8-5-0-T 2155 6605 36 (1,34,1) (5,4)
9-5-0-T 2332 7051 41 (1,39,1) (5,4)
10-5-0-T 2830 8529 47 (1,45,1) (5,4)
7-6-0-T 5158 17850 37 (1,35,1) (6,5)
8-6-0-T 5182 17888 40 (1,38,1) (6,5)
9-6-0-T 5238 18002 44 (1,42,1) (6,5)
10-6-0-T 5415 18448 49 (1,47,1) (6,5)
8-7-0-T 12200 45837 46 (1,44,1) (7,6)
9-7-0-T 12224 45875 49 (1,47,1) (7,6)
10-7-0-T 12280 45989 53 (1,51,1) (7,6)
9-8-0-T 27679 110844 56 (1,54,1) (8,7)
10-8-0-T 27703 110882 59 (1,57,1) (8,7)
10-9-0-T 60756 255689 67 (1,65,1) (9,8)