CORE_OBJECT_TYPE c POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL 0 PREEMPTIVE 0 0 0 0 1 0 0 I386 PROCESSOR_OBJECT_TYPE r-icu MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE osp1 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE osp2 MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE bat MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE obc MONOCORE_TYPE NO_MIGRATION_TYPE PROCESSOR_OBJECT_TYPE ground MONOCORE_TYPE NO_MIGRATION_TYPE 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 NETWORK_OBJECT_TYPE spacewire1 BOUNDED_DELAY SPACEWIRE 9 1 3 3 XY dummy1 0 0 obc 0 1 dummy2 0 2 bat 1 0 r-icu 1 1 osp1 1 2 dummy3 2 0 osp2 2 1 dummy4 2 2 ADDRESS_SPACE_OBJECT_TYPE ea_ricu r-icu 0 0 0 0 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE ea_osp1 osp1 0 0 0 0 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE ea_bat bat 0 0 0 0 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE ea_osp2 osp2 0 0 0 0 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE ea_obc obc 0 0 0 0 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE ADDRESS_SPACE_OBJECT_TYPE ea_ground ground 0 0 0 0 NO_SCHEDULING_PROTOCOL 0 PREEMPTIVE 0 0 0 0 TOP_SECRET HIGH SLS DEVICE TRUE TASK_OBJECT_TYPE bat.bat_r_icu_bat_ack PERIODIC_TYPE bat ea_bat 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE bat.battery_control_bat_tc PERIODIC_TYPE bat ea_bat 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE bat.battery_control_trigger PERIODIC_TYPE bat ea_bat 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE obc.pus_services_tm PERIODIC_TYPE obc ea_obc 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE ground_ground_tm PERIODIC_TYPE ground ea_ground 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE obc.bat_module_bat_tm PERIODIC_TYPE obc ea_obc 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE obc.mode_automaton_target PERIODIC_TYPE obc ea_obc 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE obc.osp1_module_osp1_tm PERIODIC_TYPE obc ea_obc 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE obc.osp2_module_osp2_tm PERIODIC_TYPE obc ea_obc 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE obc.pus_services_tc PERIODIC_TYPE obc ea_obc 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE obc.spacewire_control_ack PERIODIC_TYPE obc ea_obc 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE osp1.osp1_r_icu_osp1_ack PERIODIC_TYPE osp1 ea_osp1 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE osp1.osp1_zed_controller_osp1_tc PERIODIC_TYPE osp1 ea_osp1 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE osp1.osp1_zed_controller_trigger PERIODIC_TYPE osp1 ea_osp1 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE osp2.osp2_r_icu_osp2_ack PERIODIC_TYPE osp2 ea_osp2 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE osp2.osp2_zed_controller_osp2_tc PERIODIC_TYPE osp2 ea_osp2 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE osp2.osp2_zed_controller_trigger PERIODIC_TYPE osp2 ea_osp2 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE r_icu.payload_control_bat_req PERIODIC_TYPE r-icu ea_ricu 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE r_icu.payload_control_osp1_req PERIODIC_TYPE r-icu ea_ricu 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE r_icu.payload_control_osp2_req PERIODIC_TYPE r-icu ea_ricu 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE r_icu.spacewire_router_req PERIODIC_TYPE r-icu ea_ricu 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE obc.bat_module_bat_tc PERIODIC_TYPE obc ea_obc 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE obc.osp1_module_osp1_tc PERIODIC_TYPE obc ea_obc 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE obc.osp2_module_osp2_tc PERIODIC_TYPE obc ea_obc 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE bat.battery_control_bat_tm PERIODIC_TYPE bat ea_bat 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE osp2.osp2_zed_controller_osp2_tm PERIODIC_TYPE osp2 ea_osp2 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE ground_ground_tc PERIODIC_TYPE ground ea_ground 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 TASK_OBJECT_TYPE osp1.osp1_zed_controller_osp1_tm PERIODIC_TYPE osp1 ea_osp1 2 0 10 0 1 0 SCHED_FIFO 0 0 0 0 0 FALSE TOP_SECRET HIGH SLS APPLICATION TRUE 0 0 0 10 0 0 MESSAGE_OBJECT_TYPE ricu_m1 PERIODIC_TYPE PREEMPTIVE 10 1 0 0 TOP_SECRET HIGH 10 0 MESSAGE_OBJECT_TYPE ricu_m2 PERIODIC_TYPE PREEMPTIVE 10 1 0 0 TOP_SECRET HIGH 10 0 MESSAGE_OBJECT_TYPE ricu_m3 PERIODIC_TYPE PREEMPTIVE 10 1 0 0 TOP_SECRET HIGH 10 0 MESSAGE_OBJECT_TYPE ricu_m4 PERIODIC_TYPE PREEMPTIVE 10 1 0 0 TOP_SECRET HIGH 10 0 MESSAGE_OBJECT_TYPE ricu_m5 PERIODIC_TYPE PREEMPTIVE 10 1 0 0 TOP_SECRET HIGH 10 0 MESSAGE_OBJECT_TYPE ricu_m6 PERIODIC_TYPE PREEMPTIVE 10 1 0 0 TOP_SECRET HIGH 10 0 PRECEDENCE_DEPENDENCY PRECEDENCE_DEPENDENCY PRECEDENCE_DEPENDENCY PRECEDENCE_DEPENDENCY PRECEDENCE_DEPENDENCY PRECEDENCE_DEPENDENCY 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_OBJECT_TO_TASK 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_TASK_TO_OBJECT FIRST_MESSAGE