N7 Space

Software for the space industry

On-board Software
Critical software development for satellite on-board systems. Experience in various embedded platforms and ECSS qualification process.

Formal design
Rich experience in MBSE based development for space systems. ASN.1/ACN data modelling for on-board software protocols using ESA PUS-C standard.

Software QA
Automated software validation with high-level scripting compliant with PUS standards. Expierience in Independant Software Verification and Validation - ISVV.

Key Activities

New Missions

We are responsible for the critical on-board software components executed by scientific payloads in new ESA missions: Comet Interceptor and ARIEL missions. We also support software development and validation for main satellite of HERA mission. More…

PROBA 3

N7 Space is a member of ESA PROBA3 mission team. As CBK subcontractor we are responsible for the critical on-board software development for ASPIICS instrument. We have delivered both bootloader and application software for this payload. More…

RUST in SPACE

At N7 Space we are exploring new languages that may help future space exploration. We are working to push the state of the art by taking a first step in creating a real-time operating system in Rust dedicated to safety-critical space systems. More…

MBSE tools and methods

We use Model Based Systems Engineering tools for our daily activities. N7 Space can support MBSE toolchains adaptation for new embedded platforms or deployment of model-based code generation for already supported platform in TASTE. More…

Software for ARM systems

We have rich expierience in on-board software development for new ARM based computers. N7 Space provides also reusable software components for systems based on ARM microcontrollers from Microchip. More…