SmartRocket Modeler是一款國產自主可控的可視化建模開發工具。該工具支持嵌入式軟件模型的設計與開發，能夠從軟件需求出發，為用戶提供基于Lustre模型語言的圖形化建模、模型靜態檢查、模型仿真與調試、運行時驗證、C代碼自動生成等豐富便捷的功能。同時工具也支持銀河麒麟、中標麒麟等主流國產操作系統，為國內安全攸關領域的嵌入式軟件研制提供支撐平臺，為逐步擺脫對國外同類軟件的依賴提供有效解決方案。
客戶試用申請
根據對系統需求的分析，運用數據流構件、狀態機構件庫進行基于模型的系統設計。建模機制具有嚴格的數學語義。
從設計模型的類型檢查、量綱檢查、數據依賴關系分析、狀態遷移分析四個維度分析模型否滿足預定義的設計規則。
通過模型仿真和斷點調試確保模型在特定物理場景中動態運行能力，并對運行結果進行可視化展示滿足更直觀的分析。
通過模型測試功能，驗證模型運行結果是否符合預期，確保設計模型的正確性，通過覆蓋率分析功能確保測試的完備性。
在排除模型早期錯誤，保障模型一致性、正確性和安全性基礎上，通過模型、LUSTRE語言、代碼轉換，實現C代碼自動生成。
針對模型靜態檢查、仿真與調試、運行時驗證等過程，生成相應報告供用戶查看與存檔，同時報告格式支持定制化。
支持現有SCADE項目的一鍵導入，便于模型資產復用。
支持自動生成符合GJB 8114編碼規范C代碼，有效減少用戶重復編碼工作。
提供模型與代碼的追溯查看，直觀展示C代碼和模型的對應關系。
支持基于模型的測試，支持.sss文件的導入與解析。
支持典型國產操作系統環境，工具自主可控等級達到B級。
支持設計文檔自動生成，提供定制化服務適配領域特殊要求。
