|
Safe API Framework 0.1.0 build 384e6ae
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
|
EAST Site - Process B (Vital Channel B - CPU1 / Standby). More...
#include <stdio.h>#include <stdlib.h>#include <string.h>#include <stdint.h>#include <unistd.h>#include <time.h>Go to the source code of this file.
Data Structures | |
| struct | train_command_t |
| struct | shared_state_t |
Macros | |
| #define | TRAIN_COUNT (sizeof(trains) / sizeof(trains[0])) |
Functions | |
| __attribute__ ((aligned(64))) | |
| static uint32_t | crc32_checksum (const uint8_t *data, uint32_t len) |
| static train_command_t | compute_train_command (uint32_t train_id, uint32_t position) |
| int | main (int argc, char *argv[]) |
Variables | |
| train_db_entry_t | |
| static train_db_entry_t | trains [] |
EAST Site - Process B (Vital Channel B - CPU1 / Standby).
Verification channel for ERTMS RBC East. Mirrors WEST Process B, ready to verify commands if promoted to ONLINE.
Definition in file process_b.c.
| #define TRAIN_COUNT (sizeof(trains) / sizeof(trains[0])) |
Definition at line 53 of file process_b.c.
| __attribute__ | ( | (aligned(64)) | ) |
Definition at line 39 of file process_b.c.
|
static |
Definition at line 55 of file process_b.c.
|
static |
Definition at line 65 of file process_b.c.
| int main | ( | int | argc, |
| char * | argv[] ) |
Definition at line 95 of file process_b.c.
| train_db_entry_t |
Definition at line 45 of file process_b.c.
|
static |
Definition at line 47 of file process_b.c.