第一個能夠處理多核處理器復雜性的認證就緒時序分析解決方案，將被歐洲行業(yè)用于支持先進的關鍵軟件開發(fā)和認證。

MASTECS 項目（用于嵌入式關鍵系統(tǒng)的多核分析服務和工具）開發(fā)了第一個能夠處理安全關鍵多核系統(tǒng)復雜性的認證就緒時序分析解決方案。該項目中開發(fā)和整合的技術現(xiàn)在可以在航空航天和汽車領域使用多核處理器。

該項目幫助開發(fā)了支持航空電子和汽車領域的工具和方法，這兩個領域都非常關注適用的安全標準和新興的認證要求。

多核時序分析工作流程建立在使用專門的微基準之上，這些微基準會對多核處理器產(chǎn)生干擾，并展示這種干擾可能對軟件產(chǎn)生的影響。該工作流還具有一個任務爭用模型，可提供對任務所遭受的爭用延遲的早期估計。還開發(fā)了一種 7 步設計方法，以充分了解和表征干擾對時序行為的影響。

MASTECS 項目幫助開發(fā)了一種明確的方法，以滿足航空航天和汽車領域的安全認證要求，使用多核處理器實現(xiàn)高級軟件功能，支持更廣泛的好處，例如：

提高汽車和航空電子領域的安全性，

減少不同類型車輛的二氧化碳排放量，

新的飛行技術，包括使商業(yè)航班和進一步的移動解決方案更容易獲得的個人飛行器。

“盡管發(fā)生了大流行，但 MASTECS 已經(jīng)實現(xiàn)了將多核技術成熟到現(xiàn)在可以商用的狀態(tài)的目標。這將幫助歐盟公司在其產(chǎn)品中采用多核處理器，從而為航空電子和汽車等領域的公司帶來巨大的利益。” Francisco J. Cazorla，MASTECS 項目協(xié)調(diào)員和巴塞羅那超級計算中心 （BSC） 的操作系統(tǒng)組經(jīng)理。

根據(jù)公司的說法，MASTECS 技術已通過案例研究進行評估和證明。其中包括柯林斯航空航天應用研究與技術 （Collins ART） 提供的民用認證車輛管理計算機技術的使用，以及 Marelli Europe 分別在航空電子和汽車領域對車輛域控制模塊 （VDCM） 的分析。

審核編輯：郭婷