Research Article

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

Table 5

State space results for FrTp protocol CPN with retries (3).

Config Nodes Arcs Terminals Bounds

1-1-15-T 115103 593962 35 (31,2,2) (16,1)
50-1-1-T 71654 206525 299 (3,294,2) (2,2)
14-1-2-T 109501 392772 143 (5,136,2) (3,3)