// Deterministic Data Fabric

When the tail latency
is the mission.

Space-RF builds low-jitter databases and messaging for the hardest real-time envelopes — from fanless single-board computers on a mast to DPDK/SPDK line-rate servers in a hardened rack. Kernel-bypass where it matters. Hard bounds where it counts.

Online · SR-DB v3.4 ITAR-aware build pipeline Formally verified core
// Positioning Not for everyone. If TSN, PREEMPT_RT, and p99.99 aren't in your daily vocabulary — you don't need us. If they are, you already know why a "sub-millisecond" quote isn't a spec.
// Products

Three modules. One determinism budget.

Each ships with formally-modeled invariants, PREEMPT_RT tuning presets, and per-core latency reports. No mystery meat, no "best effort."

SR-DB · v3.4

Deterministic Embedded Database

In-process, append-structured store with bounded WAL flush, lock-free readers, and a scheduler-aware commit path. From a 512 MB CM5 node to a NUMA-pinned SPDK box — the same API, the same invariants.

p99 write (1KB, SBC)
9.4 μs
p99 write (1KB, SPDK)
1.1 μs
Worst-case jitter
< 25 μs
GC / STW pauses
NONE
Memory footprint
48 MB min
Footprint on disk
4.2 MB static
SR-MQ · v2.1

Low-Jitter Messaging Fabric

Zero-copy pub/sub with pluggable transports — shared memory, DPDK userspace, kernel bypass over 25/100G, or HF/UHF radio on constrained links. Deadline-aware delivery, not just "eventually."

p50 end-to-end (DPDK)
780 ns
p99 end-to-end (DPDK)
2.3 μs
Throughput (single core)
14.2 M msg/s
Delivery guarantees
Exactly-once / Deadline
Transport
SHM · DPDK · RDMA · HF
Timing
TSN 802.1Qbv · 802.1AS PTP
Security
AES-256-GCM · Ed25519
SR-HTAP · v1.0

Vectorized HTAP Engine

Rack-class OLTP + OLAP on a single engine — when the mission log has to answer both "commit this event now" and "scan the last six hours" on the same data. Kernel-bypass end to end: SPDK for NVMe, DPDK for ingest, no syscalls on the hot path. Extends DB25 research — SIMD-vectorized SQL, lock-free readers, zero-copy execution.

OLTP p99 commit
1.1 μs
OLAP scan (per core)
14 GB/s
SQL parse · AVX-512
10× baseline
Storage path
SPDK · NVMe-oF · PMDK
Ingest path
DPDK · RDMA · io_uring
Concurrency
MVCC · lock-free
// Deployment Envelope

Same binary surface. Three hardware classes.

We compile for your actual rig — not a datacenter abstraction. Pick the envelope; the invariants travel with it.

Edge · SBC
Class I — Fanless, MIL-ready
  • Reference NXP i.MX 8M · i.MX 95 · Layerscape
  • Cores / RAM 4–8 · 4–32 GB
  • Storage eMMC · NVMe M.2
  • Power envelope 5–18 W
  • Kernel PREEMPT_RT 6.x
  • Use USV · UAV · Mast
Rack · DPDK
Class II — Line-rate userspace
  • NICs Mellanox CX-6/7 · Intel E810
  • Ports 25G · 100G · 200G
  • CPU pinning Isolated · SMT-off
  • Poll mode DPDK 24.x · XDP fallback
  • Memory 2 MB / 1 GB hugepages
  • Use TCN · Gateway · Aggregator
Storage · SPDK
Class III — NVMe userspace
  • Backends NVMe-oF · PMDK · Optane
  • I/O path Polled · IRQ-free
  • Replication Raft · sync / async
  • Tiering DRAM → PMEM → NVMe
  • Crash safety Formal WAL model
  • Use Mission log · Evidence bus
// Measured, not marketed

Numbers from a reference rig we will ship to your lab.

Every figure below comes with the perf script that produced it, the kernel config, and the hardware SKU. No asterisks.

780ns
SR-MQ · p50 end-to-end
DPDK · 100 G · single-core
1.1μs
SR-DB · p99 commit
SPDK · Optane P5800X · 1 KB
< 25μs
Worst-case jitter bound
24 h soak · PREEMPT_RT
0
GC pauses · allocations
Hot path · static pool
// Assurance Posture

Defense-grade is a process, not a sticker.

We build as if every commit is landing on a ship, a drone, or a vehicle that cannot be patched for six months. Because most of them are.

  • Formal models first. TLA+ · Alloy

    Core protocols — consensus, WAL, slot scheduling — are machine-checked before a line of C ships.

  • Hard real-time budgets. WCET-bounded

    Every hot path has a documented worst-case execution time. Regressions break CI.

  • Reproducible builds. SBOM · bit-identical

    Same commit → same bytes. Audit trail from source to flash.

  • Classified-ready crypto. Suite B compatible

    AES-256-GCM, Ed25519, X25519. Key-wrapping hooks for HSM and TPM 2.0.

// Compliance Envelope

DO-178CDesign assurance aligned
MIL-STD-810HEnvironmental tested
FIPS 140-3Crypto module path
ITAR / EARControlled-build pipeline
CMMC L2Supply chain posture
NIST 800-53Control mapping on request

// Specific certifications vary by integrator and program of record.
// Evidence packages furnished under NDA.

// Provenance

Built in the field. Not in a conference room.

Space-RF was founded by Chiradip Mandal after leaving Apple, and built alongside the systems it now powers — satellite ground stations, autonomous surface vessels, and mil-grade maritime HF networks. Every spec on this page was earned on customer hardware, under deadlines that did not move.

// Satellite Ground // Autonomous Vessels // Maritime HF // Field-Hardened // Early-Customer Proven
// Fit

Some Most systems don't need this.
Yours does, or you already know it does.

If a dropped packet, a 50 ms GC pause, or a schedulable drift of a microsecond changes the outcome of a mission — we should talk. If not, we are probably not the right tool.

Start an Evaluation
// Request Access

Tell us about the envelope.

We do not publish pricing and we do not run a free tier. Evaluations are scoped against your actual workload, on your actual hardware, under NDA. Expect a human reply within two business days.

// Dual-use export controls apply.
// U.S. Persons eligibility verified per engagement.
// Primary contact: chiradip@chiradip.com

Do not include classified, CUI, or export-controlled technical data here. Rates, deadlines, and general envelope only. Details under NDA.