SpaceWire analysis : 

- Producing DAG for the Spacewire network : Spacewire_net
- Produced DAG : 
   -  18 Processor(s) :  Processor1  Processor2  proc_link0To1  proc_link1To0  proc_link1To2  proc_link2To1  proc_link2To3  proc_link3To2  proc_link3To4  proc_link4To3  proc_link0To3  proc_link3To0  proc_link3To6  proc_link6To3  proc_link1To4  proc_link4To1  proc_link4To7  proc_link7To4 
   -  11 Task(s) :  TMTC_Manager  Monitoring  GUI  Guard  Mode_Automaton  PayloadInterface1  PayloadInterface2  RMAP_Proxy  PayloadDriver1  PayloadDriver2  Task_flow11:1 
   -  3 Message(s) :  Message1  Message_of_flow1:1from_source  Message_of_flow1:1To_Destination 
   -  6 Dependency(ies) :  RMAP_Proxy=>Message1  Message1=>PayloadDriver1  RMAP_Proxy=>Message_of_flow1:1from_source  Message_of_flow1:1from_source=>Task_flow11:1  Task_flow11:1=>Message_of_flow1:1To_Destination  Message_of_flow1:1To_Destination=>PayloadDriver1 



<?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_19">
   <object_type>CORE_OBJECT_TYPE</object_type>
   <name>Core_Link</name>
   <scheduling>
    <scheduling_parameters>
     <scheduler_type>DAG_HIGHEST_LEVEL_FIRST_ESTIMATED_TIMES_PROTOCOL</scheduler_type>
     <quantum>0</quantum>
     <preemptive_type>PREEMPTIVE</preemptive_type>
     <capacity>1</capacity>
     <period>1</period>
     <priority>1</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_4">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>Processor1</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_3">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_5">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>Processor2</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_3">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_20">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link0To1</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_21">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link1To0</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_24">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link1To2</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_25">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link2To1</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_28">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link2To3</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_29">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link3To2</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_32">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link3To4</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_33">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link4To3</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_36">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link0To3</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_37">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link3To0</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_40">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link3To6</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_41">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link6To3</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_44">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link1To4</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_45">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link4To1</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_48">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link4To7</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
  <mono_core_processor id="id_49">
   <object_type>PROCESSOR_OBJECT_TYPE</object_type>
   <name>proc_link7To4</name>
   <processor_type>MONOCORE_TYPE</processor_type>
   <migration_type>NO_MIGRATION_TYPE</migration_type>
   <core ref="id_19">
   </core>
  </mono_core_processor>
 </processors>
 <address_spaces>
  <address_space id="id_22">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_0To1</name>
   <cpu_name>proc_link0To1</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_23">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_1To0</name>
   <cpu_name>proc_link1To0</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_26">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_1To2</name>
   <cpu_name>proc_link1To2</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_27">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_2To1</name>
   <cpu_name>proc_link2To1</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_30">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_2To3</name>
   <cpu_name>proc_link2To3</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_31">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_3To2</name>
   <cpu_name>proc_link3To2</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_34">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_3To4</name>
   <cpu_name>proc_link3To4</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_35">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_4To3</name>
   <cpu_name>proc_link4To3</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_38">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_0To3</name>
   <cpu_name>proc_link0To3</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_39">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_3To0</name>
   <cpu_name>proc_link3To0</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_42">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_3To6</name>
   <cpu_name>proc_link3To6</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_43">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_6To3</name>
   <cpu_name>proc_link6To3</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_46">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_1To4</name>
   <cpu_name>proc_link1To4</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_47">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_4To1</name>
   <cpu_name>proc_link4To1</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_50">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_4To7</name>
   <cpu_name>proc_link4To7</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
  <address_space id="id_51">
   <object_type>ADDRESS_SPACE_OBJECT_TYPE</object_type>
   <name>Address_Space_7To4</name>
   <cpu_name>proc_link7To4</cpu_name>
   <text_memory_size>1024</text_memory_size>
   <stack_memory_size>1024</stack_memory_size>
   <data_memory_size>1024</data_memory_size>
   <heap_memory_size>1024</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_partition>DEVICE</mils_partition>
   <mils_compliant>TRUE</mils_compliant>
  </address_space>
 </address_spaces>
 <tasks>
  <periodic_task id="id_8">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>TMTC_Manager</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>Processor1</cpu_name>
   <address_space_name>Address_Space_1</address_space_name>
   <capacity>38</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>40</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>TRUE</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>40</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_9">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>Monitoring</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>Processor1</cpu_name>
   <address_space_name>Address_Space_1</address_space_name>
   <capacity>38</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>40</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>TRUE</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>40</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_10">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>GUI</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>Processor1</cpu_name>
   <address_space_name>Address_Space_1</address_space_name>
   <capacity>38</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>40</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>TRUE</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>40</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_11">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>Guard</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>Processor1</cpu_name>
   <address_space_name>Address_Space_1</address_space_name>
   <capacity>38</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>40</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>TRUE</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>40</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_12">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>Mode_Automaton</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>Processor1</cpu_name>
   <address_space_name>Address_Space_1</address_space_name>
   <capacity>38</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>40</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>TRUE</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>40</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_13">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>PayloadInterface1</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>Processor1</cpu_name>
   <address_space_name>Address_Space_1</address_space_name>
   <capacity>38</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>40</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>TRUE</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>40</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_14">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>PayloadInterface2</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>Processor1</cpu_name>
   <address_space_name>Address_Space_1</address_space_name>
   <capacity>38</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>40</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>TRUE</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>40</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_15">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>RMAP_Proxy</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>Processor1</cpu_name>
   <address_space_name>Address_Space_1</address_space_name>
   <capacity>38</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>40</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>TRUE</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>40</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_16">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>PayloadDriver1</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>Processor2</cpu_name>
   <address_space_name>Address_Space_2</address_space_name>
   <capacity>38</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>40</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>TRUE</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>40</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_17">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>PayloadDriver2</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>Processor2</cpu_name>
   <address_space_name>Address_Space_2</address_space_name>
   <capacity>38</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>40</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>TRUE</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>40</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
  <periodic_task id="id_52">
   <object_type>TASK_OBJECT_TYPE</object_type>
   <name>Task_flow11:1</name>
   <task_type>PERIODIC_TYPE</task_type>
   <cpu_name>proc_link1To3</cpu_name>
   <address_space_name>Address_Space_1To3</address_space_name>
   <capacity>2</capacity>
   <energy_consumption>0</energy_consumption>
   <deadline>40</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>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
   <mils_component>SLS</mils_component>
   <mils_task>APPLICATION</mils_task>
   <mils_compliant>TRUE</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>40</period>
   <jitter>0</jitter>
   <every>0</every>
  </periodic_task>
 </tasks>
 <messages>
  <aperiodic_message id="id_18">
   <object_type>MESSAGE_OBJECT_TYPE</object_type>
   <name>Message1</name>
   <message_type>APERIODIC_TYPE</message_type>
   <preemptive_type>PREEMPTIVE</preemptive_type>
   <deadline>0</deadline>
   <size>1</size>
   <response_time>0</response_time>
   <communication_time>1</communication_time>
   <mils_confidentiality_level>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
  </aperiodic_message>
  <aperiodic_message id="id_53">
   <object_type>MESSAGE_OBJECT_TYPE</object_type>
   <name>Message_of_flow1:1from_source</name>
   <message_type>APERIODIC_TYPE</message_type>
   <preemptive_type>PREEMPTIVE</preemptive_type>
   <deadline>0</deadline>
   <size>0</size>
   <response_time>0</response_time>
   <communication_time>0</communication_time>
   <mils_confidentiality_level>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
  </aperiodic_message>
  <aperiodic_message id="id_54">
   <object_type>MESSAGE_OBJECT_TYPE</object_type>
   <name>Message_of_flow1:1To_Destination</name>
   <message_type>APERIODIC_TYPE</message_type>
   <preemptive_type>PREEMPTIVE</preemptive_type>
   <deadline>0</deadline>
   <size>0</size>
   <response_time>0</response_time>
   <communication_time>0</communication_time>
   <mils_confidentiality_level>TOP_SECRET</mils_confidentiality_level>
   <mils_integrity_level>HIGH</mils_integrity_level>
  </aperiodic_message>
 </messages>
 <dependencies>
  <dependency>
   <type_of_dependency>ASYNCHRONOUS_COMMUNICATION_DEPENDENCY</type_of_dependency>
   <asynchronous_communication_dependent_task ref="id_15">
   </asynchronous_communication_dependent_task>
   <asynchronous_communication_orientation>FROM_TASK_TO_OBJECT</asynchronous_communication_orientation>
   <asynchronous_communication_dependency_object ref="id_18">
   </asynchronous_communication_dependency_object>
   <asynchronous_communication_protocol_property>ALL_MESSAGES</asynchronous_communication_protocol_property>
  </dependency>
  <dependency>
   <type_of_dependency>ASYNCHRONOUS_COMMUNICATION_DEPENDENCY</type_of_dependency>
   <asynchronous_communication_dependent_task ref="id_16">
   </asynchronous_communication_dependent_task>
   <asynchronous_communication_orientation>FROM_OBJECT_TO_TASK</asynchronous_communication_orientation>
   <asynchronous_communication_dependency_object ref="id_18">
   </asynchronous_communication_dependency_object>
   <asynchronous_communication_protocol_property>ALL_MESSAGES</asynchronous_communication_protocol_property>
  </dependency>
  <dependency>
   <type_of_dependency>ASYNCHRONOUS_COMMUNICATION_DEPENDENCY</type_of_dependency>
   <asynchronous_communication_dependent_task ref="id_15">
   </asynchronous_communication_dependent_task>
   <asynchronous_communication_orientation>FROM_TASK_TO_OBJECT</asynchronous_communication_orientation>
   <asynchronous_communication_dependency_object ref="id_53">
   </asynchronous_communication_dependency_object>
   <asynchronous_communication_protocol_property>ALL_MESSAGES</asynchronous_communication_protocol_property>
  </dependency>
  <dependency>
   <type_of_dependency>ASYNCHRONOUS_COMMUNICATION_DEPENDENCY</type_of_dependency>
   <asynchronous_communication_dependent_task ref="id_52">
   </asynchronous_communication_dependent_task>
   <asynchronous_communication_orientation>FROM_OBJECT_TO_TASK</asynchronous_communication_orientation>
   <asynchronous_communication_dependency_object ref="id_53">
   </asynchronous_communication_dependency_object>
   <asynchronous_communication_protocol_property>ALL_MESSAGES</asynchronous_communication_protocol_property>
  </dependency>
  <dependency>
   <type_of_dependency>ASYNCHRONOUS_COMMUNICATION_DEPENDENCY</type_of_dependency>
   <asynchronous_communication_dependent_task ref="id_52">
   </asynchronous_communication_dependent_task>
   <asynchronous_communication_orientation>FROM_TASK_TO_OBJECT</asynchronous_communication_orientation>
   <asynchronous_communication_dependency_object ref="id_54">
   </asynchronous_communication_dependency_object>
   <asynchronous_communication_protocol_property>ALL_MESSAGES</asynchronous_communication_protocol_property>
  </dependency>
  <dependency>
   <type_of_dependency>ASYNCHRONOUS_COMMUNICATION_DEPENDENCY</type_of_dependency>
   <asynchronous_communication_dependent_task ref="id_16">
   </asynchronous_communication_dependent_task>
   <asynchronous_communication_orientation>FROM_OBJECT_TO_TASK</asynchronous_communication_orientation>
   <asynchronous_communication_dependency_object ref="id_54">
   </asynchronous_communication_dependency_object>
   <asynchronous_communication_protocol_property>ALL_MESSAGES</asynchronous_communication_protocol_property>
  </dependency>
 </dependencies>
</cheddar>