The Certifiable Fast File System (CFFS) is a component of the Deos safety-critical RTOS. The embedded certifiable file system, which supports flash devices, uses time and space partitioning, ...