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

Customer Benefits


CML is a certifiable component on top of PikeOS


Reduce time to certification of customer embedded systems