SCADE Suite
SCADE Suite為用戶提供用于關鍵嵌入式軟件的、基于模型的開發(fā)環(huán)境。SCADE Suite 具有本地集成的正式定義 Scade 語言，是用于關鍵應用的集成設計環(huán)境，涵蓋需求管理，基于模型的設計，仿真，驗證，質量/認證代碼生成，能夠與其他開發(fā)工具和平臺進行交互操作。
SCADE Suite 用于設計關鍵軟件，例如飛行控制和發(fā)動機控制系統(tǒng)，起落架系統(tǒng)，自動駕駛儀，動力和燃料管理系統(tǒng)，駕駛艙顯示器，軌道聯(lián)鎖系統(tǒng)和信號，自動列車操作，基于計算機的列車控制，緊急制動系統(tǒng)，超速保護，列車空位檢測，核電站控制，汽車中的自動數據采集系統(tǒng) (ADAS)，以及許多其它航空航天、鐵路、能源、汽車或工業(yè)應用。
通過簡化關鍵控制應用設計，以及驗證、質量/認證代碼生成和文檔生成的自動化，SCADE Suite 大大降低了項目成本。SCADE Suite KCG Code Generator 是符合 DO-178B 標準的 A 級開發(fā)工具或符合 DO-178C 標準的 DO-330 TQL-1 工具。同時它還符合 ISO 26262:2011 標準的 ASIL D 級和 C 級認證要求，并符合 IEC 61508 2010 標準的 T3/SIL 3 認證要求以及 EN 50128:2011 標準的 T3/SIL 3/4 認證要求。
SCADE Suite KCG Certification Kits 提供相應認證機構標準指南要求的以下材料：
工具鑒定計劃 (TQP)
工具操作要求 (TOR)
工具完結綜述 (TAS) 或安全案例 (SC)
認證標準合規(guī)性分析
軟件安裝過程 (SIP)
工具配置索引 (TCI)
其他標準特定文檔
針對SCADE Suite 應用程序的 DO-178B 和 DO-178C 認證計劃是一套通用計劃，支持使用 SCADE Suite 開發(fā)的 A 和 B 級應用程序的認證。
主要功能和特點：
基于模型的高級設計
SCADE Suite Advanced Modeler 在完全集成的環(huán)境下提供了軟件數據流和狀態(tài)機的設計和仿真功能。該環(huán)境可連接到配置管理工具、SCADE Display、SCADE System、Twin Builder、National Instruments Veristand? 和 FMI 兼容工具。
與軟件架構設計同步
SCADE Architect 和 SCADE Suite 集成為用戶提供完整軟件設計過程（從架構到組件的詳細設計）所需的所有工具。
時序與堆棧尺寸優(yōu)化
SCADE Suite 時序與堆棧優(yōu)化器估算應用程序中相對最壞情況運行時間 (WCET) 或任務堆棧使用情況。根據估算結果，用戶可以很容易地集中精力對造成較長運行時間或內存使用不理想的應用程序部分開展迭代。
仿真和調試
SCADE Suite 的仿真功能基于 SCADE Suite 生成的實際代碼，提供了一個強大的可視化調試環(huán)境；在該環(huán)境下可以定義執(zhí)行周期內的停止條件、設置斷點，并檢查內部變量和輸出值?？梢杂涗洸⒒胤徘榫?。情景的 ASCII 格式易于將 SCADE Suite 仿真階段集成在現有工作流程內。通過采用 Tcl 腳本語言，用戶可以自定義 SCADE Suite 仿真任務并使其自動化。
設計驗證
SCADE Suite Design Verifier (DV) 是一個輔助驗證工具，用以正式表達和評估安全要求，以便在開發(fā)早期就能很容易地檢測到錯誤。
自動代碼生成
SCADE Suite KCG 是 Scade 模型的 C 和 Ada 代碼生成器。經過認證成為符合 A 級 DO-178B 軟件標準和 DO-178C/DO-330 TQL-1 標準的開發(fā)工具，同時它還符合 IEC 61508 SIL 3、EN 50128 SIL 3/4 以及 ISO 26262 ASIL D 軟件標準。
最佳的鑒定/認證支持
SCADE Suite 工具包為嵌入式應用程序的開發(fā)提供一個完整的解決方案，用于具有質量/認證代碼生成器、目標編譯器驗證套件和通用開發(fā)計劃的高完整性級嵌入式應用程序。
系統(tǒng)仿真能力
Twin Builder的系統(tǒng)仿真能力通過在一個環(huán)境中連接硬件和軟件，幫助用戶構建完整的虛擬系統(tǒng)原型。
SCADE 工具集成
SCADE Suite 可輕松與系統(tǒng)架構設計、HMI 開發(fā)、測試和應用程序生命周期管理工具集成，為所有嵌入式軟件開發(fā)活動提供完整的環(huán)境。
