|
SCADE Display能夠幫助工程師進(jìn)行嵌入式圖形,顯示和人機(jī)界面的開發(fā)和認(rèn)證代碼生成,用于高安全要求的顯示系統(tǒng),如駕駛艙,抬頭顯示,頭盔,飛行管理系統(tǒng),交通和防撞系統(tǒng),健康監(jiān)測顯示系統(tǒng),以及車載導(dǎo)航系統(tǒng)和數(shù)字地圖,符合較嚴(yán)格的質(zhì)量標(biāo)準(zhǔn)和目標(biāo)。 通過從本地支持OpenGL? SC(安全關(guān)鍵)和ES(嵌入式系統(tǒng))標(biāo)準(zhǔn),SCADE Display代表著新一代圖形軟件開發(fā)工具,包含針對多種安全標(biāo)準(zhǔn)的原型構(gòu)建、顯示設(shè)計(jì)、仿真、確認(rèn)和驗(yàn)證以及認(rèn)證代碼生成等功能。 產(chǎn)品概覽 SCADE Display使用自動認(rèn)證的代碼生成技術(shù)提供WYSIWYG(所見即所得)設(shè)計(jì)輸入,顯著降低關(guān)鍵項(xiàng)目的成本。SCADE Display KCG Code Generator經(jīng)認(rèn)證成為符合DO-178B標(biāo)準(zhǔn)的開發(fā)工具,以及符合DO-178C下DO-330 TQL-1標(biāo)準(zhǔn)的工具。它還通過了ISO 26262、T3/SIL 3的IEC 61508:2010、以及T3/SIL 3/4的EN 50128:2011等標(biāo)準(zhǔn)的認(rèn)證。 開發(fā)HMI行為邏輯 - SCADE Suite讓用戶能夠開發(fā)與SCADE Display設(shè)計(jì)的圖形HMI相關(guān)的控制邏輯。 協(xié)同設(shè)計(jì) - 嵌入式應(yīng)用中關(guān)鍵行為邏輯和圖形組件在設(shè)計(jì)級的緊密集成 - SCADE Suite和SCADE Display設(shè)計(jì)之間的自動連接 協(xié)同仿真 - 在顯示應(yīng)用邏輯和圖形組件之間以白盒模式和黑盒模式進(jìn)行早期原型構(gòu)建與驗(yàn)證 - 以運(yùn)行時(shí)自由獨(dú)立可執(zhí)行文件的形式聯(lián)合運(yùn)行SCADE Suite模型和交互式SCADE Display規(guī)范 協(xié)同報(bào)告 - 在SCADE Suite模型和SCADE Display圖形規(guī)范之間集成自動報(bào)告生成功能 協(xié)同生成 - 集成部署SCADE Suite和SCADE Display生成的代碼 功能特點(diǎn) SCADE Display高級建模器 ? 高級建模器特性 ? 高質(zhì)量編輯 ? 交互式HMI的簡化設(shè)計(jì) ? 集成字體管理 ? 在現(xiàn)有環(huán)境中平穩(wěn)集成 ? 基于Java的Eclipse Model API ? 配置管理 SCADE Display仿真器和檢查器 ? SCADE Display仿真器 ? 交互式仿真 ? 早期符號體系驗(yàn)證 ? SCADE Display設(shè)計(jì)檢查器 ? 自動設(shè)計(jì)檢查 SCADE Display KCG ? 自動代碼生成 ? 生成的代碼屬性 ? 經(jīng)過認(rèn)證符合SCADE Display KCG 6.4.3 ? SCADE Display KCG 6.6 ? 代碼集成和部署 ? iOS集成 ? 安卓集成 |