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