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 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 NETWORK_OBJECT_TYPE spacewire1 BOUNDED_DELAY SPACEWIRE 9 1 3 3 XY dummy1 0 0 root.obc_x86_linux 0 1 dummy2 0 2 root.bat_x86_linux 1 0 root.r_icu_x86_linux 1 1 root.osp1_x86_linux 1 2 dummy3 2 0 root.osp2_x86_linux 2 1 dummy4 2 2 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 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 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 root.r_icu_x86_linux.r_icu.router_obc_bat_tc_to_root.bat_x86_linux.bat.battery_controller_r_icu_bat_tc PERIODIC_TYPE PREEMPTIVE 50 1 0 0 TOP_SECRET HIGH 50 0 MESSAGE_OBJECT_TYPE root.r_icu_x86_linux.r_icu.router_r_icu_bat_tm_to_root.obc_x86_linux.obc.bat_module_obc_bat_tm PERIODIC_TYPE PREEMPTIVE 50 1 0 0 TOP_SECRET HIGH 50 0 MESSAGE_OBJECT_TYPE root.obc_x86_linux.obc.pus_services_tc_to_root.r_icu_x86_linux.r_icu.router_obc_bat_tc PERIODIC_TYPE PREEMPTIVE 50 1 0 0 TOP_SECRET HIGH 50 0 MESSAGE_OBJECT_TYPE root.obc_x86_linux.obc.pus_services_tc_to_root.r_icu_x86_linux.r_icu.router_obc_osp1_tc PERIODIC_TYPE PREEMPTIVE 50 1 0 0 TOP_SECRET HIGH 50 0 MESSAGE_OBJECT_TYPE root.obc_x86_linux.obc.pus_services_tc_to_root.r_icu_x86_linux.r_icu.router_obc_osp2_tc PERIODIC_TYPE PREEMPTIVE 50 1 0 0 TOP_SECRET HIGH 50 0 MESSAGE_OBJECT_TYPE root.bat_x86_linux.bat.battery_controller_r_icu_bat_tc_to_root.r_icu_x86_linux.r_icu.router_r_icu_bat_tm PERIODIC_TYPE PREEMPTIVE 50 1 0 0 TOP_SECRET HIGH 50 0 MESSAGE_OBJECT_TYPE root.bat_x86_linux.bat.battery_controller_trigger_to_root.r_icu_x86_linux.r_icu.router_r_icu_bat_tm PERIODIC_TYPE PREEMPTIVE 50 1 0 0 TOP_SECRET HIGH 50 0 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