PX5 FILE嵌入式FAT文件系統的ASIL D認證
SGS-TüV Saar已經認證了PX5實時作系統(RTOS)的嵌入式文件系統,使其達到了汽車和醫療應用的最高功能安全級別。
本文引用地址:http://www.104case.com/article/202506/471722.htmPX5 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 獲得。
評論