AI-Native Core and RAN
AI/ML applied across the CU, DU, RIC and 5G core: scheduling, beam management, spectrum sensing, anomaly detection, and closed-loop network optimization.
Provable Correctness via Formal Methods
Formal specification and machine-checked verification of critical Core and RAN functions, including protocol state machines, security procedures, and scheduling logic, on top of memory-safe implementations.
Open RAN Software
Open CU-CP, CU-UP and DU implementations built on open O-RAN and 3GPP interfaces, for tactical and commercial deployment.
Open Hardware Radio Platforms
FPGA-based open radio units and SDR platforms, performant enough for field use and affordable enough for research.
Lean, Low-SWaP Core
A compact 5G core focused on standard external interfaces rather than sprawling microservices, deployable from tactical edge nodes to the cloud.
Security and Zero Trust
Alignment with DoD Zero Trust Architecture (ZTA) and secure-by-design practices (OpenSSF), with verified code paths for security-critical functions.
Interoperability and Testing
Full-stack validation with COTS UEs, O-RUs, and emulation environments (e.g., Keysight DuSIM). Integration with O-RAN SC and commercial testbeds.
Advanced Feature R&D
Integrated sensing and communication (ISAC), Integrated Access and Backhaul (IAB), RedCap, URLLC, and mobility, aligned with ATIS and DoD 5G objectives.
Provably Correct Core and RAN – Formal methods applied to the critical functions of the Core and RAN, going beyond memory safety to machine-checked correctness.
AI Up and Down the Stack – Innovation at every layer, from FPGA and radio hardware through the RAN to the core and orchestration.
Defense-Aligned, Dual Use – Direct alignment with DoD Open RAN priorities (secure interoperability, modular testability, cyber resilience) with a clear path to commercial transition.
Open Source, Open Hardware, Open Interfaces – Committed to open development; contributors to public 5G and SDR projects and authors of reusable frameworks.
541511: Custom Computer Programming Services
541512: Computer Systems Design Services
517911: Telecommunications Resellers