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

Customer Benefits

Check

CML is a certifiable component on top of PikeOS

Check

Reduce time to certification of customer embedded systems

Shadow

RTOS & Hypervisor Technology

Arrow

RTOS & Hypervisor

Learn more

Arrow

Virtualization

Learn more

Arrow

Memory Protection

Learn more

Arrow

RTOS & Multi-Core

Learn more

Arrow

Security

Learn more

Arrow

POSIX™

Learn more

Arrow

ARINC 653

Learn more

Arrow

CIP - Certifiable IP Stack

Learn more

Arrow

CFS - Certifiable File System

Learn more

Need more Information?

Tell us about your project and your needs.
 

Contact us