-- Generated using 'Marte2Mast Converter' @ 14/05/2015 - 14:35:32 - user: stefano
-- Processing Resources

Processing_Resource (
    Type                   => Regular_Processor
,   Name                   => hw.cH_HwProc
,   Speed_Factor           => 1.0    
);
		



-- Schedulers

Scheduler (
    Type   => Primary_Scheduler
,   Name   => hw.cH_HwProc_Scheduler
,   Policy => (            
            Type                 => Fixed_Priority
,           Max_Priority         => 256
,           Min_Priority         => 1		
    )	
,   Host   => hw.cH_HwProc
);	
		

-- Scheduling Servers


Scheduling_Server (
    Type                       => Regular
,   Name                       => sw_class.exec1_0_pro_ex1_exec1Op_task
,   Server_Sched_Parameters    => (
     		   Type		       => Fixed_Priority_Policy 
      		  ,The_Priority    => 20
    )
,   Scheduler                  => hw.cH_HwProc_Scheduler 	
);  
		


Scheduling_Server (
    Type                       => Regular
,   Name                       => sw_class.exc2_0_proex2_exec2Op_task
,   Server_Sched_Parameters    => (
     		   Type		       => Fixed_Priority_Policy 
      		  ,The_Priority    => 10
    )
,   Scheduler                  => hw.cH_HwProc_Scheduler 	
);  
		


Scheduling_Server (
    Type                       => Regular
,   Name                       => sw_class.ticki_0_ClientServerPort1_starting_point_task
,   Server_Sched_Parameters    => (
     		   Type		       => Fixed_Priority_Policy 
      		  ,The_Priority    => 1
    )
,   Scheduler                  => hw.cH_HwProc_Scheduler 	
);  
		


Scheduling_Server (
    Type                       => Regular
,   Name                       => sw_class.ticki_0_pro_tick_tickOp_task
,   Server_Sched_Parameters    => (
     		   Type		       => Fixed_Priority_Policy 
      		  ,The_Priority    => 30
    )
,   Scheduler                  => hw.cH_HwProc_Scheduler 	
);  
		


-- Resources


Shared_Resource (
    Type         => Immediate_Ceiling_Resource
,   Name         => sw_class.exec1_0_pro_ex1_exec1Op_state
);		

		

Shared_Resource (
    Type         => Immediate_Ceiling_Resource
,   Name         => sw_class.exc2_0_proex2_exec2Op_state
);		

		

Shared_Resource (
    Type         => Immediate_Ceiling_Resource
,   Name         => sw_class.ticki_0_ClientServerPort1_starting_point_state
);		

		

Shared_Resource (
    Type         => Immediate_Ceiling_Resource
,   Name         => sw_class.ticki_0_pro_tick_tickOp_state
);		

		
	



-- Operations


Operation (
    Type                        => Simple,
    Name                        => sw_class.ticki_0_ClientServerPort1_operations__starting_point,
    Worst_Case_Execution_Time   => 0.0E-3
);

Operation (
    Type                        => Simple,
    Name                        => sw_class.exec1_0_pro_ex1_operations__exec1Op,
    Worst_Case_Execution_Time   => 100.0E-3
);

Operation (
    Type                        => Simple,
    Name                        => sw_class.ticki_0_pro_tick_operations__tickOp,
    Worst_Case_Execution_Time   => 750.0E-3
);

Operation (
    Type                        => Simple,
    Name                        => sw_class.exc2_0_proex2_operations__exec2Op,
    Worst_Case_Execution_Time   => 100.0E-3
);


-- Transactions


Transaction (
    Type            => Regular,
    Name            => Interaction1,
    External_Events => (
        (Type 		        => Sporadic,
         Name 		        => InitialNode1,
         Min_Interarrival 	=> 10000.0E-3)
    ),
    Internal_Events => (
        (Type 	=> Regular,
         Name 	=> Interaction1__Internal_Event_1
        ),
        (Type 	=> Regular,
         Name 	=> Interaction1__Internal_Event_2
        ),
        (Type 	=> Regular,
         Name 	=> Interaction1__Internal_Event_3
        ),
        (Type 	=> Regular,
         Name 	=> Interaction1__Internal_Event_4
        )
    ),
    Event_Handlers  => (
        (Type                 => Activity,
         Input_Event          => InitialNode1,
         Output_Event         => Interaction1__Internal_Event_1,
         Activity_Operation   => sw_class.ticki_0_ClientServerPort1_operations__starting_point,
         Activity_Server      => sw_class.ticki_0_ClientServerPort1_starting_point_task
        ),
        (Type                 => Activity,
         Input_Event          => Interaction1__Internal_Event_1,
         Output_Event         => Interaction1__Internal_Event_2,
         Activity_Operation   => sw_class.exec1_0_pro_ex1_operations__exec1Op,
         Activity_Server      => sw_class.exec1_0_pro_ex1_exec1Op_task
        ),
        (Type                 => Activity,
         Input_Event          => Interaction1__Internal_Event_2,
         Output_Event         => Interaction1__Internal_Event_3,
         Activity_Operation   => sw_class.ticki_0_pro_tick_operations__tickOp,
         Activity_Server      => sw_class.ticki_0_pro_tick_tickOp_task
        ),
        (Type                 => Activity,
         Input_Event          => Interaction1__Internal_Event_3,
         Output_Event         => Interaction1__Internal_Event_4,
         Activity_Operation   => sw_class.exc2_0_proex2_operations__exec2Op,
         Activity_Server      => sw_class.exc2_0_proex2_exec2Op_task
        )
    )
);


