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

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

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

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

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

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

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

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

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

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