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

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

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

? 在虛擬和物理目標(biāo)硬件上運(yùn)行必要的覆蓋測試。

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

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

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

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

麥克泰技術(shù)走過了30年發(fā)展歷程（1995-2025），秉承“讓嵌入式軟件開發(fā)更容易”的理念，致力于推廣嵌入式軟件開發(fā)工具、測試軟件和嵌入式操作系統(tǒng)。麥克泰技術(shù)通過舉辦嵌入式軟件和操作系統(tǒng)研討會(huì)、開設(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ù)具有豐富嵌入式軟件項(xiàng)目開發(fā)、行業(yè)應(yīng)用與服務(wù)經(jīng)驗(yàn)。今天，我們依托歐美嵌入式軟件商業(yè)團(tuán)隊(duì)支持，提供嵌入式軟件商業(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ù)認(rèn)證功能安全操作系統(tǒng)在汽車、軌交、醫(yī)療和工業(yè)領(lǐng)域的應(yīng)用以及RISC-V處理器嵌入式開發(fā)生態(tài)建設(shè)。