SGS-TüV Saar已經認證了PX5實時作系統（RTOS）的嵌入式文件系統，使其達到了汽車和醫療應用的最高功能安全級別。

PX5 FILE 是一個深度嵌入的文件，展示了原生 Linux 文件系統 API，并已通過 IEC 61508 SIL4、IEC 62304 C 類、ISO 26262 ASIL D 和 EN 50128 SW-SIL4 功能安全標準認證。

開發人員現在可以將嵌入式文件分配表 （FAT） 文件系統的認證與其應用軟件認證結合使用，為汽車、工業和醫療行業構建可靠的安全認證設備。

PX5 由 Thread X RTOS 的創始人 Bill Lamie 開發，專門用于僅 1KB 的小代碼庫，以簡化功能安全認證。對于安全關鍵型和非安全關鍵型設備的開發人員，超小型認證文件系統提供了穩定、可靠的基礎，該文件系統根據行業最佳實踐構建，以支持改進的產品可靠性、安全性、質量和上市時間。

這提供了更快的認證途徑，通過提高質量并縮短上市時間來減少產品責任。

PX5 是第一個具有原生 POSIX pthread API 的 RTOS，該 API 是基于標準的 API，適用于用 C 語言開發的多線程應用程序，PX5 RTOS 為嵌入式開發人員提供了熟悉的編程接口。

本機 pthreads 實現支持代碼可移植性和重用，同時提供較小的內存占用、完整的多線程和硬實時功能。

同樣，PX5 FILE 為開發人員提供了行業標準的 Linux 文件系統 API 和完整的 FAT 12/16/32/exFAT 文件系統支持，包括容錯作。PX5 RTOS 和 PX5 FILE 都包含完整的開發工具支持、源代碼和免版稅許可。

PX5 首席執行官 William Lamie 表示：“功能安全不僅是安全關鍵設備開發人員的首要考慮因素，而且它會影響安全性，因為存在功能安全漏洞的設備更容易受到損害。“該功能安全認證使所有嵌入式開發人員對其應用程序代碼的安全性、安全性和可認證性充滿信心。它也可以在不影響核心優勢的情況下使用，使 PX5 RTOS 和 PX5 FILE 成為業內最小、最快、最安全和最可靠的。

PX5 RTOS 的全套功能安全認證現已直接從 PX5 獲得。