Introducing SpaceOS, the first "Secure By Design" satellite OS using unikernel technology, memory-safe programming, and formal verification (with PQC capabilities) With SpaceOS: In-orbit compute will create significant value ( monetize the unused capacity; reduce non-value adding data download) Satellite builders save time and cost when designing their new satellites Satellite software developers can use a standard software platform Cyber risks are significantly reduced
Is this your company?
Something looks off?