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

2021(第十屆)飛機(jī)航空電子國際論壇于6月22日-23日在上海召開,本屆論壇以“關(guān)注飛機(jī)航空電子系統(tǒng)與設(shè)備數(shù)智化發(fā)展”為主題,結(jié)合未來飛機(jī)和電子技術(shù)發(fā)展趨勢,集中討論了飛機(jī)航空電子系統(tǒng)與設(shè)備數(shù)智化的主題,邀請了包括中國航空、中國商飛、上海交大、中國民航、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引領(lǐng)航空電子軟件安全數(shù)智化時(shí)代

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

過去十年,我國民用航空市場增長迅速,民用航空工業(yè)逐步融入世界航空產(chǎn)業(yè)鏈,CR929、C919、ARJ21、新舟系列支線客機(jī)、C系列直升機(jī)等國產(chǎn)民機(jī)型號的研制與運(yùn)營,為我國民航強(qiáng)國戰(zhàn)略和制造強(qiáng)國戰(zhàn)略提供了重要支撐。作為民用航空安全的核心構(gòu)成部分,航空電子系統(tǒng)的安全性和可靠性水平,成為制約中國民航事業(yè)發(fā)展的桎梏。針對這一難題,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)對軟件的全生命周期做了詳細(xì)的規(guī)定和要求,從最早的需求分析(系統(tǒng)設(shè)計(jì))、概要設(shè)計(jì)、詳細(xì)設(shè)計(jì)均有詳細(xì)的標(biāo)準(zhǔn)要求。畢竟對于需要飛上天的工具,相比陸地工具對于軟件的安全性和可靠性有著更高的要求,對于遵從DO-178標(biāo)準(zhǔn)一致性的軟件測試挑戰(zhàn),要求也是行業(yè),級別的存在。上文中提到的Parasoft在民航電子軟件測試領(lǐng)域,有著三十多年的行業(yè)經(jīng)驗(yàn)和技術(shù)積累,尤其對于解決DO-178標(biāo)準(zhǔn)驗(yàn)證的挑戰(zhàn),Parasoft可提供端到端的全軟件生命周期測試需求。

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

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

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

基于航空電子對于軟件的安全性級別,Parasoft多年來形成了“對于航空軟件安全領(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)場交流

如今,面向服務(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ù)虛擬化。

對此,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),對于困擾測試人員盡早開展工作難以訪問的、相對獨(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è)陣營中的,。(BM)

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