|
Safe API Framework 0.1.0 build 384e6ae
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
|
#include <rte_redundancy_config.h>
Data Fields | |
| rte_redundancy_topology_t | topology |
| uint32_t | replica_count |
| uint32_t | quorum_size |
| rte_standby_mode_t | standby_mode |
| uint32_t | role_count |
| char | roles [RTE_REDUNDANCY_CONFIG_MAX_REPLICAS][RTE_REDUNDANCY_CONFIG_MAX_ROLE_NAME_LEN] |
| uint32_t | channel_count |
| rte_channel_def_t | channels [RTE_CHANNEL_CONFIG_MAX_CHANNELS] |
Resolved redundancy configuration for one Functional Actor deployment.
Definition at line 164 of file rte_redundancy_config.h.
| rte_redundancy_topology_t rte_redundancy_config_t::topology |
Selected topology.
Definition at line 166 of file rte_redundancy_config.h.
| uint32_t rte_redundancy_config_t::replica_count |
Number of replicas (channels) the integrator is expected to register.
Definition at line 168 of file rte_redundancy_config.h.
| uint32_t rte_redundancy_config_t::quorum_size |
Quorum size to pass into rte_voter_config_t::quorum_size.
Definition at line 170 of file rte_redundancy_config.h.
| rte_standby_mode_t rte_redundancy_config_t::standby_mode |
Standby cadence policy. Defaults to RTE_STANDBY_MODE_COLD when "standby_mode" is absent from the file (matches today's only actually-implemented behavior - see the enum's own doc).
Definition at line 174 of file rte_redundancy_config.h.
| uint32_t rte_redundancy_config_t::role_count |
Number of entries populated in roles[] below (0 if "roles" was absent from the file - role naming is optional, purely diagnostic).
Definition at line 177 of file rte_redundancy_config.h.
| char rte_redundancy_config_t::roles[RTE_REDUNDANCY_CONFIG_MAX_REPLICAS][RTE_REDUNDANCY_CONFIG_MAX_ROLE_NAME_LEN] |
Optional per-replica role labels (e.g. "A", "B", "C"), diagnostic only - not consumed by rte_voter itself.
Definition at line 180 of file rte_redundancy_config.h.
| uint32_t rte_redundancy_config_t::channel_count |
Number of entries populated in channels[] below.
Definition at line 182 of file rte_redundancy_config.h.
| rte_channel_def_t rte_redundancy_config_t::channels[RTE_CHANNEL_CONFIG_MAX_CHANNELS] |
Resolved channel definitions from configuration.
Definition at line 184 of file rte_redundancy_config.h.