CORE_OBJECT_TYPE root.bat_x86_linux.core POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL 0 PREEMPTIVE 0 0 0 0 1 0 0 I386 CORE_OBJECT_TYPE root.ground_x86_linux.core POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL 0 PREEMPTIVE 0 0 0 0 1 0 0 I386 CORE_OBJECT_TYPE root.obc_x86_linux.core POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL 0 PREEMPTIVE 0 0 0 0 1 0 0 I386 CORE_OBJECT_TYPE root.r_icu_x86_linux.core POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL 0 PREEMPTIVE 0 0 0 0 1 0 0 I386 CORE_OBJECT_TYPE root.ground_to_obc.core POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL 0 NOT_PREEMPTIVE 0 0 0 0 1 0 0 I386 CORE_OBJECT_TYPE root.obc_r_icu.core POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL 0 NOT_PREEMPTIVE 0 0 0 0 1 0 0 I386 CORE_OBJECT_TYPE root.r_icu_bat.core POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL 0 NOT_PREEMPTIVE 0 0 0 0 1 0 0 I386 CORE_OBJECT_TYPE dummy_core POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL 0 PREEMPTIVE 0 0 0 0 1 0 0 I386 CORE_OBJECT_TYPE Core_Link DAG_HIGHEST_LEVEL_FIRST_ESTIMATED_TIMES_PROTOCOL 0 PREEMPTIVE 1 1 1 0 1 0 0 I386 PROCESSOR_OBJECT_TYPE dummy1 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE dummy2 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE dummy3 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE dummy4 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE root.bat_x86_linux MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE root.obc_x86_linux MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE root.r_icu_x86_linux MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link0To1 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link1To0 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link1To2 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link2To1 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link2To3 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link3To2 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link3To4 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link4To3 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link4To5 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link5To4 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link5To6 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link6To5 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link6To7 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link7To6 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link7To8 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link8To7 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link8To9 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link9To8 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link0To3 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link3To0 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link3To6 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link6To3 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link6To9 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link9To6 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link1To4 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link4To1 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link4To7 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link7To4 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link7To10 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link10To7 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link2To5 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link5To2 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link5To8 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link8To5 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link8To11 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE proc_link11To8 MONOCORE_TYPE NO_MIGRATION_TYPE ADDRESS_SPACE_OBJECT_TYPE root.bat_x86_linux.bat root.bat_x86_linux 0 0 0 0 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 UNCLASSIFIED LOW SLS DEVICE FALSE ADDRESS_SPACE_OBJECT_TYPE root.obc_x86_linux.obc root.obc_x86_linux 0 0 0 0 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 UNCLASSIFIED LOW SLS DEVICE FALSE ADDRESS_SPACE_OBJECT_TYPE root.r_icu_x86_linux.r_icu root.r_icu_x86_linux 0 0 0 0 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 UNCLASSIFIED LOW SLS DEVICE FALSE ADDRESS_SPACE_OBJECT_TYPE Address_Space_0To1 proc_link0To1 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_1To0 proc_link1To0 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_1To2 proc_link1To2 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_2To1 proc_link2To1 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_2To3 proc_link2To3 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_3To2 proc_link3To2 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_3To4 proc_link3To4 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_4To3 proc_link4To3 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_4To5 proc_link4To5 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_5To4 proc_link5To4 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_5To6 proc_link5To6 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_6To5 proc_link6To5 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_6To7 proc_link6To7 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_7To6 proc_link7To6 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_7To8 proc_link7To8 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_8To7 proc_link8To7 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_8To9 proc_link8To9 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_9To8 proc_link9To8 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_0To3 proc_link0To3 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_3To0 proc_link3To0 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_3To6 proc_link3To6 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_6To3 proc_link6To3 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_6To9 proc_link6To9 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_9To6 proc_link9To6 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_1To4 proc_link1To4 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_4To1 proc_link4To1 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_4To7 proc_link4To7 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_7To4 proc_link7To4 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_7To10 proc_link7To10 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_10To7 proc_link10To7 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_2To5 proc_link2To5 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_5To2 proc_link5To2 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_5To8 proc_link5To8 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_8To5 proc_link8To5 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_8To11 proc_link8To11 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE Address_Space_11To8 proc_link11To8 1024 1024 1024 1024 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE TASK_OBJECT_TYPE root.bat_x86_linux.bat.battery_controller_r_icu_bat_tc PERIODIC_TYPE root.bat_x86_linux root.bat_x86_linux.bat 3 0 50 0 2 0 SCHED_FIFO 0 0 0 0 50000 0 0 FALSE UNCLASSIFIED LOW SLS APPLICATION FALSE 0 0 0 50 0 0 TASK_OBJECT_TYPE root.bat_x86_linux.bat.battery_controller_trigger PERIODIC_TYPE root.bat_x86_linux root.bat_x86_linux.bat 5 0 50 0 1 0 SCHED_FIFO 0 0 0 0 50000 0 0 FALSE UNCLASSIFIED LOW SLS APPLICATION FALSE 0 0 0 50 0 0 TASK_OBJECT_TYPE root.obc_x86_linux.obc.bat_module_obc_bat_tm PERIODIC_TYPE root.obc_x86_linux root.obc_x86_linux.obc 1 0 50 0 3 0 SCHED_FIFO 0 0 0 0 50000 0 0 FALSE UNCLASSIFIED LOW SLS APPLICATION FALSE 0 0 0 50 0 0 TASK_OBJECT_TYPE root.obc_x86_linux.obc.mode_automaton_target PERIODIC_TYPE root.obc_x86_linux root.obc_x86_linux.obc 1 0 50 0 5 0 SCHED_FIFO 0 0 0 0 50000 0 0 FALSE UNCLASSIFIED LOW SLS APPLICATION FALSE 0 0 0 50 0 0 TASK_OBJECT_TYPE root.obc_x86_linux.obc.osp1_module_obc_osp1_tm PERIODIC_TYPE root.obc_x86_linux root.obc_x86_linux.obc 10 0 50 0 2 0 SCHED_FIFO 0 0 0 0 50000 0 0 FALSE UNCLASSIFIED LOW SLS APPLICATION FALSE 0 0 0 50 0 0 TASK_OBJECT_TYPE root.obc_x86_linux.obc.osp2_module_obc_osp2_tm PERIODIC_TYPE root.obc_x86_linux root.obc_x86_linux.obc 6 0 50 0 1 0 SCHED_FIFO 0 0 0 0 50000 0 0 FALSE UNCLASSIFIED LOW SLS APPLICATION FALSE 0 0 0 50 0 0 TASK_OBJECT_TYPE root.obc_x86_linux.obc.pus_services_tc PERIODIC_TYPE root.obc_x86_linux root.obc_x86_linux.obc 3 0 50 0 10 0 SCHED_FIFO 0 0 0 0 50000 0 0 FALSE UNCLASSIFIED LOW SLS APPLICATION FALSE 0 0 0 50 0 0 TASK_OBJECT_TYPE root.r_icu_x86_linux.r_icu.router_obc_bat_tc PERIODIC_TYPE root.r_icu_x86_linux root.r_icu_x86_linux.r_icu 3 0 50 0 6 0 SCHED_FIFO 0 0 0 0 50000 0 0 FALSE UNCLASSIFIED LOW SLS APPLICATION FALSE 0 0 0 50 0 0 TASK_OBJECT_TYPE root.r_icu_x86_linux.r_icu.router_obc_osp1_tc PERIODIC_TYPE root.r_icu_x86_linux root.r_icu_x86_linux.r_icu 3 0 50 0 5 0 SCHED_FIFO 0 0 0 0 50000 0 0 FALSE UNCLASSIFIED LOW SLS APPLICATION FALSE 0 0 0 50 0 0 TASK_OBJECT_TYPE root.r_icu_x86_linux.r_icu.router_obc_osp2_tc PERIODIC_TYPE root.r_icu_x86_linux root.r_icu_x86_linux.r_icu 3 0 50 0 4 0 SCHED_FIFO 0 0 0 0 50000 0 0 FALSE UNCLASSIFIED LOW SLS APPLICATION FALSE 0 0 0 50 0 0 TASK_OBJECT_TYPE root.r_icu_x86_linux.r_icu.router_r_icu_bat_tm PERIODIC_TYPE root.r_icu_x86_linux root.r_icu_x86_linux.r_icu 4 0 50 0 3 0 SCHED_FIFO 0 0 0 0 50000 0 0 FALSE UNCLASSIFIED LOW SLS APPLICATION FALSE 0 0 0 50 0 0 TASK_OBJECT_TYPE Task_flow11:1 PERIODIC_TYPE proc_link5To4 Address_Space_5To4 1 0 50 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 50 0 0 TASK_OBJECT_TYPE Task_flow21:1 PERIODIC_TYPE proc_link5To2 Address_Space_5To2 1 0 50 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 50 0 0 TASK_OBJECT_TYPE Task_flow31:1 PERIODIC_TYPE proc_link2To5 Address_Space_2To5 1 0 50 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 50 0 0 TASK_OBJECT_TYPE Task_flow41:1 PERIODIC_TYPE proc_link2To5 Address_Space_2To5 1 0 50 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 50 0 0 TASK_OBJECT_TYPE Task_flow51:1 PERIODIC_TYPE proc_link2To5 Address_Space_2To5 1 0 50 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 50 0 0 TASK_OBJECT_TYPE Task_flow61:1 PERIODIC_TYPE proc_link4To5 Address_Space_4To5 1 0 50 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 50 0 0 TASK_OBJECT_TYPE Task_flow71:1 PERIODIC_TYPE proc_link4To5 Address_Space_4To5 1 0 50 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 50 0 0 RESOURCE_OBJECT_TYPE root.bat_x86_linux.bat.battery_level 1 0

