WITTENSTEIN high integrity Systems(WHIS)與LDRA合作，使結構覆蓋實現變得更簡單高效。通過將SAFERTOS與LDRA的TüV認證工具套件集成，嵌入式開發(fā)人員可以自動化代碼覆蓋分析，加速關鍵標準（如IEC 61508、ISO 26262、DO-178C等）的認證過程。

SAFERTOS與LDRA的集成確保嵌入式開發(fā)人員能夠：

? 在基于Eclipse的開發(fā)環(huán)境中執(zhí)行靜態(tài)和動態(tài)分析，以及單元測試和時序分析。

? 在虛擬和物理目標硬件上運行必要的覆蓋測試。

? 通過消除繁瑣的手動測試或內部工具開發(fā)需求，簡化認證路徑。

LDRA工具套件支持對在SAFERTOS之上運行的應用軟件進行驗證。通過將LDRA的Eclipse插件與WHIS的Eclipse插件結合使用，開發(fā)人員可以在Eclipse IDE內驗證應用程序。此驗證可以在主機上運行應用程序時、在模擬環(huán)境中運行以及在物理目標設備上運行時進行。使用網絡通信將可執(zhí)行文件下載到目標設備后，LDRA可以監(jiān)控和分析執(zhí)行歷史記錄及單元測試數據。借助統一平臺的全面報告管理功能，可以進行全面的靜態(tài)和動態(tài)分析。

觀看視頻了解SAFERTOS與LDRA集成的效果。

SAFERTOS是WHIS公司開發(fā)的用于嵌入式處理器的安全實時操作系統(RTOS)，通過ISO 26262 ASIL D和IEC 61508 SIL 3預認證，為開發(fā)安全關鍵系統提供卓越的性能和預先認證的可靠性。麥克泰技術是安全預認證操作系統SAFERTOS在中國的代理商，具有30年嵌入式實時操作系統和功能安全軟件服務的市場、服務和培訓經驗，聯系info@bmrtech.com。

麥克泰技術走過了30年發(fā)展歷程（1995-2025），秉承“讓嵌入式軟件開發(fā)更容易”的理念，致力于推廣嵌入式軟件開發(fā)工具、測試軟件和嵌入式操作系統。麥克泰技術通過舉辦嵌入式軟件和操作系統研討會、開設培訓課程、出版圖書，撰寫博客文章，倡導和宣傳開放和開源的嵌入式軟件、操作系統以及開發(fā)技術，包括VRTX（90年代）、μC/OS（2000年），Montavista Linux（2010年）和FreeRTOS（2010年）以及IAR/BDI/J-Link等知名的產品和技術。

麥克泰技術具有豐富嵌入式軟件項目開發(fā)、行業(yè)應用與服務經驗。今天，我們依托歐美嵌入式軟件商業(yè)團隊支持，提供嵌入式軟件商業(yè)授權和服務。包括（不限于）SEGGER嵌入式軟件開發(fā)和編程工具（J-Link/Flasher），OS分析工具Tracealyzer，WITTENSTEIN公司的SafeRTOS（FreeRTOS）、Flexible Safety RTOS（μC/OS-II MPU）以及新一代PX5 RTOS。麥克泰技術專注預認證功能安全操作系統在汽車、軌交、醫(yī)療和工業(yè)領域的應用以及RISC-V處理器嵌入式開發(fā)生態(tài)建設。