SCADE軟件國產替代解決方案

點擊看大圖

如果您對該產品感興趣的話,可以

產品名稱: SCADE軟件國產替代解決方案

產品型號: Modelcoder

產品展商: 其它品牌

產品文檔: 無相關文檔

簡單介紹

Modelcoder形式化驗證的代碼生成工具軟件是高**性嵌入式軟件的開發標準，是SCADE軟件國產替代解決方案其應用領域涵蓋航空、國防、軌道交通、能源和重工業。替代SCADE軟件已經在中核、中廣核獲得應用，效果反應獲得用戶好評，真正的民族脊梁。SCADE軟件國產替代解決方案請直接致電埃登威

SCADE軟件國產替代解決方案 的詳細介紹

SCADE軟件國產替代解決方案

任務和**關鍵控制系統運行創建的軟件上

Modelcoder形式化驗證的代碼生成工具軟件是高**性嵌入式軟件的開發標準，是SCADE軟件國產替代解決方案其應用領域涵蓋航空、國防、軌道交通、能源和重工業。替代SCADE軟件已經在中核、中廣核獲得應用，效果反應獲得用戶好評，真正的民族脊梁。SCADE軟件國產替代解決方案請直接致電埃登威021-55581219

嵌入式軟件建模工具由國內清華大學康碩教授為核心團隊加上前華為員工組成的團隊經過4年時間開發而成，后于派進行商業化開發。

國產系統仿真平臺軟件已有客戶：
– 十二大**集團的八家:中核，中航工業，航天科技，航天科工，中國電子，中國電科，中船，商發，中核建是偏建筑工程等多家企業。是真正意義上國內**行業自主的仿真軟件。

中國航K工業集團有限公司	成都F機設計研究所西安航K計算技術研究所西安自動F行控制研究所洛陽電光S備研究所
中國航T科技集團有限公司	四川航T技術研究院上海航T技術研究院上海航T控制技術研究所上海衛X工程研究所
中國航T科工集團有限公司	航天X院航天X江集團
中國船B工業集團有限公司	中國船B工業系統工程研究院
中國電Z科技集團有限公司	第X研究所第5XX研究所
中國電Z信息產業集團有限公司	武漢中原D子集團有限公司
中國核工Y集團有限公司	中國He動力研究設計院廣東H電集團
中國航K發動機集團有限公司	中國航F商用航K發動機有限責任公司
高校合作	清華大學武漢理工大學重慶交通學院新疆農業職業技術學院中國礦業大學華南理工大學北京交通大學湖南大學合肥工業大學中國科學技術大學西安電子科技大學中山大學山東科技大學遼寧工程技術大學河南工業大學天津理工大學成都電子科技大學中國人民解放軍裝甲兵工程學院
其他客戶	華為北京星地恒通重慶慧爾科技蘇州勝利科技有限公司天津華寧電子大連微龍軟件有限公司廣州國筆科技公司北京國威集成技術有限公司

關于Scade軟件介紹：

Ansys SCADE Suite是一個基于模型的關鍵嵌入式軟件開發環境。SCADE Suite具有本地集成的形式化 Scade 語言，是用于關鍵應用的集成設計環境，涵蓋需求管理、基于模型的設計、仿真、驗證和可限制/認證級代碼生成，能夠與其他開發工具和平臺進行交互操作。SCADE軟件國產替代解決方案

哪里可以使用 SCADE Suite
SCADE Suite用于設計關鍵軟件，例如飛行控制和引擎控制系統、起落架系統、自動駕駛儀、動力和燃料管理系統、駕駛艙顯示器、軌道聯鎖系統和信號、自動列車操作、基于計算機的列車控制、緊急制動系統、超速保護、列車空位檢測、核電站控制、ADAS、電池管理系統、汽車中的電子助力轉向，以及許多其他航空航天、鐵路、能源、汽車或工業應用。

為關鍵應用量身定制MBSE軟件
通過簡化關鍵控制應用設計，以及驗證、可認證/認證級代碼生成和文檔生成的自動化，SCADE Suite大大降低了項目成本。SCADE Suite KCG 代碼生成器是符合 DO-178B 標準的 A 級開發工具和符合 DO-178C 標準的 DO-330 TQL-1 工具。同時它還符合 ISO 26262:2011 標準的 ASIL D 級和 C 級認證要求，并符合 IEC 61508 2010 標準的 T3/SIL 3 認證要求以及 EN 50128:2011 標準的 T3/SIL 3/4 認證要求。SCADE軟件國產替代解決方案

SCADE Suite KCG Certification Kits 提供認證機構各自標準指南所要求的以下材料：