Processing_Resource (
   Type                   => Regular_Processor,
   Name                   => cpu1,
   Max_Interrupt_Priority => 256,
   Min_Interrupt_Priority => 256,
   Worst_ISR_Switch       => 0.00,
   Avg_ISR_Switch         => 0.00,
   Best_ISR_Switch        => 0.00,
   Speed_Factor           => 1.00);

Scheduler (
   Type            => Primary_Scheduler,
   Name            => sc_cpu1,
   Host            => cpu1,
   Policy          => 
      ( Type                 => Fixed_Priority,
        Worst_Context_Switch => 0.00,
        Avg_Context_Switch   => 0.00,
        Best_Context_Switch  => 0.00,
        Max_Priority         => 255,
        Min_Priority         => 1));

Scheduling_Server (
   Type                       => Regular,
   Name                       => ss_med,
   Server_Sched_Parameters    => 
      ( Type         => Fixed_Priority_Policy,
        The_Priority => 10,
        Preassigned  => NO),
   Scheduler                  => sc_cpu1);

Scheduling_Server (
   Type                       => Regular,
   Name                       => ss_low,
   Server_Sched_Parameters    => 
      ( Type         => Fixed_Priority_Policy,
        The_Priority => 5,
        Preassigned  => NO),
   Scheduler                  => sc_cpu1);

Scheduling_Server (
   Type                       => Regular,
   Name                       => high,
   Server_Sched_Parameters    => 
      ( Type         => Fixed_Priority_Policy,
        The_Priority => 20,
        Preassigned  => NO),
   Scheduler                  => sc_cpu1);

Operation (
   Type                       => Simple,
   Name                       => low,
   Worst_Case_Execution_Time  => 15.00,
   Avg_Case_Execution_Time    => 0.00,
   Best_Case_Execution_Time   => 0.00);

Operation (
   Type                       => Simple,
   Name                       => med,
   Worst_Case_Execution_Time  => 8.00,
   Avg_Case_Execution_Time    => 0.00,
   Best_Case_Execution_Time   => 0.00);

Operation (
   Type                       => Simple,
   Name                       => high,
   Worst_Case_Execution_Time  => 3.70,
   Avg_Case_Execution_Time    => 3.70,
   Best_Case_Execution_Time   => 3.70);

Transaction (
   Type            => regular,
   Name            => low,
   External_Events => 
      ( ( Type       => Periodic,
          Name       => e1,
          Period     => 200.000,
          Max_Jitter => 0.000,
          Phase      => 0.000)),
   Internal_Events => 
      ( ( Type => Regular,
          Name => e2,
          Timing_Requirements => 
            ( Type             => Hard_Global_Deadline,
              Deadline         => 200.000,
              Referenced_Event => e1))),
   Event_Handlers  => 
      ( (Type               => Activity,
         Input_Event        => e1,
         Output_Event       => e2,
         Activity_Operation => low,
         Activity_Server    => ss_low)));

Transaction (
   Type            => regular,
   Name            => med,
   External_Events => 
      ( ( Type       => Periodic,
          Name       => e1,
          Period     => 100.000,
          Max_Jitter => 0.000,
          Phase      => 0.000)),
   Internal_Events => 
      ( ( Type => Regular,
          Name => e2,
          Timing_Requirements => 
            ( Type             => Hard_Global_Deadline,
              Deadline         => 100.000,
              Referenced_Event => e1)),
        ( Type => Regular,
          Name => e11),
        ( Type => Regular,
          Name => e12),
        ( Type => Regular,
          Name => e13)),
   Event_Handlers  => 
      ( (Type               => Activity,
         Input_Event        => e11,
         Output_Event       => e12,
         Activity_Operation => med,
         Activity_Server    => ss_med),
        (Type               => Offset,
         Input_Event        => e1,
         Output_Event       => e11,
         Delay_Max_Interval => 25.000,
         Delay_Min_Interval => 0.450,
         Referenced_Event   => e1),
        (Type               => Activity,
         Input_Event        => e13,
         Output_Event       => e2,
         Activity_Operation => med,
         Activity_Server    => ss_med),
        (Type               => Offset,
         Input_Event        => e12,
         Output_Event       => e13,
         Delay_Max_Interval => 50.200,
         Delay_Min_Interval => 0.670,
         Referenced_Event   => e1)));

Transaction (
   Type            => regular,
   Name            => high_tr,
   External_Events => 
      ( ( Type       => Periodic,
          Name       => e1,
          Period     => 70.000,
          Max_Jitter => 0.000,
          Phase      => 0.000)),
   Internal_Events => 
      ( ( Type => Regular,
          Name => e2,
          Timing_Requirements => 
            ( Type             => Hard_Global_Deadline,
              Deadline         => 50.000,
              Referenced_Event => e1))),
   Event_Handlers  => 
      ( (Type               => Activity,
         Input_Event        => e1,
         Output_Event       => e2,
         Activity_Operation => high,
         Activity_Server    => high)));

