導讀:20多年來,LDRA的MISRA C提供支持,推動汽車、航空航天、醫(yī)療、國防和其他關鍵應用的風險降低舉措。
20多年來,LDRA的MISRA C提供支持,推動汽車、航空航天、醫(yī)療、國防和其他關鍵應用的風險降低舉措。
英國利物浦2023年2月3日 -- 作為工程機構(gòu)和軟件從業(yè)者編寫安全可靠代碼的領先指南,MISRA C于本月迎來了其創(chuàng)建25周年。作為MISRA C Working Group的關鍵貢獻者,LDRA在標準遵從、自動化軟件驗證、靜態(tài)代碼分析和測試工具方面的專業(yè)知識使相關標準能夠更好地適應現(xiàn)代C語言和開發(fā)實踐。
LDRA運營總監(jiān)Ian Hennell表示:"從汽車軟件到醫(yī)療設備,處于任何成熟階段的制造商都依賴MISRA C來指導、評估和認證其安全和安全關鍵產(chǎn)品。MISRA長期致力于通過不斷參與MISRA C工作組并同時開發(fā)行業(yè)領先的產(chǎn)品來支持制造商的認證活動,減少和消除軟件安全應用中的風險,這一點得到了LDRA的認可。"
MISRA與制造商、組件供應商和工程咨詢公司合作,于1998發(fā)布了第一份C編程語言指南,以幫助嵌入式軟件開發(fā)人員降低可能導致不良行為或危險行為的編碼風險。這套標準化方案擬訂語言的限制性子集為數(shù)十年的發(fā)展和遵約活動奠定了基礎,包括兩個后續(xù)版本、四項修訂和多個指導文檔。
LDRA技術專家兼MISRA C Working Group主席Andrew Banks表示:"25年來,MISRA C已成為幫助開發(fā)人員防止嚴重問題在其代碼中突然出現(xiàn)的寶貴資源,使他們能夠減少未定義和未指定行為的發(fā)生。MISRA繼續(xù)幫助無數(shù)系統(tǒng)和產(chǎn)品團隊在日益活躍和復雜的軟件環(huán)境中最大限度地降低安防風險。"
LDRA產(chǎn)品是制造商開發(fā)環(huán)境的關鍵組成部分,支持關鍵編碼缺陷的識別、報告和修正。這些缺陷通常很難或不可能通過人工方法檢測到,而使用LDRA靜態(tài)代碼分析工具將其最小化,包括支持MISRA指南的所有版本。