International Journal of Vehicular Technology

Research Article

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

Table 3

State space results for FrTp protocol CPN with no retries (1).
Config Nodes Arcs Terminals Bounds
1-1-1-T 184 467 7 (3,2,2) (2,1)
1-1-2-T 534 1669 9 (5,2,2) (3,1)
1-1-3-T 1211 4303 11 (7,2,2) (4,1)
1-1-4-T 2364 9158 13 (9,2,2) (5,1)
1-1-5-T 4168 17182 15 (11,2,2) (6,1)
1-1-6-T 6824 29482 17 (13,2,2) (7,1)
1-1-7-T 10559 47324 19 (15,2,2) (8,1)
1-1-8-T 15626 72133 21 (17,2,2) (9,1)
1-1-9-T 22304 105493 23 (19,2,2) (10,1)
1-1-10-T 30898 149147 25 (21,2,2) (11,1)