SCADE Display
SCADE Display提供適用于嵌入式人機(jī)界面 (HMI) 的多功能圖形設(shè)計(jì)以及開發(fā)環(huán)境。
SCADE Display 原生支持 OpenGL? SC1 和 SC2(安全關(guān)鍵)以及 ES1 和 ES2(嵌入式系統(tǒng))標(biāo)準(zhǔn),代表著新一代圖形軟件開發(fā)工具,跨原型制樣、顯示設(shè)計(jì)、仿真、V&V 以及經(jīng)認(rèn)證的代碼生成(支持認(rèn)證環(huán)境中的多項(xiàng)安全標(biāo)準(zhǔn))。
SCADE Display 與 SCADE Suite 緊密集成,提供適用于嵌入式 HMI 及其行為邏輯的綜合性開發(fā)環(huán)境。
SCADE Display 的應(yīng)用
SCADE Display 被航空航天、軌道交通、汽車電子、核能及工業(yè)領(lǐng)域的先進(jìn)企業(yè)用作 HMI 顯示軟件原型制樣及開發(fā)工具。SCADE Display 不僅非常適用于關(guān)鍵嵌入式顯示系統(tǒng)(多功能顯示器、平視顯示器、汽車群集、數(shù)字儀表以及控制面板等)的設(shè)計(jì)支持,而且可為駕駛員、飛行員、船員或測試及維護(hù)團(tuán)隊(duì)創(chuàng)建圖表(電氣圖、液壓圖或車間模擬圖),二維/三維模擬器顯示和培訓(xùn)內(nèi)容。
專為關(guān)鍵嵌入式 HMI 而設(shè)計(jì)
SCADE Display 利用自動(dòng)認(rèn)證代碼生成技術(shù)提供 WYSIWYG 設(shè)計(jì)輸入,從而顯著降低關(guān)鍵項(xiàng)目成本。SCADE Display KCG 代碼生成器符合 DO-178B A 級(jí)認(rèn)證標(biāo)準(zhǔn)和 DO-178C 項(xiàng)下 DO-330 TQL-1 認(rèn)證標(biāo)準(zhǔn)。同時(shí)它還通過了 ISO 26262:2011 標(biāo)準(zhǔn) TCL3/ASIL D 級(jí)和 C 級(jí)認(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 Display KCG Certification Kits 提供認(rèn)證機(jī)構(gòu)需要的所有材料,包括:
工具鑒定計(jì)劃 (TQP)
工具操作需求 (TOR)
界面需求規(guī)范 (IRS)
工具完結(jié)綜述 (TAS) 或安全示例 (SC)
認(rèn)證標(biāo)準(zhǔn)合規(guī)性分析
工具安裝流程 (TIP)
工具配置索引 (TCI)
其他的標(biāo)準(zhǔn)特定文檔
主要功能和特點(diǎn):
圖形原型制樣及設(shè)計(jì)
SCADE Display功能包括在用戶友好界面下的高級(jí)建模功能、分層、樹形結(jié)構(gòu)以及高級(jí)編輯功能。高質(zhì)量編輯受到透明管理、紋理管理、掩模及光暈的支持。SCADE Display 還提供集成化字體管理以及豐富的 Widget 庫。用戶可以在模型級(jí)別將所有的外部 OpenGL 二維/三維圖形(遺留代碼、三維地形/地圖、三維物體)與 SCADE Display 層結(jié)合。
HMI 自動(dòng)化測試
SCADE Display 與SCADE Test集成,能進(jìn)行模型級(jí)別的早期HMI測試,可基于需求記錄和執(zhí)行場景、比較位圖以及生成測試一致性報(bào)告。
支持 Application LifeCycle Management
SCADE Display 與SCADE LifeCycle集成,支持需求管理和可追溯性、集成配置以及自動(dòng)化文檔生成。
交互仿真
只要在 SCADE Display 編譯器中描述過,即可仿真 HMI 設(shè)計(jì)或任何設(shè)計(jì)塊。SCADE Display 的仿真功能基于 SCADE Display 生成的實(shí)際代碼,提供了一個(gè)強(qiáng)大的可視化調(diào)試環(huán)境,在該環(huán)境下可以定義停止條件、設(shè)置時(shí)鐘周期內(nèi)的斷點(diǎn)并檢查內(nèi)部變量,還可以記錄及回放場景。ASCII 格式的場景易于將 SCADE Display 仿真階段集成在現(xiàn)有工作流程內(nèi)。
完整設(shè)計(jì)檢查
借助SCADE Display的獨(dú)特設(shè)計(jì)檢查功能,用戶可以在創(chuàng)建原型和設(shè)計(jì)階段的早期,根據(jù)命名及圖形設(shè)計(jì)規(guī)則執(zhí)行顯示規(guī)格的合規(guī)性檢查。
HMI 行為邏輯設(shè)計(jì)
SCADE Display有助于用戶根據(jù)SCADE Suite基于模型開發(fā)和驗(yàn)證環(huán)境中的行為邏輯來完善HMI軟件。
自動(dòng)化代碼及 HMI 生成
SCADE Display KCG 提供簡潔高效的代碼生成功能,能夠生成適用于嵌入式 HMI 的可讀、可追溯且可重定向的 ANSI C 代碼。通過 SCADE Display OGLX(它是 KCG 對(duì) OpenGL 擴(kuò)展)可移植 C 代碼庫(該庫可以隨 SCADE Display KCG 一起提供),來支持 OpenGL、OpenGL SC 1.x(安全關(guān)鍵)、OpenGL SC 2.0、OpenGL ES 1.1(嵌入式系統(tǒng))、OpenGL ES 2.0 標(biāo)準(zhǔn)。生成的代碼可立即與 COTS 或各種專有的 OpenGL 圖形庫(不論認(rèn)證與否)集成。SCADE Display KCG 還可輕松對(duì)準(zhǔn)所有的專有嵌入式目標(biāo)平臺(tái)。
關(guān)鍵安全標(biāo)準(zhǔn)認(rèn)證
SCADE Display KCG 是適用于 SCADE Display 的 C 代碼生成器,它經(jīng)過 DO-178B A 級(jí)認(rèn)證,DO-178C/DO-330 TQL-1 認(rèn)證, IEC 61508 SIL 3 認(rèn)證和 EN 50128 SIL 3/4 認(rèn)證,以及 ISO 26262 ASIL D 認(rèn)證。
SCADE Display KCG Certification Kits(DO-178B & C、EN 50128、IEC 61508 以及 ISO 26262)中包含提交給認(rèn)證機(jī)構(gòu)的證明材料,該等材料證明 SCADE Display KCG 代碼生成器以及 OGLX 庫是按照最高級(jí)別的安全標(biāo)準(zhǔn)開發(fā)的。您可以通過這些認(rèn)證包訪問您在執(zhí)行一些認(rèn)證任務(wù)中所需的文檔。
與系統(tǒng)仿真工具的連通性
SCADE Display 通過 FMI/FMU 協(xié)同仿真標(biāo)準(zhǔn)與 Twin Builder 無縫集成,可用于交互式 E/E 以及多物理場系統(tǒng)仿真。