Certifiable Components
Certifiable IP Stack - Certifiable File System - Certifiable Math Library
PikeOS
Certifiable IP Stack (CIP)
CIP is a UDP/IP networking stack compatible with the standard RFC specifications. It is available for the POSIX and PikeOS APIs and provides a standard socket interface. CIP is certifiable within the scope of Safety projects.
Certifiable File System (CFS)
The CFS is a PikeOS component that provides a fail-safe file system with more functionality than the PikeOS native file system. In addition to the basic file operations implemented by the internal PikeOS file providers, the CFS can also handle directories and file manipulations. It is still a simplified file system compared to standard Linux file systems and is certifiable within the scope of Safety projects.
Certifiable Math Library (CML)
The CML provides various mathematical functions of the C standard library. CML is certifiable within the scope of Safety projects.