Skip to content
LibIpv6_ModuleParameters.ttcn 10.5 KiB
Newer Older
alex's avatar
alex committed
/*
 *	@author 	STF 276
 *  @version 	$Id$
 *	@desc		- Here all module parameters from every RFC shall be collected.
 *  
 */
module LibIpv6_ModuleParameters {
	
	//LibCommon
	import from LibCommon_DataStrings all;
	import from LibCommon_BasicTypesAndValues all;
	import from LibCommon_TextStrings all;
	//LibIpv6
	import from LibIpv6_MultiRfcs_TypesAndValues all ;

	group macLayer {
		
		/*
		** @desc PICS/PIXIT Reference: XXX
		*/
		modulepar {MacLayer PX_MAC_LAYER := e_eth}

		/*
		** @remark Length is specified in units of 8 octets including type+length field
		*/
		modulepar {UInt8 PX_MAC_OPTION_LEN := 1}

		modulepar {String1to255 PX_NET_DEVICE_ID_1 := "eth1"}
		modulepar {String1to255 PX_NET_DEVICE_ID_2 := "eth2"}

seb's avatar
seb committed
		modulepar {UInt8 PX_PREFIX_LENGTH := 64}

		//MAC address that is used for Neighbor Cache Entry cleaning in postamble 
		modulepar {Oct6to15 PX_MAC_UCA_TEST_CLEANUP := 'EEEEEEEEEEEE'O}
alex's avatar
alex committed
		
peter's avatar
peter committed
		/*
		** @desc What time does the IUT need to build its global address?
		*/
		modulepar {float PX_T_BUILD_GLA := 15.0}
	
alex's avatar
alex committed

	} //end macLayer

	group HS_01 {	

		modulepar {Oct6to15 PX_MAC_UCA_HS01 := '00000000A5A5'O}
peter's avatar
peter committed
		modulepar {Oct6to15 PX_MAC_UCA_HS01_2 := '00000000A5A6'O}
alex's avatar
alex committed
		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_HS01 := '3333FF00A5A5'O}
		modulepar {Ipv6Address PX_LLA_HS01 := 'FE80000000000000000000FFFE00A5A5'O}
		modulepar {Ipv6Address PX_GLA_HS01 := '200106605503276A000000FFFE00A5A5'O}
		modulepar {Ipv6Address PX_SOL_NODE_MCA_HS01 := 'FF0200000000000000000001FF00A5A5'O}


	}//end group HS_01

	group HS_02 {

		modulepar {Oct6to15 PX_MAC_UCA_HS02 := '00000000B6B6'O}
		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_HS02 := '3333FF00B6B6'O}
		modulepar {Ipv6Address PX_LLA_HS02 := 'FE80000000000000000000FFFE00B6B6'O}
		modulepar {Ipv6Address PX_GLA_HS02 := '200106605503276B000000FFFE00B6B6'O}
		modulepar {Ipv6Address PX_SOL_NODE_MCA_HS02 := 'FF0200000000000000000001FF00B6B6'O}


	}//end group HS_02
seb's avatar
seb committed
	
	group HS_03 {

		modulepar {Oct6to15 PX_MAC_UCA_HS03 := '00000000C7C7'O}
		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_HS03 := '3333FF00C7C7'O}
		modulepar {Ipv6Address PX_LLA_HS03 := 'FE80000000000000000000FFFE00C7C7'O}
		modulepar {Ipv6Address PX_GLA_HS03 := '200106605503276C000000FFFE00C7C7'O}
		modulepar {Ipv6Address PX_SOL_NODE_MCA_HS03 := 'FF0200000000000000000001FF00C7C7'O}


	}//end group HS_03
alex's avatar
alex committed

	group RT_01 {

		modulepar {Oct6to15 PX_MAC_UCA_RT01_A := '00000000A1A1'O}
		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_RT01_A := '3333FF00A1A1'O}
		modulepar {Ipv6Address PX_LLA_RT01_A := 'FE80000000000000000000FFFE00A1A1'O}
		modulepar {Ipv6Address PX_GLA_RT01_A := '200106605503276A000000FFFE00A1A1'O}
		modulepar {Ipv6Address PX_SOL_NODE_MCA_RT01_A := 'FF0200000000000000000001FF00A1A1'O}

		modulepar {Oct6to15 PX_MAC_UCA_RT01_B := '00000000B1B1'O}
		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_RT01_B := '3333FF00B1B1'O}
		modulepar {Ipv6Address PX_LLA_RT01_B := 'FE80000000000000000000FFFE00B1B1'O}
		modulepar {Ipv6Address PX_GLA_RT01_B := '200106605503276B000000FFFE00B1B1'O}
		modulepar {Ipv6Address PX_SOL_NODE_MCA_RT01_B := 'FF0200000000000000000001FF00B1B1'O}

	}//end group RT_01

