Safe API Framework 0.1.0 build 384e6ae
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
Loading...
Searching...
No Matches
rte_osadapter_fsou.h
Go to the documentation of this file.
1
11#ifndef RTE_OSADAPTER_FSOU_H
12#define RTE_OSADAPTER_FSOU_H
13
14#include <stdint.h>
18
19#ifdef __cplusplus
20extern "C" {
21#endif
22
30typedef struct rte_osadapter_fsou_s
31{
33 rte_status_t (*grant)(uint32_t cycle_id);
37
48
49#ifdef __cplusplus
50}
51#endif
52
53#endif /* RTE_OSADAPTER_FSOU_H */
uint16_t rte_safestate_reason_t
Diagnostic reason code accompanying a safe-state transition.
rte_status_t
Common result/status codes.
Definition rte_status.h:27
Fail-Safe Output Unit (FSOU) output permission, optional OSAdapter seam (ADR-041, proposed).
rte_status_t rte_osadapter_fsou_register(const rte_osadapter_fsou_t *adapter)
Registers the OSAdapter FSOU implementation (REQ-FSOU-001).
Definition rte_fsou.c:29
Safe-state transitions and checked assertions (ADR-004).
Common status/error codes returned by every Safe API Framework function. Shared across all OS Abstrac...
OSAdapter FSOU operations vtable.
rte_status_t(*) grant(uint32_t cycle_id)
rte_status_t(*) revoke(rte_safestate_reason_t reason)