CML - Certifiable Math Library

The CML is a double-precision mathematical library for which each implemented functions’ mathematical precision was mathematically proven (evidence is part of the CertKit). The CML relies on the existence of an FPU (Floating Point Unit) and is compatible to the PikeOS native API as well as the ARINC 653 guest operating system.

Linux and POSIX come with their own implementation of the math library.


Supported Functions

fabs, sqrt, pow, floor, ceil, round, ,exp, exp2, ldexp, scalbln, log, fmod, sin, cos, tan, asin, acos, atan, atan2

Benefits

CML is a certifiable component on top of PikeOS

Reduce time to certification of customer embedded systems

Need more Information?

Tell us about your project and your needs.
 

Contact us