[據(jù)羅克韋爾柯林斯公司網(wǎng)站2012年9月17日?qǐng)?bào)道]羅克韋爾柯林斯公司已被DARPA選定為“高保障賽博軍用系統(tǒng)(HACMS)”項(xiàng)目
無人機(jī)部分的主承包商。這份為期4年半的合同要求羅克韋爾柯林斯公司開發(fā)無人機(jī)賽博安全解決方案,并適用于其他具有網(wǎng)絡(luò)功能的軍用
車輛。
羅克韋爾柯林斯公司的先進(jìn)技術(shù)中心副總裁約翰貝佳斯說,該公司被選的關(guān)鍵因素在于擅長復(fù)雜系統(tǒng)的安全認(rèn)證和形式化方法的使用。形式化方法采用嚴(yán)格的數(shù)學(xué)推理和先進(jìn)的分析工具,以驗(yàn)證系統(tǒng)的相關(guān)特性。公司將確保軟件最初設(shè)計(jì)的正確性,這對(duì)于軍用計(jì)算平臺(tái)的安全性至關(guān)重要。
羅克韋爾柯林斯公司團(tuán)隊(duì)成員包括波音、Galois公司、澳大利亞國家信息通信技術(shù)研究機(jī)構(gòu)(NICTA)、美國明尼蘇達(dá)大學(xué)。
HACMS項(xiàng)目的目標(biāo)是創(chuàng)建高保障賽博物理系統(tǒng)。這些系統(tǒng)必須功能正確,并滿足相關(guān)的安保特性。實(shí)現(xiàn)這一目標(biāo)需要采取截然不同的方法。因此,HACMS將采取一種基于形式化方法的清潔方法,根據(jù)可執(zhí)行正式規(guī)范實(shí)現(xiàn)半自動(dòng)化代碼合成。
(工業(yè)和信息化部電子科學(xué)技術(shù)情報(bào)研究所 陳皓)
免責(zé)聲明:凡注明來源全球無人機(jī)網(wǎng)的所有作品,均為本網(wǎng)合法擁有版權(quán)或有權(quán)使用的作品,歡迎轉(zhuǎn)載,請(qǐng)注明出處。非本網(wǎng)作品均來自互聯(lián)網(wǎng),轉(zhuǎn)載目的在于傳遞更多信息,并不代表本網(wǎng)贊同其觀點(diǎn)和對(duì)其真實(shí)性負(fù)責(zé)。