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

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

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

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

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

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

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

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

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

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

審核編輯：郭婷