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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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