Parsimoni Blog

Still building your own software platform for space payloads?

Missions now expect secure isolation, Zero Trust, post-quantum cryptography, CCSDS/SDLS and formal verification from their payload software platform. Building all of that from scratch takes years, which is why we built SpaceRun.

Fri, 10 Jul 2026

The Next Computing Platform Is Space

Every computing revolution follows the same pattern: hardware first, software platforms next, and application economies creating the greatest long-term value. Satellites are becoming powerful computers in orbit, and the space industry is approaching that same platform shift.

Thu, 09 Jul 2026

KP Labs and Parsimoni deliver integrated data processing and payload software management for satellite missions

KP Labs and Parsimoni have established a collaboration to deliver Leopard DPU and SpaceOS as an integrated hardware and software solution for satellite missions, combining high-performance onboard data processing with secure payload software management.

Mon, 06 Jul 2026

What Is Your Satellite Doing Right Now?

Most satellites run one mission and sit idle the rest of the time. Given the right software architecture, they can become software-defined satellites that run different applications across their lifetime, the way a phone runs different apps.

Fri, 19 Jun 2026

We take your applications to orbit - for free (as long as you win in the Code the Continuum Hackathon)

Parsimoni partners with the Code the Continuum Hackathon to give the most innovative teams free access to SpaceOS, engineering support, publication in the App Store for Satellites, and deployment on an operational satellite, worth more than EUR 25,000.

Fri, 12 Jun 2026

OHB Hellas and Parsimoni Advance a New Generation of Orbital High-Performance Computing

OHB, OHB Hellas, and Parsimoni are developing a new generation of orbital high-performance computing, combining AMD/Xilinx Versal platforms, a Xen-based virtualisation layer, and SpaceOS's unikernel-based software, with a joint demonstration planned for Space Tech Expo Europe in Bremen this November.

Mon, 01 Jun 2026

Blackwing Space - Parsimoni partnership announcement

Parsimoni and Blackwing Space partner to bring SpaceOS to Blackwing's Raspberry Pi CM5 edge compute module.

Tue, 26 May 2026

Data Centers in Space: What Software Stack Will Power Them?

Capital is pouring into orbital compute platforms, but one question stays unexplored: what software stack will actually power data centers in space? A repackaged terrestrial cloud, or something built for orbit?

Thu, 14 May 2026

#ocaml #space #unikernels

O(x)Caml in Space

On 23 April, Borealis booted in orbit on DPhi Space's ClusterGate-2: a pure-OCaml CCSDS protocol stack with end-to-end-encrypted command and control and post-quantum key rotation. OxCaml is what comes next.

Thu, 14 May 2026

Space Ocean and Parsimoni Partner to Develop Shared Orbital Research and Computing Infrastructure

Space Ocean and Parsimoni have signed a Letter of Intent to jointly develop a next-generation software-defined satellite platform for academic research, commercial experimentation, and emerging in-orbit computing applications.

Fri, 24 Apr 2026

How Much Value Are We Leaving in Orbit?

Satellite operators, investors, and space software developers: how much value in orbit is still going unrealized? And if inefficiency persists, is deploying more resources really the answer?

Wed, 15 Apr 2026

Reimplementing the Space Protocol Stack from Scratch

The full stack from Space Packets to SDLS encryption, with an interactive demo and interop tests that found bugs in two reference implementations.

Tue, 07 Apr 2026

Predicting Satellite Collisions in OCaml

Open test data for predicting satellite collisions. I built the full screening pipeline in OCaml, validated it against the answer key, and put a 3D globe in the browser.

Tue, 07 Apr 2026

Parsimoni and Necara Solutions Announce Strategic Collaboration to Integrate Osteo into SpaceOS

Parsimoni and Necara Solutions have signed an agreement to integrate the Osteo Data Processing Engine into SpaceOS, giving satellite operators secure, high-performance onboard data processing and workflow orchestration.

Wed, 01 Apr 2026

Data Centers in Space — or a Trillion-Dollar Distraction?

Everyone is talking about building data centers in orbit. The pitch is exciting and the funding is flowing — but we are not even using the compute already in space.

Tue, 31 Mar 2026

Describing Binary Formats in OCaml

EverParse generates verified C parsers for Microsoft. I wrote an OCaml front-end to use it for satellite protocols.

Mon, 23 Mar 2026

Parsimoni and Asteres Technologies Announce Strategic Partnership to Deliver Integrated Payload Subsystems for North American Satellite Missions

Parsimoni and Asteres Technologies have partnered to deliver fully integrated payload subsystems to satellite operators and manufacturers across North America, pairing SpaceOS with Asteres' aerospace software engineering and system integration expertise.

Thu, 12 Mar 2026

From Cannes to Los Angeles: Visiting the People Who Build Satellites

Visiting satellite production lines in Los Angeles, and why the questions have changed since 2022.

#space

Tue, 10 Mar 2026

Apparently I Have Been Writing Flight Software All Along

I wrote the MirageOS configuration tool. NASA's FPP does the same job for flight software. So I pointed FPP at MirageOS. It works.

Wed, 25 Feb 2026

Is Running Untrusted Code on a Satellite a Good Idea?

The problem statement: no isolation, no standard packaging, no OTA updates. Three missing pieces for multi-tenant satellite payloads.

#space

Mon, 23 Feb 2026

From ASPLOS to Orbit: Unikernels Twelve Years Later

The ASPLOS unikernels paper won its test-of-time award in 2025. Twelve years later, where does the thesis hold?

#space #unikernels

Thu, 19 Feb 2026

F Prime Looks a Lot Like MirageOS (but in C++)

Comparing NASA's F Prime flight framework with OCaml's MirageOS: state machines, type safety, and wiring patterns.

Tue, 17 Feb 2026

