SmartRocket Prema是一款对标Stimulus的精确需求撰写、建模、分析工具，用于嵌入式软件开发的需求阶段，为用户提供需求撰写、需求确认、基于需求的模拟仿真、形式化需求验证和基于需求的测试用例自动生成等功能，从软件开发的源头确保正确性。
需求条目化管理，提供图片、公式、表格等多种富文本编辑方式。提供领域形式化需求模板，允许用户自定义需求模板。
包含数据依赖关系分析、状态迁移分析、量纲分析、类型分析、环路依赖检查等多个维度，需求模型确认阶段确保需求设计符合预期。
接收外部初始状态驱动需求执行，模拟系统中逻辑发生的本质过程，代替传统轨道交通领域测试中工程师的手动计算，提高计算的准确性和效率。
对用户给定的性质，判断在该性质需求中是否始终满足。如果存在不满足的情况，系统返回不满足的路径信息。
基于需求进行符合MC/DC版本的测试用例自动生成，避免人工撰写发生遗漏的问题，提高撰写效率。
语言设计符合领域特征，使用方式贴合工程习惯，学习成本低
测试用例基于需求生成，可用于一致性比对，确保实现符合需求
兼容word和ReqIf格式文档导入导出，便于资产复用
