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 Mathematical Library for Critical Systems.