New Year, New Blog

Launching a new blog about OCaml, systems programming, and space software.

#space

Wed, 04 Feb 2026

OHB Hellas and Parsimoni to Build Secure Sovereign In-Orbit Software Platform

OHB Hellas and Parsimoni have announced a strategic collaboration combining the Versal Orbital HPC hardware with the Parsimoni Satellite App Store to create a secure, sovereign in-orbit software platform for European space missions.

Tue, 03 Feb 2026

#education #news #partnership

Parsimoni Partners with Astro42 and Launches Global University Programme

Parsimoni has partnered with Astro42 for SpaceOS-certified software development and launched a global university programme to open access to orbital infrastructure for academic research and student innovation.

Mon, 02 Feb 2026

OHB Hellas and Parsimoni Partner on Secure, Sovereign In-Orbit Software Platform

OHB Hellas and Parsimoni announce strategic partnership combining Versal Orbital HPC hardware with the Parsimoni Satellite App Store for secure, sovereign European space missions.

Fri, 12 Dec 2025

Satlyt and Parsimoni Partner to Explore Interoperability for In-Orbit Computing

Satlyt and Parsimoni announce strategic partnership to explore technical and commercial interoperability between distributed orchestration and secure unikernel runtimes for in-orbit computing.

Thu, 13 Nov 2025

Parsimoni and Innoflight Partner to Expand Secure Space Computing Capabilities for U.S. and European Markets

Parsimoni and Innoflight announce strategic partnership to deliver Innoflight's CFC-400XS flight computer equipped with Parsimoni's SpaceOS for next-generation software-defined satellites.

Wed, 05 Nov 2025

Global Partnership to Enable Near Instant Data Downlink from Space

ANT61 and Parsimoni announce strategic partnership integrating SpaceOS with ANT61's Beacon satellite subsystem to enable real-time data downlink from LEO satellites within seconds.

Mon, 08 Sep 2025

Parsimoni Joins Techstars Space Accelerator Fall 2025 Cohort

Parsimoni has been selected for Techstars' fall 2025 space accelerator program in Los Angeles! We're joining an elite cohort of space startups for three months of intensive mentorship, networking, and growth as we scale SpaceOS to become the standard platform for secure satellite computing.

Mon, 07 Jul 2025

Announcing the World's First 'App Store for Satellites' – Supported by ESA

Parsimoni announces development of the inaugural application marketplace for satellite systems, backed by ESA, democratizing orbital computing and transforming underutilized satellite capacity into revenue-generating infrastructure.

#esa #news #spaceos

Mon, 24 Mar 2025

SpaceOS is now in orbit on Clustergate-1

Parsimoni's SpaceOS has successfully reached orbit aboard DPhi Space's Clustergate-1 mission. Discover how SpaceOS will simplify satellite operations, enhance in-space software validation, and unlock new possibilities for customers.

#in-orbit #news

Tue, 04 Mar 2025

#in-orbit #mirageos #news #ocaml #spaceos

World First: Secure By Design Unikernels in Space - Powered by OCaml

SpaceOS, the world's first purpose-built, secure-by-design operating system for shared payloads and software-defined satellites, launches aboard SpaceX's Transporter-13 mission.

Tue, 11 Feb 2025

Parsimoni to demonstrate its SpaceOS in orbit on Clustergate-1

Parsimoni and DPhi Space announce a strategic partnership to demonstrate SpaceOS -the secure, unikernel-based operating system- aboard Clustergate-1 on SpaceX's Transporter-13 mission. This milestone deployment will validate SpaceOS's enhanced security and efficiency capabilities in an operational space environment, marking a significant advancement for secure in-orbit computing. The partnership showcases how DPhi's hosted payload platform can accelerate space software deployment while enabling Parsimoni to prove its innovative approach to payload management in real-world conditions.

#in-orbit #news

Tue, 11 Feb 2025

World’s first shared payload satellite hackathon

Announcing the groundbreaking "Welcome Inside the Satellite" hackathon, where developers can upload applications directly to a SpaceOS-powered satellite payload computer. This first-of-its-kind event challenges participants to test SpaceOS's security by attempting to breach isolation mechanisms, with a €50K prize pool for successful exploits.

#hacking

Mon, 02 Dec 2024

SpaceOS is launching now in North America!

Parsimoni announces North American expansion as SpaceOS gains momentum in the satellite industry. Built on unikernel technology pioneered at the University of Cambridge, SpaceOS offers satellite builders and operators the most secure and efficient operating system for shared payloads and software-defined satellites. After validation with European leaders like Thales, Airbus, and OHB, Parsimoni is now establishing a US presence to accelerate growth in the satellite ecosystem across both continents.

#news

Tue, 26 Nov 2024

SpaceOS - Can Other Industries Benefit?

Partners and cybersecurity experts frequently ask whether SpaceOS's industry-first security and efficiency could be adapted to other industries. The answer is yes - through MirageOS.

#mirageos #news #ocaml

Fri, 16 Feb 2024

Software-defined satellites (SDS) for New Space - What are they, and why should you care?

The satellite industry faces explosive growth alongside emerging challenges. Cybersecurity threats are significant, and the lack of standardization increases this risk, creating barriers to innovation. Software-defined satellites offer a solution - hardware platforms with flexible software layers supporting multiple use cases.

Thu, 10 Aug 2023

#mirageos #news #ocaml #spaceos

What is SpaceOS and why is it on track to become the new standard for satellites?

SpaceOS is a specialized operating system designed for satellite computing that addresses the emerging challenges in the NewSpace industry. Built on unikernel technology and OCaml, it offers complete isolation between user software with effortless updates, enabling multiple users to operate applications simultaneously on shared satellite infrastructure.

Mon, 31 Jul 2023