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.
fabs, sqrt, pow, floor, ceil, round, exp, exp2, ldexp, scalbln, log, fmod, sin, cos, tan, asin, acos, atan, atan2
CML is a certifiable component on top of PikeOS
Reduce time to certification of customer embedded systems