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

Table 4

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

Config	Nodes	Arcs	Terminals	Bounds
1-1-1-T	184	467	7 (3,2,2)	(2,1)
2-1-1-T	398	1037	11 (3,6,2)	(2,2)
3-1-1-T	684	1793	17 (3,12,2)	(2,2)
4-1-1-T	1021	2699	23 (3,18,2)	(2,2)
5-1-1-T	1409	3755	29 (3,24,2)	(2,2)
6-1-1-T	1848	4961	35 (3,30,2)	(2,2)
7-1-1-T	2338	6317	41 (3,36,2)	(2,2)
8-1-1-T	2879	7823	47 (3,42,2)	(2,2)
9-1-1-T	3471	9479	53 (3,48,2)	(2,2)
10-1-1-T	4114	11285	59 (3,54,2)	(2,2)
1-1-2-T	534	1669	9 (5,2,2)	(3,1)
2-1-2-T	1573	5254	13 (5,6,2)	(3,3)
3-1-2-T	3439	11644	22 (5,15,2)	(3,3)
4-1-2-T	6176	21127	33 (5,26,2)	(3,3)
5-1-2-T	9880	34119	44 (5,37,2)	(3,3)
6-1-2-T	14689	51128	55 (5,48,2)	(3,3)
7-1-2-T	20741	72662	66 (5,59,2)	(3,3)
8-1-2-T	28174	99229	77 (5,70,2)	(3,3)
9-1-2-T	37126	131337	88 (5,81,2)	(3,3)
10-1-2-T	47735	169494	99 (5,92,2)	(3,3)
1-1-3-T	1211	4303	11 (7,2,2)	(4,1)
2-1-3-T	4747	18608	15 (7,6,2)	(4,4)
3-1-3-T	13112	52597	24 (7,15,2)	(4,4)
4-1-3-T	28486	115521	35 (7,26,2)	(4,4)
5-1-3-T	53587	218659	46 (7,37,2)	(4,4)
6-1-3-T	91792	375751	57 (7,48,2)	(4,4)
7-1-3-T	146961	602453	68 (7,59,2)	(4,4)