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