|
Safe API Framework 0.1.0 build 384e6ae
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
|
Files | |
| rte_dual_channel.h | |
| "DualChannel" layer of ADR-020: wraps 1..N redundant rte_dual_msgchannel_t links for fault-tolerant, always-send + bounded-ACK-wait delivery. | |
| rte_dual_frames.h | |
| Layer-2 (DualChannel-owned) frame kind/header definitions for ADR-020 - shared between rte_dual_channel.h and rte_dual_negotiator.h so both can refer to the same wire structs without either depending on the other (rte_dual_channel_t has no knowledge of rte_dual_negotiator_t at all; the negotiator is the one-directional dependent - see ADR-020 section 3 and this module's own README note on ownership direction). | |
| rte_dual_msgchannel.h | |
| "Channel" layer of ADR-020: one EN 50159-defended message channel over one already-open rte_netlink_handle_t. | |
| rte_dual_negotiator.h | |
| Dual state negotiator of ADR-020: decides rte_dual_state_t for both this instance and its peer, driven over an attached rte_dual_channel_t's STATE-frame flow. | |
| rte_dual_types.h | |
| Shared enums for the rte_dual module (ADR-020): dual-instance state negotiation and the redundant, EN 50159-defended messaging channel it can run over. | |