Parasoft引領(lǐng)航空電子軟件安全數(shù)智化時(shí)代

2021(第十屆)飛機(jī)航空電子國(guó)際論壇于6月22日-23日在上海召開(kāi),本屆論壇以“關(guān)注飛機(jī)航空電子系統(tǒng)與設(shè)備數(shù)智化發(fā)展”為主題,結(jié)合未來(lái)飛機(jī)和電子技術(shù)發(fā)展趨勢(shì),集中討論了飛機(jī)航空電子系統(tǒng)與設(shè)備數(shù)智化的主題,邀請(qǐng)了包括中國(guó)航空、中國(guó)商飛、上海交大、中國(guó)民航、Parasoft等在內(nèi)的500余位國(guó)內(nèi)外飛機(jī)航空電子領(lǐng)域的專業(yè)人士與會(huì)交流。

作為在國(guó)際航空電子軟件測(cè)試領(lǐng)域內(nèi)服務(wù)超過(guò)三十多年的服務(wù)商,Parasoft受邀在2021(第十屆)飛機(jī)航空電子國(guó)際論壇上,做了主題為“Parasoft解決方案在航空領(lǐng)域內(nèi)的應(yīng)用”的報(bào)告,受到了現(xiàn)場(chǎng)專家們的一致稱贊。

Parasoft引領(lǐng)航空電子軟件安全數(shù)智化時(shí)代

圖一:Parasoft受邀在2021(第十屆)飛機(jī)航空電子國(guó)際論壇上演講

過(guò)去十年,我國(guó)民用航空市場(chǎng)增長(zhǎng)迅速,民用航空工業(yè)逐步融入世界航空產(chǎn)業(yè)鏈,CR929、C919、ARJ21、新舟系列支線客機(jī)、C系列直升機(jī)等國(guó)產(chǎn)民機(jī)型號(hào)的研制與運(yùn)營(yíng),為我國(guó)民航強(qiáng)國(guó)戰(zhàn)略和制造強(qiáng)國(guó)戰(zhàn)略提供了重要支撐。作為民用航空安全的核心構(gòu)成部分,航空電子系統(tǒng)的安全性和可靠性水平,成為制約中國(guó)民航事業(yè)發(fā)展的桎梏。針對(duì)這一難題,DO-178C標(biāo)準(zhǔn)一直以來(lái)被國(guó)際通用。

DO-178C(機(jī)載系統(tǒng)和設(shè)備認(rèn)證中的軟件考慮)也被稱為適航符合性方法,國(guó)際上要求航空電子需要完全按照DO-178C中提出的過(guò)程要求來(lái)開(kāi)發(fā)軟件,用于支撐適航規(guī)章,而目前行業(yè)一直在遵從DO-178C(比如國(guó)內(nèi)的DO-178B也是參照DO-178C的標(biāo)準(zhǔn))的標(biāo)準(zhǔn)開(kāi)發(fā)航空軟件。DO-178C標(biāo)準(zhǔn)對(duì)軟件的全生命周期做了詳細(xì)的規(guī)定和要求,從最早的需求分析(系統(tǒng)設(shè)計(jì))、概要設(shè)計(jì)、詳細(xì)設(shè)計(jì)均有詳細(xì)的標(biāo)準(zhǔn)要求。畢竟對(duì)于需要飛上天的工具,相比陸地工具對(duì)于軟件的安全性和可靠性有著更高的要求,對(duì)于遵從DO-178標(biāo)準(zhǔn)一致性的軟件測(cè)試挑戰(zhàn),要求也是行業(yè),級(jí)別的存在。上文中提到的Parasoft在民航電子軟件測(cè)試領(lǐng)域,有著三十多年的行業(yè)經(jīng)驗(yàn)和技術(shù)積累,尤其對(duì)于解決DO-178標(biāo)準(zhǔn)驗(yàn)證的挑戰(zhàn),Parasoft可提供端到端的全軟件生命周期測(cè)試需求。

Parasoft引領(lǐng)航空電子軟件安全數(shù)智化時(shí)代

圖二:2021(第十屆)飛機(jī)航空電子國(guó)際論壇會(huì)議現(xiàn)場(chǎng)

“針對(duì)DO-178C要求,Parasoft 解決方案可提供針對(duì)需求雙向可追溯性、源代碼測(cè)試、目標(biāo)代碼測(cè)試、覆蓋率分析、專用的遵從性儀表盤等解決方案,在源代碼測(cè)試執(zhí)行中,提供包括靜態(tài)分析(MISRA, AUTOSAR C++14, CERT, JSF)、單元測(cè)試、集成測(cè)試、系統(tǒng)測(cè)試的全生命周期軟件測(cè)試解決方案。”Parasoft技術(shù)總監(jiān)在本次論壇上介紹說(shuō)。

基于航空電子對(duì)于軟件的安全性級(jí)別,Parasoft多年來(lái)形成了“對(duì)于航空軟件安全領(lǐng)先的安全(safety)和安全(security)合規(guī)解決方案,比如CERT C / CERT C++ 、MISRA C 2012 、AUTOSAR C++14 、Joint Strike Fighter 、CWE 等,提供最完整的行業(yè)編碼覆蓋、支持自定義檢查器的創(chuàng)建、支持查找重復(fù)代碼和代碼復(fù)雜性度量。”同時(shí),根據(jù)DO-178B/C Level A需求,以及從上位機(jī)(主機(jī))和目標(biāo)板硬件中收集結(jié)構(gòu)覆蓋率等嚴(yán)格的要求,Parasoft 產(chǎn)品也可執(zhí)行目標(biāo)代碼驗(yàn)證,不僅可以節(jié)省幾天甚至幾周的勞動(dòng)密集型、容易出錯(cuò)的手工工作,而且大大提升航空電子軟件的安全性。

