 |
經過數十年的開發，LDRA靜態代碼分析技術可以幫助嵌入式開發人員加快對MISRA C指南所有版本的合規
新加坡、馬來西亞吉隆坡和越南河內市2023年3月14日 /美通社/ -- 以20多年來的MISRA C支持為依托，LDRA今天宣布在其LDRA工具套件的靜態代碼分析和報告功能中添加最新的MISRA C:2023指南。在MISRA C工作組主席兼LDRA技術專家Andrew Banks的指導下，LDRA的新功能為航空航天、國防、工業和能源、醫療設備和汽車行業的嵌入式開發人員提供支持，在日益復雜和難以測試的多線程、多處理器系統中識別潛在的危險代碼并減輕其危害。
1998年推出的MISRA C是使用C編程語言開發軟件的標準，在軟件開發當中，安全、保障和代碼質量至關重要。在3月15日的嵌入式展覽會（Embedded World）上，MISRA C工作組將公布MISRA C:2012第4版（AMD4），其中規定了多線程和原子類型的規則和指令，并闡明現有指南，以便更好地契合當今開發人員使用C語言的方式。工作組還將推出MISRA C:2023，將以前版本的指南合并為一個單一的綜合版本，以便于實現合規。
LDRA運營總監Ian Hennell表示："MISRA C指南推動了安全、穩固且可靠代碼的開發；此版本的發布表明我們繼續致力于確保每個安全和安保關鍵型開發團隊都能實現MISRA C:2023合規。除了在制定指南本身方面發揮重要作用，我們還努力確保我們的靜態分析工具具備相關能力，在多線程、多處理器系統中識別、報告和修復關鍵編碼缺陷。這些新的MISRA添加進一步提升了該指南與眾多行業嵌入式產品開發人員的相關性。"
MISRA C的演變和LDRA靜態分析工具的作用
在LDRA技術專家Andrew Banks主席的領導下，MISRA C工作組多年來不斷發展指南，以適用于汽車以外的軟件，解決額外的安保考慮因素，同時與最新版本的C標準保持一致，這包括通常稱為C11和C18的ISO/IEC 9899: 2011和2018中引入的多線程和原子類型方法。
MISRA C指南建議使用靜態分析工具來驗證代碼是否符合其規則和指令。LDRA工具套件支持所有版本的MISRA指南，并且：
Banks表示："采用靜態分析工具是對MISRA C合規性的一項寶貴投資。此類工具簡化了MISRA合規性工作，降低了新軟件的開發風險，同時支持開發人員的MISRA C培訓。這些工具為實現MISRA合規性提供了最佳選擇，這是所有嵌入式軟件認證過程中不可或缺的組成部分。"
Banks與LDRA的同事、MISRA C++工作組主席Chris Tapp一起在MISRA C工作組工作。Banks補充道："此外，通過將最近的增強功能整合為單一來源，MISRA C:2023為與安全或安保相關的，或者說任何高集成度的軟件開發者提供了新的基準指導。"
MISRA新白皮書和參觀嵌入式展覽會4-505展位
如需更多了解有關MISRA C倡導和部署合規工具框架的指南和戰略相關信息，開發人員可以下載LDRA的新白皮書《Get ahead with the MISRA C guidelines》。開發人員也可于3月14日至16日在德國紐倫堡2023年嵌入式展覽會上參觀LDRA展位（4-505）。歐洲中部夏令時間3月15日下午1點45分，Andrew Banks將在"MISRA形勢報告" 小組討論中介紹MISRA。