0

NO_PROTOCOL root.bat_x86_linux.bat.battery_controller_r_icu_bat_tc 1 3 root.bat_x86_linux.bat.battery_controller_trigger 5 5 root.bat_x86_linux root.bat_x86_linux.bat 0 AUTOMATIC_ASSIGNMENT RESOURCE_OBJECT_TYPE root.obc_x86_linux.obc.mode_automaton_current_mode 1 0

0

NO_PROTOCOL root.obc_x86_linux.obc.bat_module_obc_bat_tm 1 1 root.obc_x86_linux.obc.mode_automaton_target 1 1 root.obc_x86_linux.obc.osp1_module_obc_osp1_tm 1 10 root.obc_x86_linux.obc.osp2_module_obc_osp2_tm 1 6 root.obc_x86_linux.obc.pus_services_tc 1 3 root.obc_x86_linux root.obc_x86_linux.obc 0 AUTOMATIC_ASSIGNMENT MESSAGE_OBJECT_TYPE Message_of_flow1:1from_source APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow1:1To_Destination APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow2:1from_source APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow2:1To_Destination APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow3:1from_source APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow3:1To_Destination APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow4:1from_source APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow4:1To_Destination APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow5:1from_source APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow5:1To_Destination APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow6:1from_source APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow6:1To_Destination APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow7:1from_source APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH MESSAGE_OBJECT_TYPE Message_of_flow7:1To_Destination APERIODIC_TYPE PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_TASK_TO_OBJECT FIRST_MESSAGE ASYNCHRONOUS_COMMUNICATION_DEPENDENCY FROM_OBJECT_TO_TASK FIRST_MESSAGE