Products

Hardware-in-the-loop test-bench orchestration linking FPGA boards, RTOS targets, sensors, and actuators to the simulation stack for repeatable end-to-end validation.

Fault-injection platform for software, avionics, sensors, actuators, networks, and radiation models, with automatic capture of the observed response as verification evidence.

High-fidelity simulator for orbital dynamics, spacecraft, robots, sensors, actuators, and contact physics, used for software-in-the-loop and hardware-in-the-loop testing.

Requirements-to-test-to-evidence traceability platform that turns requirements into executable verification plans, results, coverage views, and exportable evidence.

3D reconstruction and mapping from stereo, monocular cameras, and LiDAR, prioritizing calibration, registration, and uncertainty for navigation and manipulation consumers.

High-accuracy six-degree-of-freedom relative pose estimation, producing pose plus covariance and quality metrics suitable for closed-loop control.

Space perception SDK for detection, segmentation, tracking, and inspection, exposing outputs in common geometric and semantic formats for downstream autonomy.

Modular state-estimation library covering EKF, UKF, and particle filters for attitude, orbit, and relative navigation, usable across mission phases.

Reusable guidance, navigation, and control framework exposing shared interfaces between estimation, guidance, control, and actuator models.

Ground-station pass prediction and link-budget-aware scheduling for tracking and commanding spacecraft.

Relative dynamics and state-estimation library shared across RPO and docking products, providing one consistent set of primitives instead of several bespoke ones.

Sensor fusion for relative position, velocity, attitude, and uncertainty, fusing asynchronous measurements into one relative state with covariance and sensor-health outputs.

Autonomous rendezvous and proximity-operations engine built around a guarded mission state machine of approach phases, corridors, checkpoints, and aborts.

Autonomous retreat and abort logic for failed proximity operations, using verified triggers and retreat corridors for predictable aborts.

Precision close-range approach controller providing bounded-rate motion and immediate retreat capability.

Algorithms governing the transition from first contact through secure capture and stabilization, with explicit failure modes.

Precision autonomous final-approach, docking, and stabilization sequencing, with hard safety interlocks through alignment, contact, latch, and stabilization.

Robotic grappling and fixture-engagement software coordinating arm motion, fixture recognition, compliant contact, and secure engagement.

Multi-degree-of-freedom space robotic arm platform exposing standard joints, interfaces, and software hooks.

Grasp planning for satellite fixtures, handles, rails, and components, ranking candidate grasps by reachability, geometry, stability, and task outcome.

Force-aware manipulation SDK for compliant and constrained motion, planning and executing manipulation with collision and force-awareness.

Framework coordinating perception, GNC, manipulation, planning, and safety behind common state and command contracts.

Policy engine for rule-based and ML-based autonomy, providing a managed deployment boundary for learned or rule-based policies with validation hooks.

Failure diagnosis, replanning, and safe-recovery engine that chooses recovery strategies and replans without violating safety invariants.

Multi-stage bootloader and firmware-update framework for embedded flight and robotics targets.

Yocto and OpenEmbedded board-support-package pipeline for space and robotics compute boards.

FPGA-and-RISC-V deterministic robotics control platform combining RISC-V control compute and FPGA acceleration under deterministic interfaces.

High-performance FPGA-and-RISC-V compute architecture exposing configurable compute blocks, interconnects, and accelerator hooks.

Reusable FPGA IP for vision, control, sensors, and communications, maintained with standard interfaces and verification collateral.

Space-oriented embedded operating environment curating the OS, BSP, driver, and system-service layer rather than reinventing a kernel.

Deterministic space robotics runtime built around RTEMS and ROS 2 concepts, providing deterministic scheduling, timing, and robotics interfaces for onboard workloads.

Open-ISA RISC-V processor-core architecture for space and robotics, with configurable performance, memory protection, and accelerator hooks.

FPGA-based RISC-V reference platforms for rapid prototyping of spacecraft and robotics compute architectures.

SpaceWire and SpaceFibre drivers and deterministic communications stack, providing deterministic link abstractions, health, and timing behind standard interfaces.

Real-time spacecraft telemetry ingestion and management, normalizing raw packets into time-tagged engineering signals with schema, quality, and provenance.

Runtime safety supervisor enforcing hard constraints immediately before command execution, regardless of whether the command came from a human or from autonomy.

Cybersecurity stack for secure boot, updates, SBOM, and integrity monitoring, covering the chain from source to signed artifact to runtime integrity.