美国伦理〈欲女春潮〉|美国伦理〈欲奴3〉|美国伦理巜交换做爰|宝贝腿开大点我添添你下边美国|美国色情巜春药2|美国A片巜禁忌5

SmartRocket Modeler / 高可信嵌入式軟件建模開發(fā)工具

產(chǎn)品概述

SmartRocket Modeler是一款國產(chǎn)自主可控的可視化建模開發(fā)工具。該工具支持嵌入式軟件模型的設(shè)計與開發(fā),能夠從軟件需求出發(fā),為用戶提供基于Lustre模型語言的圖形化建模、模型靜態(tài)檢查、模型仿真與調(diào)試、運行時驗證、C代碼自動生成等豐富便捷的功能。同時工具也支持銀河麒麟、中標麒麟等主流國產(chǎn)操作系統(tǒng),為國內(nèi)安全攸關(guān)領(lǐng)域的嵌入式軟件研制提供支撐平臺,為逐步擺脫對國外同類軟件的依賴提供有效解決方案。

客戶試用申請

特色功能

  • 圖形化建模

    根據(jù)對系統(tǒng)需求的分析,運用數(shù)據(jù)流構(gòu)件、狀態(tài)機構(gòu)件庫進行基于模型的系統(tǒng)設(shè)計。建模機制具有嚴格的數(shù)學語義。

  • 模型靜態(tài)檢查

    從設(shè)計模型的類型檢查、量綱檢查、數(shù)據(jù)依賴關(guān)系分析、狀態(tài)遷移分析四個維度分析模型否滿足預定義的設(shè)計規(guī)則。

  • 模型仿真與調(diào)試

    通過模型仿真和斷點調(diào)試確保模型在特定物理場景中動態(tài)運行能力,并對運行結(jié)果進行可視化展示滿足更直觀的分析。

  • 基于模型的測試

    通過模型測試功能,驗證模型運行結(jié)果是否符合預期,確保設(shè)計模型的正確性,通過覆蓋率分析功能確保測試的完備性。

  • 代碼自動生成

    在排除模型早期錯誤,保障模型一致性、正確性和安全性基礎(chǔ)上,通過模型、LUSTRE語言、代碼轉(zhuǎn)換,實現(xiàn)C代碼自動生成。

  • 報告生成與定制

    針對模型靜態(tài)檢查、仿真與調(diào)試、運行時驗證等過程,生成相應報告供用戶查看與存檔,同時報告格式支持定制化。

價值優(yōu)勢

  • 兼容SCADE

    支持現(xiàn)有SCADE項目的一鍵導入,便于模型資產(chǎn)復用。

  • 規(guī)范化C代碼生成

    支持自動生成符合GJB 8114編碼規(guī)范C代碼,有效減少用戶重復編碼工作。

  • 代碼可追溯

    提供模型與代碼的追溯查看,直觀展示C代碼和模型的對應關(guān)系。

  • 基于模型的測試

    支持基于模型的測試,支持.sss文件的導入與解析。

  • 國產(chǎn)自主可控

    支持典型國產(chǎn)操作系統(tǒng)環(huán)境,工具自主可控等級達到B級。

  • 定制化設(shè)計文檔

    支持設(shè)計文檔自動生成,提供定制化服務適配領(lǐng)域特殊要求。

典型應用

  • 航空航天

  • 汽車電子

  • 軌道交通

枞阳县| 望都县| 宿松县| 垫江县| 平邑县| 宁南县| 福海县| 文昌市| 东安县| 鄢陵县| 鸡东县| 曲阳县| 冷水江市| 右玉县| 阳泉市| 沙雅县| 芜湖市| 吴忠市| 枣庄市| 中西区| 五常市| 巧家县| 彰化市| 鄂伦春自治旗| 黄平县| 赤水市| 新营市| 永仁县| 巴彦淖尔市| 宜章县| 襄城县| 河南省| 巴里| 高要市| 周至县| 文昌市| 保康县| 沁源县| 梁山县| 喀什市| 星座|