SmartRocket Modeler / 高可信嵌入式软件建模开发工具

产品概述

SmartRocket Modeler是一款国产自主可控的可视化建模开发工具。该工具支持嵌入式软件模型的设计与开发,能够从软件需求出发,为用户提供基于Lustre模型语言的图形化建模、模型静态检查、模型仿真与调试、运行时验证、C代码自动生成等丰富便捷的功能。同时工具也支持银河麒麟、中标麒麟等主流国产操作系统,为国内安全攸关领域的嵌入式软件研制提供支撑平台,为逐步摆脱对国外同类软件的依赖提供有效解决方案。

欢迎试用

特色功能

  • 图形化建模

    根据对系统需求的分析,运用数据流构件、状态机构件库进行基于模型的系统设计。建模机制具有严格的数学语义。

  • 模型静态检查

    从设计模型的类型检查、量纲检查、数据依赖关系分析、状态迁移分析四个维度分析模型否满足预定义的设计规则。

  • 模型仿真与调试

    通过模型仿真和断点调试确保模型在特定物理场景中动态运行能力,并对运行结果进行可视化展示满足更直观的分析。

  • 运行时验证

    对需要验证性质进行性质关联并验证构建的性质模型,确保是否满足待验性质从而来保证模型的安全性与可靠性。

  • 代码自动生成

    在排除模型早期错误,保障模型一致性、正确性和安全性基础上,通过模型、LUSTRE语言、代码转换,实现C代码自动生成。

  • 报告生成与定制

    针对模型静态检查、仿真与调试、运行时验证等过程,生成相应报告供用户查看与存档,同时测试报告支持定制化。

价值优势

  • 丰富可拓展构件库

    丰富可拓展的预定义构件库可用于连续、离散及混合系统等,适用面广泛。

  • 高效易用建模环境

    直观图形化建模界面,在统一可视化环境中采用拖拽的方式进行模型设计。

  • 全方位静态检查

    基于预定义的设计规则判断模型本身是否存在矛盾,排除开发早期的模型错误。

  • 动态仿真与验证

    一键动态仿真调试与模型验证、多维度可视化仿真数据与验证结果反例追溯。

  • 有效C代码生成

    自动生成符合国军标8114标准的C代码,有效减少用户重复编码工作。

  • 国产化环境支持

    支持国产典型操作系统和处理器平台,为国内高端制造领域的嵌入式软件研制提供支撑平台。

典型应用

  • 航空航天

  • 汽车电子

  • 轨道交通