|
K-FSW ec10f94
Modular flight software on Zephyr, for small satellites
|
#include <gndwdt.h>
Public Attributes | |
| uint32_t | timeout_s |
| uint32_t | since_contact_s |
| uint32_t | remaining_s |
| uint32_t | contacts |
| uint32_t | expiries |
| uint16_t | last_node |
| bool | enabled |
| bool | running |
Ground watchdog state and counters.
| uint32_t kfsw_gndwdt_status::contacts |
Valid feeds since start; saturates.
| bool kfsw_gndwdt_status::enabled |
Whether expiry checks are enabled.
| uint32_t kfsw_gndwdt_status::expiries |
Times the timeout passed since start; saturates.
| uint16_t kfsw_gndwdt_status::last_node |
Source of the most recent valid feed, or zero.
| uint32_t kfsw_gndwdt_status::remaining_s |
Seconds left; zero if stopped, expired or waiting to reset.
| bool kfsw_gndwdt_status::running |
The service has been started.
| uint32_t kfsw_gndwdt_status::since_contact_s |
Seconds since the last valid feed or service start.
| uint32_t kfsw_gndwdt_status::timeout_s |
Maximum time between valid feeds, in seconds.