Processing_Resource (
        Type                    => Regular_Processor,
        Name                    => CPU_1,
        Max_Interrupt_Priority  => 512,
        Min_Interrupt_Priority  => 512);

Processing_Resource (
        Type                    => Regular_Processor,
        Name                    => CPU_2,
        Max_Interrupt_Priority  => 512,
        Min_Interrupt_Priority  => 512);

Processing_Resource (
        Type                    => Regular_Processor,
        Name                    => CPU_3,
        Max_Interrupt_Priority  => 512,
        Min_Interrupt_Priority  => 512);


Scheduler (
   Type            => Primary_Scheduler,
   Name            => s1,
   Host            => CPU_1,
   Policy          =>
      ( Type                 => EDF));
Scheduler (
   Type            => Primary_Scheduler,
   Name            => s2,
   Host            => CPU_2,
   Policy          =>
      ( Type                 => EDF));
Scheduler (
   Type            => Primary_Scheduler,
   Name            => s3,
   Host            => CPU_3,
   Policy          =>
      ( Type                 => EDF));

Operation (
     Type     => Simple,
     Name     => O_1,
     Worst_Case_Execution_Time     =>  3.41000E+02);

Operation (
     Type     => Simple,
     Name     => O_2,
     Worst_Case_Execution_Time     =>  3.81000E+02);

Operation (
     Type     => Simple,
     Name     => O_3,
     Worst_Case_Execution_Time     =>  1.71000E+02);

Operation (
     Type     => Simple,
     Name     => O_4,
     Worst_Case_Execution_Time     =>  2.51000E+02);

Operation (
     Type     => Simple,
     Name     => O_5,
     Worst_Case_Execution_Time     =>  3.01000E+02);

Operation (
     Type     => Simple,
     Name     => O_6,
     Worst_Case_Execution_Time     =>  4.51000E+02);

Operation (
     Type     => Simple,
     Name     => O_7,
     Worst_Case_Execution_Time     =>  4.10000E+01);

Operation (
     Type     => Simple,
     Name     => O_8,
     Worst_Case_Execution_Time     =>  4.01000E+02);

Operation (
     Type     => Simple,
     Name     => O_9,
     Worst_Case_Execution_Time     =>  2.61000E+02);

Operation (
     Type     => Simple,
     Name     => O_10,
     Worst_Case_Execution_Time     =>  2.61000E+02);

Operation (
     Type     => Simple,
     Name     => O_11,
     Worst_Case_Execution_Time     =>  1.00000E+00);

Operation (
     Type     => Simple,
     Name     => O_12,
     Worst_Case_Execution_Time     =>  3.10000E+01);

Operation (
     Type     => Simple,
     Name     => O_13,
     Worst_Case_Execution_Time     =>  2.10000E+01);

Operation (
     Type     => Simple,
     Name     => O_14,
     Worst_Case_Execution_Time     =>  1.00000E+00);



Scheduling_Server (
        Type                       => Regular,
        Name    => SS_1,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 4000,
                Preassigned             => No),
        Scheduler      => s3);

Scheduling_Server (
        Type                       => Regular,
        Name    => SS_2,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 3000,
                Preassigned             => No),
        Scheduler      => s1);

Scheduling_Server (
        Type                       => Regular,
        Name    => SS_3,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 2000,
                Preassigned             => No),
        Scheduler      => s2);


Scheduling_Server (
        Type                       => Regular,
        Name    => SS_4,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 4000,
                Preassigned             => No),
        Scheduler      => s3);

Scheduling_Server (
        Type                       => Regular,
        Name    => SS_5,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 3000,
                Preassigned             => No),
        Scheduler      => s1);

Scheduling_Server (
        Type                       => Regular,
        Name    => SS_6,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 2000,
                Preassigned             => No),
        Scheduler      => s2);


Scheduling_Server (
        Type                       => Regular,
        Name    => SS_7,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 4000,
                Preassigned             => No),
        Scheduler      => s1);


Scheduling_Server (
        Type                       => Regular,
        Name    => SS_8,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 3000,
                Preassigned             => No),
        Scheduler      => s3);


Scheduling_Server (
        Type                       => Regular,
        Name    => SS_9,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 2000,
                Preassigned             => No),
        Scheduler      => s1);

Scheduling_Server (
        Type                       => Regular,
        Name    => SS_10,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 4000,
                Preassigned             => No),
        Scheduler      => s2);

Scheduling_Server (
        Type                       => Regular,
        Name    => SS_11,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 3000,
                Preassigned             => No),
        Scheduler      => s3);


Scheduling_Server (
        Type                       => Regular,
        Name    => SS_12,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 2000,
                Preassigned             => No),
        Scheduler      => s2);

Scheduling_Server (
        Type                       => Regular,
        Name    => SS_13,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 400,
                Preassigned             => No),
        Scheduler      => s3);

Scheduling_Server (
        Type                       => Regular,
        Name    => SS_14,
        Server_Sched_Parameters         => (
                Type                    => EDF_policy,
                Deadline            => 300,
                Preassigned             => No),
        Scheduler      => s1);


