MathWorks日前宣布推出DO 178 流程部署咨詢服務,即專門針對DO-178 項目的基于模型的設計咨詢服務。現在,通過使用符合DO 標準(如DO-178B、DO-178C 和DO-331)的matlab/">MATLAB和simulink/">Simulink、基于模型的開發方式以及針對DO-178C 和DO-278A 的輔助驗證,航空工程師們在開發高完整性應用程序方面的信心得到了增強。
DO-178 流程部署咨詢服務可為工程師提供標準指導,確定當前流程的差距,使用基于模型的設計提供進一步優化的流程框架的路線圖,并為該路線圖的部署提供幫助。在咨詢服務中,MathWorks 的顧問需要執行下述步驟:
1. 熟悉現有流程和工具:
查看現有飛行軟件開發流程、工具、應用程序、要求的安全等級(A-E) 以及計劃文檔
(包括工具鑒定)。
2. 差距分析:
通過在步驟1 中獲取的知識執行差距分析,識別對于使用基于模型設計的DO-178 流程框架來說,當前面臨的難題和可能需要的流程效率改進、培訓和改變。這包括使用階段性方法開發可行的路線圖,從而實現建議的改進。
3. 有針對性的指導:
提供指導以彌補步驟2 中發現的差距,介紹DO-178 的基本原則以及使用基于模型的設計的流程框架。根據需要檢查用于自動執行關鍵開發和驗證活動的工具,通常包括模型檢查、代碼生成、代碼審查和報告生成。
4. 實際部署支持:
將步驟3 中獲得的知識運用到特定項目。顧問可在多個領域提供幫助,包括建模、仿真、代碼生成、驗證、確認和認證。認證和合規幫助包括準備工具鏈和使用DO Qualification Kit 生成或創建文檔,如PSAC 和DO-178 工具鑒定工件。
MathWorks 的DO Qualification Kit有助于針對DO-178 及相關標準鑒定工具。對于基于DO-178 標準的項目,該工具集提供了文檔、測試用例以及程序來鑒定Simulink 或Polyspace 代碼驗證產品。
DO-178 流程部署咨詢服務補充了最近為高完整性汽車系統開發引入的ISO 26262 流程部署咨詢服務。
對于DO-178 支持,有關基于模型的設計的詳細信息,請觀看此MathWorks 在線研討會:Model-Based Design for DO-178 Using Tool Qualification Kits。
關于MathWorks
MathWorks 公司是數學計算軟件領域世界領先的開發商。它所推出的MATLAB 是一種用于算法開發、數據分析、可視化和數值計算的程序設計環境,稱為“科學計算的語言”。Simulink 是一種圖形環境,可用于對多領域動態系統和嵌入式系統進行仿真和模型化設計。全球的工程師和科學家們都依賴MathWorks 公司所提供的這些產品系列,來加快在汽車、航空、電子、金融服務、生物醫藥以及其他行業的發明、創新及開發的步伐。除此之外,MathWorks 產品還是基礎教學和研究工具,為全球眾多大學和教學機構所采用。MathWorks 創建于1984 年,總部位于美國馬薩諸塞州的內蒂克市(Natick, Massachusetts),在全球15 個國家/地區擁有2400 多名員工。有關詳細信息,請訪問www.mathworks.cn。