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

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

該項(xiàng)目幫助開(kāi)發(fā)了支持航空電子和汽車(chē)領(lǐng)域的工具和方法，這兩個(gè)領(lǐng)域都非常關(guān)注適用的安全標(biāo)準(zhǔn)和新興的認(rèn)證要求。

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

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

提高汽車(chē)和航空電子領(lǐng)域的安全性，

減少不同類(lèi)型車(chē)輛的二氧化碳排放量，

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

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

根據(jù)公司的說(shuō)法，MASTECS 技術(shù)已通過(guò)案例研究進(jìn)行評(píng)估和證明。其中包括柯林斯航空航天應(yīng)用研究與技術(shù) （Collins ART） 提供的民用認(rèn)證車(chē)輛管理計(jì)算機(jī)技術(shù)的使用，以及 Marelli Europe 分別在航空電子和汽車(chē)領(lǐng)域?qū)?chē)輛域控制模塊 （VDCM） 的分析。

審核編輯：郭婷