SmartRocket Modeler是一款国产自主可控的可视化建模开发工具。该工具支持嵌入式软件模型的设计与开发,能够从软件需求出发,为用户提供基于Lustre模型语言的图形化建模、模型静态检查、模型仿真与调试、运行时验证、C代码自动生成等丰富便捷的功能。同时工具也支持银河麒麟、中标麒麟等主流国产操作系统,为国内安全攸关领域的嵌入式软件研制提供支撑平台,为逐步摆脱对国外同类软件的依赖提供有效解决方案。
欢迎试用根据对系统需求的分析,运用数据流构件、状态机构件库进行基于模型的系统设计。建模机制具有严格的数学语义。
从设计模型的类型检查、量纲检查、数据依赖关系分析、状态迁移分析四个维度分析模型否满足预定义的设计规则。
通过模型仿真和断点调试确保模型在特定物理场景中动态运行能力,并对运行结果进行可视化展示满足更直观的分析。
对需要验证性质进行性质关联并验证构建的性质模型,确保是否满足待验性质从而来保证模型的安全性与可靠性。
在排除模型早期错误,保障模型一致性、正确性和安全性基础上,通过模型、LUSTRE语言、代码转换,实现C代码自动生成。
针对模型静态检查、仿真与调试、运行时验证等过程,生成相应报告供用户查看与存档,同时测试报告支持定制化。
丰富可拓展的预定义构件库可用于连续、离散及混合系统等,适用面广泛。
直观图形化建模界面,在统一可视化环境中采用拖拽的方式进行模型设计。
基于预定义的设计规则判断模型本身是否存在矛盾,排除开发早期的模型错误。
一键动态仿真调试与模型验证、多维度可视化仿真数据与验证结果反例追溯。
自动生成符合国军标8114标准的C代码,有效减少用户重复编码工作。
支持国产典型操作系统和处理器平台,为国内高端制造领域的嵌入式软件研制提供支撑平台。