Scheduling feasibility, Processor cpu : 

- Ceiling Priority  (see [3])  : 
    R1 => 1
    R2 => 1




- Ceiling Priority times are updated.


<?xml version="1.0" encoding="utf-8"?>
<event_table>
</event_table>


<?xml version="1.0" encoding="utf-8"?>
<cheddar>
 <core_units>
  <core_unit id="id_1">
   <object_type>CORE_OBJECT_TYPE</object_type>
   <name>c</name>
   <scheduling>
    <scheduling_parameters>
     <scheduler_type>RATE_MONOTONIC_PROTOCOL</scheduler_type>
     <quantum>0</quantum>
     <preemptive_type>PREEMPTIVE</preemptive_type>
     <capacity>0</capacity>
     <period>0</period>
     <priority>0</priority>
     <start_time>0</start_time>
    </scheduling_parameters>
   </scheduling>
   <speed>1</speed>
   <worstcase_perequest_intrabank_memory_interference>0</worstcase_perequest_intrabank_memory_interference>
   <worstcase_perequest_interbank_memory_interference>0</worstcase_perequest_interbank_memory_interference>
   <isa>I386</isa>
  </core_unit>
 </core_units>
 <processors>
  <mono_core_processor id="id_2">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>cpu</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_1">
   </core>
  </mono_core_processor>
 </processors>
 <address_spaces>
  <address_space id="id_3">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>ea</name>
   <cpu_name>cpu</cpu_name>
   <text_memory_size>0</text_memory_size>
   <stack_memory_size>0</stack_memory_size>
   <data_memory_size>0</data_memory_size>
   <heap_memory_size>0</heap_memory_size>
   <scheduling>
    <scheduling_parameters>
     <scheduler_type>NO_SCHEDULING_PROTOCOL</scheduler_type>
     <quantum>0</quantum>
     <preemptive_type>PREEMPTIVE</preemptive_type>
     <capacity>0</capacity>
     <period>0</period>
     <priority>0</priority>
     <start_time>0</start_time>
    </scheduling_parameters>
   </scheduling>
   <mils_confidentiality_level>UNCLASSIFIED</mils_confidentiality_level>
   <mils_integrity_level>LOW</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>FALSE</mils_compliant>
  </address_space>
 </address_spaces>
 <tasks>
  <periodic_task id="id_4">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>T1</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>cpu</cpu_name>
   <address_space_name>ea</address_space_name>
   <capacity>10</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>20</deadline>
   <start_time>2</start_time>
   <priority>1</priority>
   <blocking_time>0</blocking_time>
   <policy>SCHED_FIFO</policy>
   <text_memory_size>0</text_memory_size>
   <text_memory_start_address>0</text_memory_start_address>
   <stack_memory_size>0</stack_memory_size>
   <criticality>0</criticality>
   <context_switch_overhead>0</context_switch_overhead>
   <cfg_relocatable>FALSE</cfg_relocatable>
   <mils_confidentiality_level>UNCLASSIFIED</mils_confidentiality_level>
   <mils_integrity_level>LOW</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>FALSE</mils_compliant>
   <access_memory_number>0</access_memory_number>
   <maximum_number_of_memory_request_per_job>0</maximum_number_of_memory_request_per_job>
   <period>20</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_5">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>T2</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>cpu</cpu_name>
   <address_space_name>ea</address_space_name>
   <capacity>4</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>10</deadline>
   <start_time>4</start_time>
   <priority>1</priority>
   <blocking_time>0</blocking_time>
   <policy>SCHED_FIFO</policy>
   <text_memory_size>0</text_memory_size>
   <text_memory_start_address>0</text_memory_start_address>
   <stack_memory_size>0</stack_memory_size>
   <criticality>0</criticality>
   <context_switch_overhead>0</context_switch_overhead>
   <cfg_relocatable>FALSE</cfg_relocatable>
   <mils_confidentiality_level>UNCLASSIFIED</mils_confidentiality_level>
   <mils_integrity_level>LOW</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>FALSE</mils_compliant>
   <access_memory_number>0</access_memory_number>
   <maximum_number_of_memory_request_per_job>0</maximum_number_of_memory_request_per_job>
   <period>10</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_8">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>T3</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>cpu</cpu_name>
   <address_space_name>ea</address_space_name>
   <capacity>9</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>30</deadline>
   <start_time>0</start_time>
   <priority>1</priority>
   <blocking_time>0</blocking_time>
   <policy>SCHED_FIFO</policy>
   <text_memory_size>0</text_memory_size>
   <text_memory_start_address>0</text_memory_start_address>
   <stack_memory_size>0</stack_memory_size>
   <criticality>0</criticality>
   <context_switch_overhead>0</context_switch_overhead>
   <cfg_relocatable>FALSE</cfg_relocatable>
   <mils_confidentiality_level>UNCLASSIFIED</mils_confidentiality_level>
   <mils_integrity_level>LOW</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>FALSE</mils_compliant>
   <access_memory_number>0</access_memory_number>
   <maximum_number_of_memory_request_per_job>0</maximum_number_of_memory_request_per_job>
   <period>30</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
 </tasks>
 <resources>
  <np_resource id="id_22">
   <object_type>RESOURCE_OBJECT_TYPE</object_type>
   <name>R1</name>
   <state>1</state>
   <size>0</size>
   <address>0</address>
   <protocol>NO_PROTOCOL</protocol>
   <critical_sections>
    <task_name>T2</task_name>
    <critical_section>
     <task_begin>1</task_begin>
     <task_end>2</task_end>
    </critical_section>
    <task_name>T1</task_name>
    <critical_section>
     <task_begin>1</task_begin>
     <task_end>4</task_end>
    </critical_section>
   </critical_sections>
   <cpu_name>cpu</cpu_name>
   <address_space_name>ea</address_space_name>
   <priority>1</priority>
   <priority_assignment>AUTOMATIC_ASSIGNMENT</priority_assignment>
  </np_resource>
  <np_resource id="id_11">
   <object_type>RESOURCE_OBJECT_TYPE</object_type>
   <name>R2</name>
   <state>1</state>
   <size>0</size>
   <address>0</address>
   <protocol>NO_PROTOCOL</protocol>
   <critical_sections>
    <task_name>T3</task_name>
    <critical_section>
     <task_begin>1</task_begin>
     <task_end>5</task_end>
    </critical_section>
    <task_name>T1</task_name>
    <critical_section>
     <task_begin>2</task_begin>
     <task_end>4</task_end>
    </critical_section>
   </critical_sections>
   <cpu_name>cpu</cpu_name>
   <address_space_name>ea</address_space_name>
   <priority>1</priority>
   <priority_assignment>AUTOMATIC_ASSIGNMENT</priority_assignment>
  </np_resource>
 </resources>
</cheddar>