Scheduling feasibility, Processor cpu : 

- Ceiling Priority  (see [3])  : 
    shaded => 5
    black => 4




- 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>c1</name>
   <scheduling>
    <scheduling_parameters>
     <scheduler_type>POSIX_1003_HIGHEST_PRIORITY_FIRST_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>J1</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>cpu</cpu_name>
   <address_space_name>ea</address_space_name>
   <capacity>3</capacity>
   <capacity_low>0</capacity_low>
   <energy_consumption>0</energy_consumption>
   <deadline>50</deadline>
   <start_time>7</start_time>
   <priority>5</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>50</period>
   <jitter>0</jitter>
   <every>0</every>
   <completion_time>0</completion_time>
  </periodic_task>
  <periodic_task id="id_5">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>J2</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>cpu</cpu_name>
   <address_space_name>ea</address_space_name>
   <capacity>3</capacity>
   <capacity_low>0</capacity_low>
   <energy_consumption>0</energy_consumption>
   <deadline>50</deadline>
   <start_time>5</start_time>
   <priority>4</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>50</period>
   <jitter>0</jitter>
   <every>0</every>
   <completion_time>0</completion_time>
  </periodic_task>
  <periodic_task id="id_6">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>J3</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>cpu</cpu_name>
   <address_space_name>ea</address_space_name>
   <capacity>2</capacity>
   <capacity_low>0</capacity_low>
   <energy_consumption>0</energy_consumption>
   <deadline>50</deadline>
   <start_time>4</start_time>
   <priority>3</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>50</period>
   <jitter>0</jitter>
   <every>0</every>
   <completion_time>0</completion_time>
  </periodic_task>
  <periodic_task id="id_7">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>J4</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>cpu</cpu_name>
   <address_space_name>ea</address_space_name>
   <capacity>6</capacity>
   <capacity_low>0</capacity_low>
   <energy_consumption>0</energy_consumption>
   <deadline>50</deadline>
   <start_time>2</start_time>
   <priority>2</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>50</period>
   <jitter>0</jitter>
   <every>0</every>
   <completion_time>0</completion_time>
  </periodic_task>
  <periodic_task id="id_8">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>J5</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>cpu</cpu_name>
   <address_space_name>ea</address_space_name>
   <capacity>6</capacity>
   <capacity_low>0</capacity_low>
   <energy_consumption>0</energy_consumption>
   <deadline>50</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>50</period>
   <jitter>0</jitter>
   <every>0</every>
   <completion_time>0</completion_time>
  </periodic_task>
 </tasks>
 <resources>
  <pcp_resource id="id_9">
   <object_type>RESOURCE_OBJECT_TYPE</object_type>
   <name>shaded</name>
   <state>1</state>
   <size>0</size>
   <address>0</address>
   <protocol>PRIORITY_CEILING_PROTOCOL</protocol>
   <critical_sections>
    <task_name>J1</task_name>
    <critical_section>
     <task_synchronization>MUTEX</task_synchronization>
     <task_begin>2</task_begin>
     <task_end>2</task_end>
    </critical_section>
    <task_name>J4</task_name>
    <critical_section>
     <task_synchronization>MUTEX</task_synchronization>
     <task_begin>2</task_begin>
     <task_end>5</task_end>
    </critical_section>
   </critical_sections>
   <cpu_name>cpu</cpu_name>
   <address_space_name>ea</address_space_name>
   <priority>5</priority>
   <priority_assignment>AUTOMATIC_ASSIGNMENT</priority_assignment>
  </pcp_resource>
  <pcp_resource id="id_10">
   <object_type>RESOURCE_OBJECT_TYPE</object_type>
   <name>black</name>
   <state>1</state>
   <size>0</size>
   <address>0</address>
   <protocol>PRIORITY_CEILING_PROTOCOL</protocol>
   <critical_sections>
    <task_name>J4</task_name>
    <critical_section>
     <task_synchronization>MUTEX</task_synchronization>
     <task_begin>4</task_begin>
     <task_end>5</task_end>
    </critical_section>
    <task_name>J2</task_name>
    <critical_section>
     <task_synchronization>MUTEX</task_synchronization>
     <task_begin>2</task_begin>
     <task_end>2</task_end>
    </critical_section>
    <task_name>J5</task_name>
    <critical_section>
     <task_synchronization>MUTEX</task_synchronization>
     <task_begin>2</task_begin>
     <task_end>5</task_end>
    </critical_section>
   </critical_sections>
   <cpu_name>cpu</cpu_name>
   <address_space_name>ea</address_space_name>
   <priority>4</priority>
   <priority_assignment>AUTOMATIC_ASSIGNMENT</priority_assignment>
  </pcp_resource>
 </resources>
</cheddar>