Parsimoni
Parsimoni provides SpaceOS, a secure payload operating system that runs in its own partition on existing satellite computers, enabling operators to deploy and update applications post-launch. The platform uses a formally verified unikernel architecture, reducing system size by up to 20x while enforcing strict application isolation. SpaceOS is validated on 8 on-board computers and supports a Docker-like development workflow for building satellite apps.
- Space Technology
- Cybersecurity
- Developer Tools
- Software Only
Funding
Funding not disclosed
Founders
Founder details are not available yet.
Product
Problem
Satellite payload software is written once before launch, making post-launch application additions a months-long custom integration effort. Operators cannot safely host third-party code on flight computers without trusted isolation, and approximately 95% of collected satellite data remains unmonetized, leaving significant in-orbit compute capacity idle.
Solution
Parsimoni provides SpaceOS, a secure payload operating system that runs in its own partition on existing satellite payload computers without replacing flight software or safety-critical systems. The platform enables satellite operators to build, deploy, and update apps post-launch with a Docker-like developer workflow, where applications are packaged once and run across fleets. SpaceOS uses a formally verified unikernel architecture that reduces system size by up to 20x compared to traditional operating systems, enforces strict application isolation, and supports zero-trust and post-quantum cryptography. The Parsimoni Satellite App Store, supported by ESA, connects developers with available in-orbit resources, allowing operators to monetize spare capacity while maintaining high reliability and cyber security.
Target Audience
Primary customers are satellite operators and owners seeking to monetize underutilized payload compute, along with application developers and hardware manufacturers looking for a standardized platform to deploy and integrate space-based software.
Features
- Unikernel-based operating system with formally verified critical components, developed largely in OCaml for memory safety and minimal attack surface
- Secure application isolation enabling multiple apps to run on the same hardware without risk to satellite operations
- Docker-like development environment supporting Python, C/C++, Rust, and other languages with local testing and one-click deployment
- Validated on 8 on-board computers and multiple hypervisors, with a hardware-agnostic interface for cross-platform compatibility
- CCSDS SDLS compliance, post-quantum cryptography, and zero-trust security architecture
- Remote app management for seamless updates, monitoring, and lifecycle control
- Integration with OHB Hellas' Versal Orbital HPC hardware and Innoflight's CFC-400XS compact flight computer for joint commercial offerings