產品及服務 > DO Qualification Kit, DO 品質驗證套裝組:針對 DO-178
DO Qualification Kit, DO 品質驗證套裝組:針對 DO-178

Introduction
本套件提供文檔、測試情況及程序,能讓您在DO- 178標準下驗證Simulink®或Polyspace®或體工具的項目。該套件包含工具品質計劃、工具操作要求規格,以及其他軟體驗證工具所需的額外需求文件。使用此套件,可以簡化使用Simulink或Polyspace產品開發嵌入式系統的認證流程。 本工具箱使用需搭配MATLAB。

Key Features

  • 提供軟體工具的品質認證計劃和軟體操作規格需求的文件
  • 提供測試範例模型及測試程式碼,測試程序,以及預期的結果
  • 可做出規格需求的可追溯性表格與測試結果相對應
  • 提供Simulink的驗證,有效性確認和測試工具的品質認證工具
  • 提供PolySpace程式碼驗證工具的品質認證工具
  • 支援DO-178以及DO-331以模型為基礎的開發及有效性檢測,以及針對DO-178C和DO-278A的輔助驗證