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

Table 2

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

Config	Nodes	Arcs	Terminals	Bounds
20-1-0-T	494	789	61 (1,59,1)	(1,1)
20-2-0-T	782	1473	70 (1,68,1)	(2,1)
20-3-0-T	1604	3693	79 (1,77,1)	(3,2)
20-4-0-T	3315	8969	88 (1,86,1)	(4,3)
20-5-0-T	6904	21301	97 (1,95,1)	(5,4)
20-6-0-T	15422	53454	106 (1,104,1)	(6,5)
20-7-0-T	26399	97993	113 (1,111,1)	(7,6)
20-8-0-T	55577	222219	120 (1,118,1)	(8,7)
11-10-0-T	130006	568613	79 (1,77,1)	(10,9)