|
K-FSW ec10f94
Modular flight software on Zephyr, for small satellites
|
#include <health.h>
Public Attributes | |
| char | name [KFSW_HEALTH_NAME_SIZE] |
| uint32_t | deadline_ms |
| uint32_t | since_report_ms |
| uint32_t | reports |
| bool | overdue |
One watched component.
| uint32_t kfsw_health_component::deadline_ms |
How long this component may go without reporting.
| bool kfsw_health_component::overdue |
True when it has missed its deadline.
| uint32_t kfsw_health_component::reports |
Reports received since registration; saturates.
| uint32_t kfsw_health_component::since_report_ms |
Milliseconds since it last reported.