-- Transactions
Transaction (
      Type              => Regular,
      Name              => T_1,
      External_Events   => (
                 ( Type         => Periodic,
                    Name        => EE_1,
                    Period      =>  17000,
                    Max_Jitter  => 0,
                    Phase       => 0)),

      Internal_Events   => (
              (Type     => Regular,
               Name     => E_1),
              (Type     => Regular,
               Name     => E_2),
              (Type     => Regular,
               Name     => E_3,
               Timing_Requirements      => (
                           Type         => Hard_Global_Deadline,
                           Deadline     => 5105,
                           Referenced_Event     => EE_1))),

         Event_Handlers            => (
              (Type                => Activity,
               Input_Event         => EE_1,
               Output_Event        => E_1,
               Activity_Operation  => O_1,
               Activity_Server     => SS_1),
              (Type                => Activity,
               Input_Event         => E_1,
               Output_Event        => E_2,
               Activity_Operation  => O_2,
               Activity_Server     => SS_2),
              (Type                => Activity,
               Input_Event         => E_2,
               Output_Event        => E_3,
               Activity_Operation  => O_3,
               Activity_Server     => SS_3)
         )
);

Transaction (
      Type              => Regular,
      Name              => T_2,
      External_Events   => (
                 ( Type         => Periodic,
                    Name        => EE_2,
                    Period      =>  15000,
                    Max_Jitter  => 0,
                    Phase       => 0)),

      Internal_Events   => (
              (Type     => Regular,
               Name     => E_4),
              (Type     => Regular,
               Name     => E_5),
              (Type     => Regular,
               Name     => E_6,
               Timing_Requirements      => (
                           Type         => Hard_Global_Deadline,
                           Deadline     => 6261,
                           Referenced_Event     => EE_2))),

         Event_Handlers            => (
              (Type                => Activity,
               Input_Event         => EE_2,
               Output_Event        => E_4,
               Activity_Operation  => O_4,
               Activity_Server     => SS_4),
              (Type                => Activity,
               Input_Event         => E_4,
               Output_Event        => E_5,
               Activity_Operation  => O_5,
               Activity_Server     => SS_5),
              (Type                => Activity,
               Input_Event         => E_5,
               Output_Event        => E_6,
               Activity_Operation  => O_6,
               Activity_Server     => SS_6)
         )
);

Transaction (
      Type              => Regular,
      Name              => T_3,
      External_Events   => (
                 ( Type         => Periodic,
                    Name        => EE_3,
                    Period      =>  4000,
                    Max_Jitter  => 0,
                    Phase       => 0)),

      Internal_Events   => (
              (Type     => Regular,
               Name     => E_7,
               Timing_Requirements      => (
                           Type         => Hard_Global_Deadline,
                           Deadline     => 5550,
                           Referenced_Event     => EE_3))),

         Event_Handlers            => (
              (Type                => Activity,
               Input_Event         => EE_3,
               Output_Event        => E_7,
               Activity_Operation  => O_7,
               Activity_Server     => SS_7)
         )
);

Transaction (
      Type              => Regular,
      Name              => T_4,
      External_Events   => (
                 ( Type         => Periodic,
                    Name        => EE_4,
                    Period      =>  20000,
                    Max_Jitter  => 0,
                    Phase       => 0)),

      Internal_Events   => (
              (Type     => Regular,
               Name     => E_8,
               Timing_Requirements      => (
                           Type         => Hard_Global_Deadline,
                           Deadline     => 3080,
                           Referenced_Event     => EE_4))),

         Event_Handlers            => (
              (Type                => Activity,
               Input_Event         => EE_4,
               Output_Event        => E_8,
               Activity_Operation  => O_8,
               Activity_Server     => SS_8)
         )
);

Transaction (
      Type              => Regular,
      Name              => T_5,
      External_Events   => (
                 ( Type         => Periodic,
                    Name        => EE_5,
                    Period      =>  13000,
                    Max_Jitter  => 0,
                    Phase       => 0)),

      Internal_Events   => (
              (Type     => Regular,
               Name     => E_9),
              (Type     => Regular,
               Name     => E_10),
              (Type     => Regular,
               Name     => E_11,
               Timing_Requirements      => (
                           Type         => Hard_Global_Deadline,
                           Deadline     => 5250,
                           Referenced_Event     => EE_5))),

         Event_Handlers            => (
              (Type                => Activity,
               Input_Event         => EE_5,
               Output_Event        => E_9,
               Activity_Operation  => O_9,
               Activity_Server     => SS_9),
              (Type                => Activity,
               Input_Event         => E_9,
               Output_Event        => E_10,
               Activity_Operation  => O_10,
               Activity_Server     => SS_10),
              (Type                => Activity,
               Input_Event         => E_10,
               Output_Event        => E_11,
               Activity_Operation  => O_11,
               Activity_Server     => SS_11)
         )
);

Transaction (
      Type              => Regular,
      Name              => T_6,
      External_Events   => (
                 ( Type         => Periodic,
                    Name        => EE_6,
                    Period      =>  1000,
                    Max_Jitter  => 0,
                    Phase       => 0)),

      Internal_Events   => (
              (Type     => Regular,
               Name     => E_12),
              (Type     => Regular,
               Name     => E_13),
              (Type     => Regular,
               Name     => E_14,
               Timing_Requirements      => (
                           Type         => Hard_Global_Deadline,
                           Deadline     => 3380,
                           Referenced_Event     => EE_6))),

         Event_Handlers            => (
              (Type                => Activity,
               Input_Event         => EE_6,
               Output_Event        => E_12,
               Activity_Operation  => O_12,
               Activity_Server     => SS_12),
              (Type                => Activity,
               Input_Event         => E_12,
               Output_Event        => E_13,
               Activity_Operation  => O_13,
               Activity_Server     => SS_13),
              (Type                => Activity,
               Input_Event         => E_13,
               Output_Event        => E_14,
               Activity_Operation  => O_14,
               Activity_Server     => SS_14)
         )
);