Parasoft引領(lǐng)航空電子軟件安全數(shù)智化時(shí)代

圖三:會(huì)議現(xiàn)場(chǎng)交流

如今,面向服務(wù)的SOA 架構(gòu)在航空領(lǐng)域同樣應(yīng)用非常廣泛,涉及包括從商務(wù)(CRM)、機(jī)務(wù)(MRO)、航務(wù)(AOC)、管控(ERP),到數(shù)據(jù)中心等系統(tǒng)的業(yè)務(wù)交互。Parasoft SOAtest/Virutalize 系列產(chǎn)品,能很好解決航空領(lǐng)域 SOA 架構(gòu)系統(tǒng)之間 API 服務(wù)的功能測(cè)試、性能測(cè)試和服務(wù)虛擬化。

對(duì)此,Parasoft技術(shù)總監(jiān)周杰先生表示,“Parasoft SOA松耦合、可重用、易于拓展的服務(wù)特性,其可通過(guò)接口進(jìn)行通信、獨(dú)立于特定硬件、操作系統(tǒng)和編程語(yǔ)言,軟硬件分離。而且Parasoft SOAtest廣泛支持如SOA架構(gòu)的協(xié)議、接口及消息格式協(xié)議和接口,可實(shí)現(xiàn)自動(dòng)化端到端的測(cè)試服務(wù),解決了SOA的測(cè)試難點(diǎn)。”同時(shí),在測(cè)試壓力較大的環(huán)境下,“作為SOAtest的壓力性能測(cè)試組件,Parasoft Load Test在負(fù)載下可驗(yàn)證軟件性能和功能預(yù)期。”周杰介紹說(shuō)。

不僅如此,在航空電子領(lǐng)域內(nèi),對(duì)于困擾測(cè)試人員盡早開(kāi)展工作難以訪問(wèn)的、相對(duì)獨(dú)立的分布式系統(tǒng),Parasoft Virtualize服務(wù)虛擬化可系統(tǒng)解決這一問(wèn)題。Parasoft覆蓋航空電子全領(lǐng)域的軟件測(cè)試解決方案,多年來(lái)幫助諸多合作伙伴因軟件安全、系統(tǒng)故障導(dǎo)致的航空問(wèn)題,而且在幫助合作商從軟件開(kāi)發(fā)、測(cè)試、交付、部署,到使用等全生命周期內(nèi),提供端到端軟件全生命周期的測(cè)試解決方案。

“十四五”期間,我國(guó)航空電子產(chǎn)業(yè)將迎來(lái)新一輪的發(fā)展良機(jī),新一代的航空電子系統(tǒng)不僅引進(jìn)了新的理念,而且有了新器件,需要新的開(kāi)發(fā)工具來(lái)支持。隨著5G通信、AI人工智能、VR虛擬現(xiàn)實(shí)等技術(shù)的快速進(jìn)步,航空電子系統(tǒng)的綜合化、智能化、模塊化水平不斷提高,已經(jīng)日益成為飛機(jī)不可或缺的組成部分,在保障飛機(jī)安全、保證運(yùn)行方面發(fā)揮著重要作用。在此背景下Parasoft將成為這個(gè)行業(yè)大勢(shì)中不可獲取的參與者,其將繼續(xù)為中國(guó)航空電子的安全和運(yùn)行上的,一道保險(xiǎn),成為中國(guó)航空電子產(chǎn)業(yè)陣營(yíng)中的,。(BM)

(免責(zé)聲明:本網(wǎng)站內(nèi)容主要來(lái)自原創(chuàng)、合作伙伴供稿和第三方自媒體作者投稿,凡在本網(wǎng)站出現(xiàn)的信息,均僅供參考。本網(wǎng)站將盡力確保所提供信息的準(zhǔn)確性及可靠性,但不保證有關(guān)資料的準(zhǔn)確性及可靠性,讀者在使用前請(qǐng)進(jìn)一步核實(shí),并對(duì)任何自主決定的行為負(fù)責(zé)。本網(wǎng)站對(duì)有關(guān)資料所引致的錯(cuò)誤、不確或遺漏,概不負(fù)任何法律責(zé)任。
任何單位或個(gè)人認(rèn)為本網(wǎng)站中的網(wǎng)頁(yè)或鏈接內(nèi)容可能涉嫌侵犯其知識(shí)產(chǎn)權(quán)或存在不實(shí)內(nèi)容時(shí),應(yīng)及時(shí)向本網(wǎng)站提出書面權(quán)利通知或不實(shí)情況說(shuō)明,并提供身份證明、權(quán)屬證明及詳細(xì)侵權(quán)或不實(shí)情況證明。本網(wǎng)站在收到上述法律文件后,將會(huì)依法盡快聯(lián)系相關(guān)文章源頭核實(shí),溝通刪除相關(guān)內(nèi)容或斷開(kāi)相關(guān)鏈接。 )