Explore SpaceOS, OCaml, MirageOS, and Secure Satellite Engineering

Wed, 15 Apr 2026

by Thomas Gazagnaire

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.

#ocaml #space

Tue, 07 Apr 2026

by Thomas Gazagnaire

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.

#ocaml #space

Tue, 31 Mar 2026

by Thomas Gazagnaire

Describing Binary Formats in OCaml

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

#ocaml #space

Thu, 12 Mar 2026

by Thomas Gazagnaire

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

by Thomas Gazagnaire

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.

#ocaml #space

Wed, 25 Feb 2026

by Thomas Gazagnaire

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

by Thomas Gazagnaire

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

by Thomas Gazagnaire

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.

#ocaml #space

Tue, 17 Feb 2026

by Thomas Gazagnaire

New Year, New Blog

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

#space

Wed, 04 Feb 2026

by Miklos Tomka

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.

#news #partnership

Tue, 03 Feb 2026

by Miklos Tomka

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.

#education #news #partnership

Mon, 02 Feb 2026

by Miklos Tomka

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.

#news #partnership

Fri, 12 Dec 2025

by Miklos Tomka

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.

#news #partnership

Thu, 13 Nov 2025

by Miklos Tomka

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.

#news #partnership

Wed, 05 Nov 2025

by Miklos Tomka

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.

#news #partnership

Mon, 08 Sep 2025

by Miklos Tomka

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.

#news #spaceos

Mon, 07 Jul 2025

by Miklos Tomka

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

by Miklos Tomka

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

by Miklos Tomka

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.

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

Tue, 11 Feb 2025

by Miklos Tomka

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

by Miklos Tomka

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

by Miklos Tomka

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

by Miklos Tomka

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

by Miklos Tomka

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.

#news #spaceos

Thu, 10 Aug 2023

by Miklos Tomka

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.

#mirageos #news #ocaml #spaceos

Mon, 31 Jul 2023

by Thomas Gazagnaire

OCaml in Space - Welcome SpaceOS!

Our mission is to build sustainable and secure software infrastructure that will not only work for decades but also positively impact the world. This includes our work on essential open-source libraries and tooling in the OCaml space, but also extends to include cutting-edge innovation through Mirag…

#mirageos #ocaml #technology

Parsimoni Blog

How Much Value Are We Leaving in Orbit?

Reimplementing the Space Protocol Stack from Scratch

Predicting Satellite Collisions in OCaml

Describing Binary Formats in OCaml

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

Apparently I Have Been Writing Flight Software All Along

Is Running Untrusted Code on a Satellite a Good Idea?

From ASPLOS to Orbit: Unikernels Twelve Years Later

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

New Year, New Blog

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

Parsimoni Partners with Astro42 and Launches Global University Programme

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

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

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

Global Partnership to Enable Near Instant Data Downlink from Space

Parsimoni Joins Techstars Space Accelerator Fall 2025 Cohort

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

SpaceOS is now in orbit on Clustergate-1

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

Parsimoni to demonstrate its SpaceOS in orbit on Clustergate-1

World’s first shared payload satellite hackathon

SpaceOS is launching now in North America!

SpaceOS - Can Other Industries Benefit?

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

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

OCaml in Space - Welcome SpaceOS!