Programme de défense — Benchmark MTTD
Mean Time To Decision
AETZU ARROW AI™
69 fonctions · 16 modules · L4→L20 couches morphiques
TCB · RF SENTINEL · MINE AI™ v4.1 · ANTI-MINE AI™ v4.1 · ARM64 · clang -O1 · N=1 000 · batch=10 000
EAL7 candidat
Moving Target Defence
AVA_VAN.5 · 12/12 NON EXPLOIT
France Deeptech
Systematic Paris-Région
SAFE Cluster
1,54 ns
TCB mean · M00·M02·M10
28,47 ns
RF SENTINEL · 8 détecteurs
01
Résultats — Tableau MTTD complet
Tableau des 69 fonctions benchmarkées
N=1 000 échantillons × batch=10 000 appels · CLOCK_MONOTONIC_RAW · barrières mémoire · noinline · sink volatile anti-optimisation. v2.1 : +RF SENTINEL +M00 étendu +MINE/ANTI-MINE v4.1.
| Module — Fonction | mean (ns) | p50 | p99 | Couche |
|---|
(*) M24 — mesure live certifiable : halt_path() = 4,6 ns · m24_process() = 15,2 ns. (**) MINE/ANTI-MINE v4.1 — API 5 arguments · logique étendue vs v1.
02
Couches morphiques L4 → L20
Heatmap L4 → L20
17 couches individuelles. Vert ≤ 5 ns · Ambre 5–14 ns · Rouge ≥ 15 ns. L15 seul goulot (19,1 ns). 15/17 couches ≤ 5,0 ns.
03
Analyse compétitive — 12 systèmes mondiaux
12 systèmes comparés
Seul système mondial combinant EAL7, MTD L4→L20, vérification formelle TCB + applicatif, renseignement menace embarqué (CCE/CTI), RF SENTINEL anti-spoofing et contre-mesures défensives adaptatives (MINE AI™ · ANTI-MINE AI™).
04
Ratios de performance — Lecture opérationnelle
Pendant une décision concurrente, AETZU ARROW AI™ en prend…
Nombre de décisions TCB exécutées pendant le délai de traitement d’une décision concurrente.
En déploiement isolation seL4 complète : ≈ 202 ns · rapport maintenu ×2,5 vs INTEGRITY · ×30 vs VxWorks.
05
Méthodologie et environnement de mesure
Environnement certifiable
Référence CFVL-BENCH-MTTD-002 v2.1 · evidence-grade AVA_VAN.5 EAL7. Toutes mesures reproductibles et tracées.
▣
Plateforme
ARM64 macOS · Apple Silicon · clang -O1 · hot cache
~0,33 ns / cycle
⊕
Timer
CLOCK_MONOTONIC_RAW · résolution nanotick · zéro overhead syscall
Hardware monotonic counter
⊗
Isolation
__asm__ volatile barrier · __noinline · sink volatile anti-DCE
sink = 200 002 881 163 780
∑
Statistiques
N=1 000 · batch=10 000 · mean · p50 · p95 · p99 · min · max
10M appels / fonction
◈
Certification
CFVL-BENCH-MTTD-002 v2.1 · AVA_VAN.5 EAL7 · CFVL-AVA-VAN-001 v1.5
Score CEM 156/57 brut
⬡
Vérification formelle
CBMC 5 177+ · Isabelle/HOL 901 lemmes · Coq 840 · Frama-C/WP · 0 sorry
326+ Mds inputs · 0 crash
$ clang -O1 -o mttd_v2 mttd_bench_extended.c && ./mttd_bench_extended
M00 m00_record_measurement() │ 0,99 ns │ 1 │ 1 [TCB]
M02 blp_can_read() │ 0,9 ns │ 1 │ 1 [TCB]
RF SENTINEL detect_anomaly() │ 28,47 ns │ 28 │ 46 [Hors-TCB]
MINE v4.1 mine_process() │ 42,90 ns │ 42 │ 66 [Hors-TCB]
ANTI-MINE v4.1 antimine_proc() │ 189,00 ns │185 │293 [Hors-TCB]
✅ sink=200002881163780 0 crash 326+ Mds fuzzing