Express Logic: FileX certified for use in safety-critical embedded systems and IoT devices
Express Logic’s FileX FAT/exFAT file management system stack is the first Industrial Grade commercial file management system to be certified by SGS-TÜV Saar for embedded development in safety-critical systems. FileX joins Express Logic’s ThreadX RTOS and high-performance NetX Duo TCP/IP stack to form one of the industry’s most comprehensive suites of products for embedded applications and IoT devices. FileX has achieved the highest level of certification for the rigorous International Electrotechnical Commission (IEC) 61508 SIL 4, IEC 62304 Class C, ISO 26262 ASIL D, and EN 50128 SW-SIL 4 safety standards.
SGS-TÜV Saar has evaluated the relevant parts of Express Logic’s modified waterfall development process for FileX, with phase overlap and phase blending, to ensure that best development practices have been followed at the phases requirements management, design, implementation, verification, maintenance.
Using an extensive test suite, SGS-TÜV Saar rigorously reviewed all testing and features of FileX. The FileX test suite, composed of a large number of application simulations, effectively performs functional “black box” testing over the entire FileX TCP/IP stack. The testing exercises 100 percent of the generic FileX C code — including 100 percent branch coverage. Express Logic’s FileX Safety Manual documents these quality-assurance measures, which enable developers to use FileX in safety-critical software development for even the most rigorous Safety Integrity Level (SIL 4) and Automotive Safety Integrity Level (ASIL D) requirements, according to IEC 61508, IEC 62304, ISO 26262, and EN 50128, without further qualification.