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