Industry Expertise
at Every Stage
of Your Project
We help teams working in the space industry — from assessing the technical maturity of an idea to full-cycle support for spacecraft development and manufacturing.
What We Do
Six specialized service lines — each one covers a specific need across the spacecraft development, manufacturing, and launch cycle.
How We Work
With Your Project
Tools and Technologies
Our company relies on reliable, proven technologies for software development and embedded solutions. We use modern programming languages, frameworks, and tools that ensure high quality, predictability, and scalability throughout development.
We use C, C++, and Python as our core development languages. Builds and compilation rely on the GCC and Clang compilers, which keep the code cross-platform and allow us to integrate code coverage reports using GCov.
GDB — a debugger for diagnosing and analyzing program execution.
VSCode IDE — a cross-platform development environment.
Build automation and dependency management rely on:
- make and CMake — the core build framework for generating makefiles.
- pkg-config — for library discovery and generating compiler flags.
- Doxygen — for generating documentation from source code.
Test-driven development (TDD) is a core practice. Tools include:
- GoogleTest and CTest — frameworks for unit testing.
- Valgrind (memcheck) — dynamic memory analysis.
- Python — for scripting test automation, analysis, and visualizing test results.
- Cyclictest — measuring real-time makefile generation latency.
- Clang Static Analyzer — static code analysis to catch potential bugs.
Our CI/CD processes are built on:
- Jenkins — a build and delivery automation tool.
- GitLab CI — a tool that automatically triggers builds, tests, and deployments when the repository changes, running a defined pipeline in response to specific repository events.
- Git and bash — for version control and for automating monitoring of system status and running payloads through scripts.
To meet determinism and low-latency requirements, we use:
- Linux (Fedora 39 Server, Ubuntu Server) with kernel 5.15 + PREEMPT_RT.
- glibc and optimized system libraries.
- Specialized real-time configurations and kernel-performance analysis utilities.
- CPU core isolation in Linux to improve task execution time predictability and parallelize access to peripherals and system resources using taskset and core affinity.
To isolate environments and simplify deployment, we use:
- Docker — containerization of services and test rigs.
- u-boot and grub — bootloaders for embedded systems on x86 and ARM architectures.
For FPGA, digital logic, and embedded systems, we use:
- Verilog and VHDL — for describing hardware logic.
- Xilinx Vivado and ModelSim — synthesis and simulation tools.
- Assembler, device tree — for low-level configuration and describing hardware setups.
- CPU performance tuning (low-level system performance optimization) — configuring the CPU governor, C-states, P-states, and Hyper-Threading.
- Yandex.Disk — cloud storage for documentation and artifacts.
- Yandex.Tracker — task planning, bug tracking, and release management.
Together, these technologies form a reliable, mature, and scalable stack capable of meeting requirements for quality and build/deployment repeatability, while supporting both application-level and hardware-oriented development.
Tell Us
About Your Project
Describe your project or challenge — we'll quickly assess how we can help and propose a format for working together.