seb's avatar
seb committed
	group RT_03 {
alex's avatar
alex committed

seb's avatar
seb committed
		modulepar {Oct6to15 PX_MAC_UCA_RT03_A := '00000000A3A3'O}
		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_RT03_A := '3333FF00A3A3'O}
		modulepar {Ipv6Address PX_LLA_RT03_A := 'FE80000000000000000000FFFE00A3A3'O}
		modulepar {Ipv6Address PX_GLA_RT03_A := '200106605503276A000000FFFE00A3A3'O}
		modulepar {Ipv6Address PX_SOL_NODE_MCA_RT03_A := 'FF0200000000000000000001FF00A3A3'O}
alex's avatar
alex committed

seb's avatar
seb committed
		modulepar {Oct6to15 PX_MAC_UCA_RT03_C := '00000000C3C3'O}
		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_RT03_C := '3333FF00C3C3'O}
		modulepar {Ipv6Address PX_LLA_RT03_C := 'FE80000000000000000000FFFE00C3C3'O}
		modulepar {Ipv6Address PX_GLA_RT03_C := '200106605503276C000000FFFE00C3C3'O}
		modulepar {Ipv6Address PX_SOL_NODE_MCA_RT03_C := 'FF0200000000000000000001FF00C3C3'O}
alex's avatar
alex committed

seb's avatar
seb committed
	}//end group RT_03
alex's avatar
alex committed

