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ù)學語義。
從設(shè)計模型的類型檢查、量綱檢查、數(shù)據(jù)依賴關(guān)系分析、狀態(tài)遷移分析四個維度分析模型否滿足預定義的設(shè)計規(guī)則。
通過模型仿真和斷點調(diào)試確保模型在特定物理場景中動態(tài)運行能力,并對運行結(jié)果進行可視化展示滿足更直觀的分析。
通過模型測試功能,驗證模型運行結(jié)果是否符合預期,確保設(shè)計模型的正確性,通過覆蓋率分析功能確保測試的完備性。
在排除模型早期錯誤,保障模型一致性、正確性和安全性基礎(chǔ)上,通過模型、LUSTRE語言、代碼轉(zhuǎn)換,實現(xiàn)C代碼自動生成。
針對模型靜態(tài)檢查、仿真與調(diào)試、運行時驗證等過程,生成相應報告供用戶查看與存檔,同時報告格式支持定制化。
支持現(xiàn)有SCADE項目的一鍵導入,便于模型資產(chǎn)復用。
支持自動生成符合GJB 8114編碼規(guī)范C代碼,有效減少用戶重復編碼工作。
提供模型與代碼的追溯查看,直觀展示C代碼和模型的對應關(guān)系。
支持基于模型的測試,支持.sss文件的導入與解析。
支持典型國產(chǎn)操作系統(tǒng)環(huán)境,工具自主可控等級達到B級。
支持設(shè)計文檔自動生成,提供定制化服務適配領(lǐng)域特殊要求。