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