QLibmCS (Qualified Mathematical Library for Critical Systems)

Timing and Accuracy plots of arccosine generated by MAXI
Timing and Accuracy plots of arccosine generated by MAXI

Timeframe: 2020-2022

ESA Contract no.: 4000130278/20/NL/AS

Reengineering of an open source, standard compliant mathematical library and pre-qualifying on LEON2 and LEON4 prozessors according to ECSS E-ST-40 and Q-ST-80 Category B so that project specific integration and delta-qualification efforts for this building block are minimized and its long term maintenance guaranteed.

The produced Qualification-Kit contains a step by step Qualification Guideline, a detailed qualification template, full ECSS engineering documentation in compliance with E-ST-40 and Q-ST-80 Category B including ISVV and full qualification evidence on x86-64, LEON2 (AT697), and LEON4 (N2X) platforms

Additional an easy extensible test-suite application for automatic test campaigns and qualification evidence generation or ad-hoc numerical/timing/coverage analysis are developed.

More information about the outcoming product LibmCS can be found at: LibmCS Product Page