24 real-world railway safety constraints from FLUX R&D Swarm. Domain-specific constraint definitions for the GUARD constraint enforcement DSL.
- 24 validated constraints — speed, braking, position, electrical, mechanical, and environmental limits
- FLUX-compatible syntax —
constraint name { min, max, update_rate }format - Real-world parameters — derived from actual railway engineering standards
- Update frequency specs — each constraint declares its monitoring frequency (0.01Hz to 100Hz)
| Category | Constraints | Update Rate |
|---|---|---|
| Speed & Motion | train_speed_max, train_speed_current | 100Hz |
| Braking | braking_decel, braking_distance, brake_cyl_pressure, atp_brake_demand | 50-100Hz |
| Position | distance_danger, position_uncertainty, route_consistency | 5-50Hz |
| Track | track_gradient, cant_deficiency, active_tilt | 1-50Hz |
| Electrical | catenary_voltage, traction_current, pantograph_force | 100Hz |
| Thermal | traction_motor_temp, axle_bearing_temp | 1Hz |
| Mechanical | wheel_diameter, axle_load_bogie1 | 0.01-1Hz |
| Safety Systems | signal_aspect, door_closed_locked, psd_alignment | 5-25Hz |
| Environment | cabin_pressure_tunnel, radio_rssi | 1-10Hz |
# In your GUARD constraint file
include "railway.guard"
# Now all 24 constraints are available for enforcement
constraint my_custom_speed {
min: 0 km/h,
max: 200 km/h, # Reduced from 320 for urban operation
update: 100Hz
}
Part of the FLUX safety system for constraint-aware agent execution. These constraints feed into:
- guard-dsl — The DSL compiler that enforces these constraints
- guard2mask — Converts constraints to GPU-executable safety masks
- cocapn-cli — FLUX terminal formatting
- forgemaster — Constraint-aware compilation
Include directly in your GUARD project:
git submodule add https://github.com/SuperInstance/guard-constraints.git constraints/railwayMIT license.