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