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) |
|
|