SmartRocket Modeler是一款对标SCADE Suite的高可信嵌入式软件建模开发工具。支撑基于模型的开发与验证流程，可用于嵌入式软件开发的详细设计阶段和编码阶段，为用户提供基于SCADE模型语言的图形化建模、模型静态检查、模型仿真与调试、C代码自动生成、耦合度分析、基于模型的测试等功能。工具支持典型国产操作系统和处理器平台，技术团队可提供定制化开发服务。
客户试用申请
根据对系统需求的分析，运用数据流构件、状态机构件库进行基于模型的系统设计。建模机制具有严格的数学语义。
从设计模型的类型检查、数据依赖关系分析、状态迁移分析等维度分析模型否满足预定义的设计规则。
通过模型仿真和断点调试确保模型在特定物理场景中动态运行能力，并对运行结果进行可视化展示满足更直观的分析。
通过模型测试功能，验证模型运行结果是否符合预期，确保设计模型的正确性，通过覆盖率分析功能确保测试的完备性。
在排除模型早期错误，保障模型一致性、正确性和安全性基础上，通过模型、LUSTRE语言、代码转换，实现C代码自动生成。
针对模型静态检查、仿真与调试、运行时验证等过程，生成相应报告供用户查看与存档，同时报告格式支持定制化。
支持现有SCADE项目的一键导入，便于模型资产复用。
支持自动生成符合GJB 8114编码规范C代码，有效减少用户重复编码工作。
提供模型与代码的追溯查看，直观展示C代码和模型的对应关系。
支持基于模型的测试，支持.sss文件的导入与解析。
支持典型国产操作系统环境，工具自主可控等级达到B级。
支持设计文档自动生成，提供定制化服务适配领域特殊要求。
