Ticket #137: aadlinspectorCheddar.xmlv3

<?xml version="1.0" standalone="yes"?>
<!DOCTYPE Cheddar_ADL SYSTEM "cheddar_adl.dtd">
<?xml-stylesheet type="text/xsl" href="cheddar_adl.xsl"?>
<cheddar>
  <core_units>
    <core_unit id="root.my_platform.CPU.core">
      <name>root.my_platform.CPU.core</name>
      <object_type>CORE_OBJECT_TYPE</object_type>
      <speed>1.0</speed>
      <scheduling>
        <scheduling_parameters>
          <scheduler_type>RATE_MONOTONIC_PROTOCOL</scheduler_type>
          <quantum>0</quantum>
          <preemptive_type>PREEMPTIVE</preemptive_type>
        </scheduling_parameters>
      </scheduling>
    </core_unit>
  </core_units>
  <processors>
    <mono_core_processor id="root.my_platform.CPU">
      <name>root.my_platform.CPU</name>
      <object_type>PROCESSOR_OBJECT_TYPE</object_type>
      <processor_type>MONOCORE_TYPE</processor_type>
      <network>No_Network</network>
      <migration_type>NO_MIGRATION_TYPE</migration_type>
      <core ref="root.my_platform.CPU.core"/>
    </mono_core_processor>
  </processors>
  <address_spaces>
    <address_space id="root.my_platform.CPU.my_process">
      <name>root.my_platform.CPU.my_process</name>
      <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
      <cpu_name>root.my_platform.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>
        </scheduling_parameters>
      </scheduling>
    </address_space>
  </address_spaces>
  <tasks>
    <periodic_task id="root.my_platform.CPU.my_process.sender">
      <name>root.my_platform.CPU.my_process.sender</name>
      <object_type>TASK_OBJECT_TYPE</object_type>
      <task_type>PERIODIC_TYPE</task_type>
      <address_space_name>root.my_platform.CPU.my_process</address_space_name>
      <cpu_name>root.my_platform.CPU</cpu_name>
      <policy>SCHED_OTHERS</policy>
      <period>20</period>
      <capacity>8</capacity>
      <deadline>20</deadline>
      <start_time>0</start_time>
      <criticality>0</criticality>
      <jitter>0</jitter>
      <text_memory_size>0</text_memory_size>
      <stack_memory_size>0</stack_memory_size>
      <predictable_seed>TRUE</predictable_seed>
      <seed>0</seed>
      <blocking_time>0</blocking_time>
    </periodic_task>
    <sporadic_task id="root.my_platform.CPU.my_process.receiver">
      <name>root.my_platform.CPU.my_process.receiver</name>
      <object_type>TASK_OBJECT_TYPE</object_type>
      <task_type>PERIODIC_TYPE</task_type>
      <address_space_name>root.my_platform.CPU.my_process</address_space_name>
      <cpu_name>root.my_platform.CPU</cpu_name>
      <policy>SCHED_OTHERS</policy>
      <period>21</period>
      <capacity>2</capacity>
      <deadline>21</deadline>
      <start_time>0</start_time>
      <criticality>0</criticality>
      <jitter>0</jitter>
      <text_memory_size>0</text_memory_size>
      <stack_memory_size>0</stack_memory_size>
      <predictable_seed>TRUE</predictable_seed>
      <seed>0</seed>
      <blocking_time>0</blocking_time>
    </sporadic_task>
  </tasks>
  <resources>
  </resources>
  <buffers>
    <buffer id="root.my_platform.CPU.my_process.receiver.receive">
      <name>root.my_platform.CPU.my_process.receiver.receive</name>
      <object_type>BUFFER_OBJECT_TYPE</object_type>
      <address_space_name>root.my_platform.CPU.my_process</address_space_name>
      <cpu_name>root.my_platform.CPU</cpu_name>
      <queueing_system_type>QS_PP1</queueing_system_type>
      <size>5</size>
      <roles>
        <task_name>root.my_platform.CPU.my_process.receiver</task_name>
        <buffer_role>
          <the_role>QUEUING_CONSUMER</the_role>
          <size>1</size>
          <time>1</time>
          <timeout>1</timeout>
        </buffer_role>
        <task_name>root.my_platform.CPU.my_process.sender</task_name>
        <buffer_role>
          <the_role>QUEUING_PRODUCER</the_role>
          <size>1</size>
          <time>1</time>
          <timeout>1</timeout>
        </buffer_role>
      </roles>
    </buffer>
  </buffers>
  <dependencies>
    <dependency>
      <type_of_dependency>QUEUING_BUFFER_DEPENDENCY</type_of_dependency>
      <buffer_dependency_object ref="root.my_platform.CPU.my_process.receiver.receive"/>
      <buffer_dependent_task ref="root.my_platform.CPU.my_process.receiver"/>
      <buffer_orientation>FROM_OBJECT_TO_TASK</buffer_orientation>
    </dependency>
    <dependency>
      <type_of_dependency>QUEUING_BUFFER_DEPENDENCY</type_of_dependency>
      <buffer_dependency_object ref="root.my_platform.CPU.my_process.receiver.receive"/>
      <buffer_dependent_task ref="root.my_platform.CPU.my_process.sender"/>
      <buffer_orientation>FROM_TASK_TO_OBJECT</buffer_orientation>
    </dependency>
  </dependencies>
</cheddar>