南通颐猩文化传播有限公司

當(dāng)前位置:首頁 >  科技 >  IT業(yè)界 >  正文

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

 2021-06-29 14:30  來源: 互聯(lián)網(wǎng)   我來投稿 撤稿糾錯(cuò)

  域名預(yù)訂/競價(jià),好“米”不錯(cuò)過

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

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

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

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

DO-178C(機(jī)載系統(tǒng)和設(shè)備認(rèn)證中的軟件考慮)也被稱為適航符合性方法,國際上要求航空電子需要完全按照DO-178C中提出的過程要求來開發(fā)軟件,用于支撐適航規(guī)章,而目前行業(yè)一直在遵從DO-178C(比如國內(nèi)的DO-178B也是參照DO-178C的標(biāo)準(zhǔn))的標(biāo)準(zhǔn)開發(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)一致性的軟件測試挑戰(zhàn),要求也是行業(yè)最高級(jí)別的存在。上文中提到的Parasoft在民航電子軟件測試領(lǐng)域,有著三十多年的行業(yè)經(jīng)驗(yàn)和技術(shù)積累,尤其對(duì)于解決DO-178標(biāo)準(zhǔn)驗(yàn)證的挑戰(zhàn),Parasoft可提供端到端的全軟件生命周期測試需求。

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

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

基于航空電子對(duì)于軟件的安全性級(jí)別,Parasoft多年來形成了“對(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ò)的手工工作,而且大大提升航空電子軟件的安全性。

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

如今,面向服務(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ù)的功能測試、性能測試和服務(wù)虛擬化。

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

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

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

申請(qǐng)創(chuàng)業(yè)報(bào)道,分享創(chuàng)業(yè)好點(diǎn)子。點(diǎn)擊此處,共同探討創(chuàng)業(yè)新機(jī)遇!

相關(guān)標(biāo)簽
電子產(chǎn)品

相關(guān)文章

熱門排行

信息推薦