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