SmartRocket Prema是一款對標(biāo)Stimulus的精確需求撰寫、建模、分析工具，用于嵌入式軟件開發(fā)的需求階段，為用戶提供需求撰寫、需求確認(rèn)、基于需求的模擬仿真、形式化需求驗(yàn)證和基于需求的測試用例自動(dòng)生成等功能，從軟件開發(fā)的源頭確保正確性。
需求條目化管理，提供圖片、公式、表格等多種富文本編輯方式。提供領(lǐng)域形式化需求模板，允許用戶自定義需求模板。
包含數(shù)據(jù)依賴關(guān)系分析、狀態(tài)遷移分析、量綱分析、類型分析、環(huán)路依賴檢查等多個(gè)維度，需求模型確認(rèn)階段確保需求設(shè)計(jì)符合預(yù)期。
接收外部初始狀態(tài)驅(qū)動(dòng)需求執(zhí)行，模擬系統(tǒng)中邏輯發(fā)生的本質(zhì)過程，代替?zhèn)鹘y(tǒng)軌道交通領(lǐng)域測試中工程師的手動(dòng)計(jì)算，提高計(jì)算的準(zhǔn)確性和效率。
對用戶給定的性質(zhì)，判斷在該性質(zhì)需求中是否始終滿足。如果存在不滿足的情況，系統(tǒng)返回不滿足的路徑信息。
基于需求進(jìn)行符合MC/DC版本的測試用例自動(dòng)生成，避免人工撰寫發(fā)生遺漏的問題，提高撰寫效率。
語言設(shè)計(jì)符合領(lǐng)域特征，使用方式貼合工程習(xí)慣，學(xué)習(xí)成本低
測試用例基于需求生成，可用于一致性比對，確保實(shí)現(xiàn)符合需求
兼容word和ReqIf格式文檔導(dǎo)入導(dǎo)出，便于資產(chǎn)復(fù)用
