Ansys SCADE Suite
功能
應(yīng)用
案例
基于模型的關(guān)鍵嵌入式軟件開發(fā)環(huán)境
Ansys SCADE Suite是用于可靠嵌入式軟件的基于模型的開發(fā)環(huán)境，它提供了與需求管理、基于模型的設(shè)計、驗證、合格/認(rèn)證代碼生成功能以及與其他開發(fā)工具和平臺的互操作性的鏈接。
在Ansys SCADE Suite中創(chuàng)建可靠的嵌入式控制軟件
現(xiàn)代汽車、飛機(jī)和其他復(fù)雜的工業(yè)產(chǎn)品由多個電子元件組成，完美集成以提供關(guān)鍵功能。這些先進(jìn)系統(tǒng)的基礎(chǔ)是數(shù)百萬行嵌入式軟件代碼，確保在每個操作場景下都能完美運行。
Ansys SCADE Suite在不影響關(guān)鍵應(yīng)用程序的安全性和可靠性的情況下，節(jié)省了驗證工作并提高了生產(chǎn)效率。
·為關(guān)鍵應(yīng)用程序量身定制
·驗證和確認(rèn)
·高級基于模型的軟件設(shè)計
·自動代碼生成
Ansys SCADE Suite通過簡化關(guān)鍵控制應(yīng)用程序設(shè)計、自動化驗證、合格/認(rèn)證代碼生成和文檔生成，大大降低了安全認(rèn)證成本。
Ansys SCADE Suite憑借其對互操作性標(biāo)準(zhǔn)的支持以及基于Python的定制功能，在用戶流中無縫集成。
·成本降低高達(dá)50%
·認(rèn)證代碼生成
·基于Python的API
·VRX、TwinBuilder集成
·端到端可追溯性
·無縫目標(biāo)集成
·FMU-FMI、AUTOSAR支持
·Simulink導(dǎo)入、S-Function導(dǎo)出
·減少手動測試
·保證模型完整性
·無縫用戶流集成
·MISRA合規(guī)性
聯(lián)系電話：027-87878386
郵箱：market@ueotek.com
關(guān)注武漢宇熠、UEOTEK公眾號
航空航天領(lǐng)域
飛行控制系統(tǒng)：用于飛機(jī)自動駕駛儀、飛行管理系統(tǒng)等飛行控制軟件的設(shè)計和開發(fā)。
航空發(fā)動機(jī)控制：對航空發(fā)動機(jī)控制系統(tǒng)進(jìn)行建模、仿真和代碼生成。
綜合空氣管理系統(tǒng)：構(gòu)建飛機(jī)綜合空氣管理系統(tǒng)控制軟件，包括空調(diào)系統(tǒng)、客艙空氣分配系統(tǒng)、機(jī)翼防冰系統(tǒng)等的控制邏輯。
汽車電子領(lǐng)域
高級駕駛輔助系統(tǒng)（ADAS）：助力汽車自適應(yīng)巡航控制、自動緊急制動、車道保持輔助等 ADAS 功能的設(shè)計和開發(fā)。
動力系統(tǒng)控制：用于汽車發(fā)動機(jī)、變速器等動力系統(tǒng)控制軟件設(shè)計。
車身電子控制系統(tǒng)：開發(fā)車身電子控制系統(tǒng)，如車身穩(wěn)定控制系統(tǒng)、防抱死制動系統(tǒng)等。
軌道交通領(lǐng)域
列車控制系統(tǒng)：設(shè)計列車自動控制系統(tǒng)，包括列車自動駕駛、列車自動防護(hù)、列車自動監(jiān)控等子系統(tǒng)。
信號系統(tǒng)：構(gòu)建軌道交通信號控制軟件。
能源領(lǐng)域
核能發(fā)電：應(yīng)用于核電站控制系統(tǒng)設(shè)計，如反應(yīng)堆保護(hù)系統(tǒng)、功率控制系統(tǒng)等。
可再生能源：用于太陽能、風(fēng)能等可再生能源發(fā)電系統(tǒng)控制軟件設(shè)計，如風(fēng)力發(fā)電機(jī)的變槳距控制、最大功率點跟蹤控制等系統(tǒng)的開發(fā)。
工業(yè)自動化領(lǐng)域
機(jī)器人控制：用于機(jī)器人控制系統(tǒng)設(shè)計。
自動化生產(chǎn)線控制：構(gòu)建自動化生產(chǎn)線控制系統(tǒng)。
國防軍工領(lǐng)域
用于軍事裝備的嵌入式軟件系統(tǒng)開發(fā)，如導(dǎo)彈的制導(dǎo)與控制系統(tǒng)、雷達(dá)的信號處理與控制系統(tǒng)、軍艦的綜合管理系統(tǒng)等。
Rail-Mail確保鐵路系統(tǒng)的功能安全
介紹
Rail-Mail正在開發(fā)一種新的基于通信的列車控制（CBTC）系統(tǒng)，該系統(tǒng)主要基于Rail-Mil自己的硬件組件，完全符合歐洲列車控制系統(tǒng)（ETCS）以及獨特的雙向無線數(shù)據(jù)傳輸。具有移動閉塞原理功能的CBTC實現(xiàn)確保了能效高的列車自動控制，并在GoA3級上實現(xiàn)了行車間隔優(yōu)化，為GoA4級自主運行做好了充分準(zhǔn)備。
挑戰(zhàn)
為了完成該項目，Rail-Mail必須：
·開發(fā)CBTC級列車自動控制系統(tǒng)的嵌入式控制軟件
·驗證系統(tǒng)在所有操作條件下的安全性
按時按預(yù)算實現(xiàn)這一目標(biāo)的唯一方法是使用基于模型的工程技術(shù)來分析系統(tǒng)的安全性，捕獲軟件的行為并自動生成代碼。
EN 50128鐵路軟件安全標(biāo)準(zhǔn)建議使用基于模型的軟件開發(fā)和驗證工具，以滿足安全相關(guān)系統(tǒng)開發(fā)的需要，尤其是達(dá)到最高安全完整性級別（SIL），達(dá)到SIL 4。
工程解決方案
使用的軌道-郵件Ansys SCADE公司在靜止（軌旁）部件上生成60%的ATO（列車自動運行）計算機(jī)嵌入式代碼和80%的MAC（與現(xiàn)有SIL 4聯(lián)鎖系統(tǒng)的接口連接）嵌入式代碼。
對于列車上的組件，他們使用SCADE為ATO和ATP（列車自動保護(hù)）功能生成90%的嵌入式代碼，包括：
·完成用于ATO ATP功能執(zhí)行的rmVC重要計算機(jī)
·基于慣性測量單元支持的傳感器融合方法的智能里程計子系統(tǒng)
·基于WiFi的里程計
·標(biāo)簽傳輸模塊
·I/O列車控制信號接口
此外，Rail-Mail使用了Ansys medini analyze根據(jù)鐵路安全標(biāo)準(zhǔn)EN 50129進(jìn)行安全案例記錄和分析。在這種情況下，根據(jù)鐵路標(biāo)準(zhǔn)要求采用FMEA工作表。
優(yōu)點
·易于閱讀的SCADE模型，便于沒有計算機(jī)科學(xué)技能的鐵路工程師更好地理解
·基于系統(tǒng)模型的自動代碼生成
·生成EN 50128 SIL 4合格/認(rèn)證代碼
·為系統(tǒng)規(guī)范和驗證節(jié)省時間
·快速分析潛在故障的原因/影響
·使用不到半年后，將現(xiàn)有功能遷移到Ansys SCADE
·項目團(tuán)隊之間輕松交換信息
·將SCADE生成的測試文件附在系統(tǒng)安全案例中
·整個系統(tǒng)認(rèn)證過程中的Ansys支持
