ANSYS SCADE Suite

SCADE Suite是用于關(guān)鍵應(yīng)用的、基于模型的開(kāi)發(fā)環(huán)境。它覆蓋了需求管理，基于模型的設(shè)計(jì)，仿真，驗(yàn)證，質(zhì)量/認(rèn)證代碼生成，能夠與其他研發(fā)環(huán)境和平臺(tái)進(jìn)行交互操作。

產(chǎn)品概覽

通過(guò)簡(jiǎn)化關(guān)鍵控制應(yīng)用設(shè)計(jì)，以及驗(yàn)證、可修改/認(rèn)證代碼生成和文檔生成的自動(dòng)化，SCADE Suite大大降低了項(xiàng)目成本。 SCADE Suite KCG Code Generator 已符合DO-178B A級(jí)的開(kāi)發(fā)工具資格或DO-178C的DO-330 TQL-1 工具資格，依據(jù)ISO 26262:2011符合ASIL D和C資格，并根據(jù)IEC 61508 2010符合T3/SIL 3 和 EN 50128:2011符合T3/SIL 3/4認(rèn)證資格。

SCADE Suite KCG Certification Kits提供相應(yīng)認(rèn)證機(jī)構(gòu)標(biāo)準(zhǔn)要求的全部所需材料。 針對(duì)在SCADE Display中設(shè)計(jì)的圖形化HMI,ANSYS SCADE Suite能幫助您設(shè)計(jì)與其相關(guān)的控制邏輯，并與 SCADE LifeCycle集成。它還提供項(xiàng)目監(jiān)控、需求管理和可跟蹤性功能，并自動(dòng)生成文檔。

功能特點(diǎn)

軟件原型與設(shè)計(jì)
?高級(jí)模型化設(shè)計(jì)
?面向Eclipse的SCADE API

SCADE Suite時(shí)序與堆棧優(yōu)化器
?利用時(shí)序與堆棧優(yōu)化器進(jìn)行時(shí)序與堆棧尺寸優(yōu)化

基于仿真的測(cè)試：分析與報(bào)告
?創(chuàng)建圖形及表格報(bào)告
?導(dǎo)出到其它環(huán)境

SCADE Suite形式化驗(yàn)證器

SCADE Suite時(shí)序與堆棧驗(yàn)證器