Attack Scenarios (multi-select)
Controls
Speed
5×
Platform
Compute: Jetson AGX Orin + Zynq ZU7EV
Sensors: ARS540·OS1-64·GMSL2·ZED-F9R·SMI230·C-V2X
Auth: A3≥.80 A2≥.50 A1≥.15 A0<.15
Relay: 3-leg AND → KILOVAC LEV200 N/O (25ms)
Latency: CAN 2ms · ETH 0.5ms · Proc 5ms · HSM 4.2ms
MAIVA: 2-of-3 Byzantine consensus
Pipeline: SENSORS→ADARA→SATA→IFF→HMAA→MAIVA→FLAME→CARA→BDA→EFFECTOR
Patents & Frameworks
HMAA 63/999,105 · CARA 64/000,170
SATA 64/002,453 · FLAME 64/005,607
Frameworks: SATA · HMAA · CARA · FLAME · MAIVA · ADARA · ERAM
Campaign Results
Runs0
Unsafe0
↓ Lat μ±σ—
↑ Rec μ±σ—
Percentiles—
Crashes0
Env Viol0
T_fused
0.90
Auth
A3
FLAME
—
CARA
NOM
Relay
●
MPH
65
TTC
99s
Stop(m)
0
Brake
100
MAIVA
3/3
Unsafe
0
Authority Level
A3
FULL AUTONOMY
KILOVAC LEV200
CLOSED — DBW ACTIVE
Watchdog Timers
Zynq GPIO
OK 0ms
Zynq WD
OK 0ms
Jetson WD
OK 0ms
Fail-Safe Legs
Leg 1
HIGH
Leg 2
HIGH
Leg 3
HIGH
MAIVA Consensus
2-of-3 OK · No Byzantine faults
CARA GREP
G
R
E
P
Safety Envelope
A0→Stop ≤ 3s✓
Relay ≤ 50ms✓
DS Conflict < 0.9✓
Hash Valid✓
Unsafe Acts = 0✓
Lateral ≤ limit✓
Decel ≤ 25mph/s✓
TTC > 3s✓
Formal Properties
Inv1: T<.15→A0✓
Inv2: A0→relay open✓
Inv3: GREP exclusive✓
Inv4: ↓ in 1 tick✓
Inv5: ↑ sustain req✓
S1: no A0→A3 jump✓
S2: DBW off A0/A1✓
S3: FLAME osc guard✓
Sensors
Hash Chain
—
Event Log