PX5 FILE嵌入式FAT文件系統(tǒng)的ASIL D認證

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

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

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

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

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

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

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

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

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

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