Skip to main content

Mathlib evolution



Organisational Unit
Activity Type
Implementation progress
20 December 2022

Duration: 12 months


Today, AOCS/GNC and scientific algorithms make use of mathematical functions that are a subset of existing libraries such as libm from newlib. ESA has successfully developed and prepared a qualification package of the Mathematical Library for Flight Software (MLFS), that covers today's needs. However, future AOCS/GNC and scientific algorithms will need more complex mathematical functions in order to be able to introduce greater autonomy and to enable techniques such as visual based navigation. Moreover, AI/ML algorithms will soon be integrated into spatial systems and will also require complex mathematical functions in order to execute. Therefore, in this study we propose to define a new set of mathematical functions to be added to the existing MLFS, thanks to a careful analysis of the needs but also the constraints of each function, in order to facilitate the adoption and implementation of numerous innovative techniques, vision based navigation or autonomous mission planning being some examples.

Contract number
OSIP Idea Id
Related OSIP Campaign
New concepts for onboard software development
Main application area
Generic for multiple space applications