seb's avatar
seb committed
	group IUT {
		
		/*
		** @desc   Link Local Address of IUT sending in netA<br>
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Ipv6Address PX_LLA_IUT_A := 'FE80000000000000ACACACFFFE276A31'O}

		/*
		** @desc   Global Address of IUT sending in netA<br>
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Ipv6Address PX_GLA_IUT_A := '200106605503276AACACACFFFE276A31'O}

		/*
		** @desc   Solicited-Node Multicast Address of IUT sending in netA<br>
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Ipv6Address PX_SOL_NODE_MCA_IUT_A := 'FF0200000000000000000001FF276A31'O}

		/*
		** @desc   Unicast MAC Address of IUT sending in netA<br>
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Oct6to15 PX_MAC_UCA_IUT_A := 'AEACAC276A31'O}
		
		/*
		** @desc   MAC Solicited-Node Multicast Address of IUT sending in netA<br>
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_IUT_A := '3333FF276A31'O}

		/*
		** @desc   Link Local Address of IUT sending in netB<br>
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Ipv6Address PX_LLA_IUT_B := 'FE80000000000000ACACACFFFE276B42'O}
			
		/*
		** @desc   Global Local Address of IUT sending in netB<br>
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Ipv6Address PX_GLA_IUT_B := '200106605503276B0000000000000004'O}

		/*
		** @desc   Solicited-Node Multicast Address of IUT sending in netB<br>
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Ipv6Address PX_SOL_NODE_MCA_IUT_B := 'FF0200000000000000000001FF276B42'O}

		/*
		** @desc   Unicast MAC Address of IUT sending in netB<br>
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Oct6to15 PX_MAC_UCA_IUT_B := 'AEACAC276B42'O}
	
		/*
		** @desc   MAC Solicited-Node Multicast Address of IUT sending in netB<br>
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_IUT_B := '3333FF276B42'O}

peter's avatar
peter committed
		/*
		** @desc   Mac Broadcast Address of Implementation Under Test
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Oct6to15 PX_MAC_BROADCAST_IUT := 'FFFFFFFFFFFF'O}
	
validator's avatar
""  
validator committed
//	group HUT {
alex's avatar
alex committed
		
		/*
		** @desc   Link Local Address of Host Under Test<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//	//	modulepar {Ipv6Address PX_LLA_HUT := 'FE80000000000000ACACACFFFE276A31'O}
alex's avatar
alex committed

		/*
		** @desc   Unicast Mac Address of Host Under Test<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Oct6to15 PX_MAC_UCA_HUT := 'AEACAC276A31'O}
alex's avatar
alex committed

		/*
		** @desc   Global Address of Host Under Test<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Ipv6Address PX_GLA_HUT := '200106605503276AACACACFFFE276A31'O}
alex's avatar
alex committed

		/*
		** @desc   Solicited-Node Multicast Address of Host Under Test<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Ipv6Address PX_SOL_NODE_MCA_HUT := 'FF0200000000000000000001FF276A31'O}
alex's avatar
alex committed

		/*
		** @desc   Mac Solicited-Node Multicast Address of Host Under Test<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_HUT := '3333FF276A31'O}
alex's avatar
alex committed
		
validator's avatar
""  
validator committed
	//}//end HUT
validator's avatar
""  
validator committed
	//group RUT {
alex's avatar
alex committed
		
		/*
		** @desc   Link Local Address of Router Under Test sending in netA<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Ipv6Address PX_LLA_RUT_A := 'FE80000000000000ACACACFFFE276A41'O}
alex's avatar
alex committed

		/*
		** @desc   Global Local Address of Router Under Test sending in netA<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Ipv6Address PX_GLA_RUT_A := '200106605503276A0000000000000004'O}
alex's avatar
alex committed


		/*
		** @desc   Unicast Mac Address of Router Under Test sending in netA<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Oct6to15 PX_MAC_UCA_RUT_A := 'AEACAC276A41'O}
alex's avatar
alex committed

		/*
		** @desc   Solicited-Node Multicast Address of Router Under Test sending in netA<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Ipv6Address PX_SOL_NODE_MCA_RUT_A := 'FF0200000000000000000001FF276A41'O}
alex's avatar
alex committed

		/*
		** @desc   Mac Solicited-Node Multicast Address Router Under Test sending in netA<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_RUT_A := '3333FF276A41'O}
alex's avatar
alex committed

		/*
		** @desc   Link Local Address of Router Under Test sending in netB<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Ipv6Address PX_LLA_RUT_B := 'FE80000000000000ACACACFFFE276B42'O}
alex's avatar
alex committed
			
		/*
		** @desc   Global Local Address of Router Under Test sending in netB<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Ipv6Address PX_GLA_RUT_B := '200106605503276B0000000000000004'O}
alex's avatar
alex committed


		/*
		** @desc   Unicast Mac Address of Router Under Test sending in netB<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Oct6to15 PX_MAC_UCA_RUT_B := 'AEACAC276B42'O}
alex's avatar
alex committed

		/*
		** @desc   Solicited-Node Multicast Address of 1. router test 
		**         component sending in netA<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Ipv6Address PX_SOL_NODE_MCA_RUT_B := 'FF0200000000000000000001FF276B42'O}
alex's avatar
alex committed

		/*
		** @desc   Mac Solicited-Node Multicast Address of Router Under Test sending in netB<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_RUT_B := '3333FF276B42'O}
alex's avatar
alex committed


		/*
		** @desc   Anycast Address of Router Under Test<br>
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Ipv6Address PX_ACA}

		/*
		** @desc   Mac Anycast Address of Router Under Test<br>
		**         PICS/PIXIT Reference: XXX
		*/
		modulepar {Oct6to15 PX_MAC_ACA}

	
validator's avatar
""  
validator committed
	//}//end group RUT
alex's avatar
alex committed
	
validator's avatar
""  
validator committed
	//group NUT {
alex's avatar
alex committed
		
		/*
		** @desc   Link Local Address of Node Under Test<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Ipv6Address PX_LLA_NUT := 'FE80000000000000ACACACFFFE276A31'O}
alex's avatar
alex committed

		/*
		** @desc   Unicast Mac Address of Node Under Test<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Oct6to15 PX_MAC_UCA_NUT := 'AEACAC276A31'O}
alex's avatar
alex committed

		/*
		** @desc   Global Address of Node Under Test<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Ipv6Address PX_GLA_NUT := '200106605503276AACACACFFFE276A31'O}
alex's avatar
alex committed

		/*
		** @desc   Solicited-Node Multicast Address of Node Under Test<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Ipv6Address PX_SOL_NODE_MCA_NUT := 'FF0200000000000000000001FF276A31'O}
alex's avatar
alex committed

		/*
		** @desc   Mac Solicited-Node Multicast Address of Node Under Test<br>
		**         PICS/PIXIT Reference: XXX
		*/
seb's avatar
seb committed
//		modulepar {Oct6to15 PX_MAC_SOL_NODE_MCA_NUT := '3333FF276A31'O}
alex's avatar
alex committed
	
validator's avatar
""  
validator committed
//	}//end NUT
alex's avatar
alex committed



} // end module LibIpv6_ModuleParameters