0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

上海控安SmartRocket系列:可视化建模开发工具

上海控安 来源:上海控安 作者:上海控安 2022-08-08 17:44 次阅读

行业背景

随着计算机技术的快速发展、工业制造业的不断升级,对安全关键系统的要求也越来越严格,从而使得软件应用在安全关键系统中承担越来越多的功能。与此同时软件的规模和复杂度也不断提升,导致软件的缺陷密度和失效问题也显著增加。近半个世纪以来,由于软件问题造成安全关键系统出现故障所导致的损失难以衡量,传统的软件开发模式已无法满足越来越繁杂庞大的安全关键系统,因此SmartRocket Modeler可视化建模开发工具应需而生。该产品可实现国外垄断工具的国产化替代,解决需求建模、验证领域的“卡脖子”技术,可填补国内在数据流可视化建模和验证领域的空白,并达到国内先进水平。

产品概述


0N14509g25d4lZ1365ucdZqGPu1fQCS9.png

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


产品功能


01图形化建模

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

EX0zl5654o9F9El163Z2wf1i64Uy7YtS.png


02模型静态检查

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

41Vt3bJ0xv93pD9jb6KYGvEy706254J9.png


03模型仿真与调试

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

iv9zJuN50C6A212f9nzN7044rLJI804l.png

04运行时验证

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

Oz7R95cs4d9Ya84466H7yxIO9O1Z7oC0.png

05代码自动生成

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

80p8856GoP59Y9U1VhwIFn914FPNk4u5.png

06报告生成与定制

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

691V48Tr4qcyS1iK5249tLUa9V0md7u1.jpg

特色优势


01丰富可拓展构件库

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

02高效易用建模环境

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


03全方位静态检查

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


04动态仿真与验证

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


05有效C代码生成

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

06国产化环境支持

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

成果应用

01航空航天

航天航空领域所涉及的飞控等操作系统都极其复杂。相较于传统的编码开发流程,Modeler基于模型的可视化建模开发,可以覆盖嵌入式开发的整个流程,从需求建模、静态分析、系统仿真与验证,再到最终代码的自动生成,以节约产品的开发时间、提高开发质量、减少开发风险。

02汽车电子

随着新能源汽车的普及和自动驾驶的兴起,行业对电池管理系统的软件关键级别要求升级,这就意味着相应软件验证成本也急剧加大。Modeler提供基于模型的软件架构建模、仿真、代码自动生成与测试的完整工具链,在极大提升电池管理系统软件研制效率的同时,节约高额的研制成本。

03轨道交通

Modeler可视化开发环境可以对城轨联锁软件进行建模,通过使用数据流与状态机等算子库,对联锁中的主要逻辑模块进行建模,并自动生成C代码。从而为高安全性应用系统的软件开发人员提供一套完整的基于模型的开发解决方案,以此降低开发成本、缩短开发周期、减少开发风险。

审核编辑 黄昊宇

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 仿真
    +关注

    关注

    50

    文章

    4079

    浏览量

    133568
  • 建模工具
    +关注

    关注

    0

    文章

    10

    浏览量

    12794
  • 可视化
    +关注

    关注

    1

    文章

    1194

    浏览量

    20936
收藏 人收藏

    评论

    相关推荐

    什么是大屏数据可视化?特点有哪些?

    大屏数据可视化是指通过大屏幕展示大量数据和信息,以直观、可视化的方式帮助用户理解和分析数据。这种展示方式通常用于展示复杂的数据集、实时监控系统、企业管理仪表盘等。以下是关于 大屏数据可视化 的详细
    的头像 发表于 12-16 16:59 157次阅读

    智慧能源可视化监管平台——助力可视化能源数据管理

    博达可视化大屏设计平台在智慧能源领域的价值体现在实时监控、数据可视化、决策支持和效率提升等方面。借助该平台,企业可以轻松搭建智慧能源类可视化大屏,更加精确和高效地管理生产和生活,实现能源的可持续发展。
    的头像 发表于 11-29 10:00 282次阅读
    智慧能源<b class='flag-5'>可视化</b>监管平台——助力<b class='flag-5'>可视化</b>能源数据管理

    云计算开发工具包括什么

    云计算开发工具种类繁多,包括IDE、虚拟软件、容器平台、自动部署工具和云平台等。
    的头像 发表于 11-22 10:11 167次阅读

    数字孪生三维可视化场景如何搭建?

    数字孪生 三维可视化 场景是一种强大的工具,能够帮助我们模拟和展示现实世界中的复杂环境和系统。从数据采集到交互设计,通过一系列步骤,可以有效地搭建出逼真动态的数字孪生三维场景。 数据采集与处理:收集
    的头像 发表于 11-06 14:40 208次阅读

    基于BIM技术的可视化管理系统

    建筑信息模型(Building Information Modeling,简称BIM)是一种集成了建筑设计、施工和运营管理数据的数字平台。基于BIM技术开发可视化管理系统为建筑行业带来了前所未有
    的头像 发表于 08-06 15:20 290次阅读

    三维可视化建筑建模特点

    三维可视化建筑建模是一种利用计算机技术对建筑物进行立体表达和展示的过程,是建筑设计和规划中不可或缺的重要环节。在当今数字化时代,三维可视化建模
    的头像 发表于 07-23 11:50 518次阅读

    三维可视化运用的主要技术

    三维可视化技术是一种强大的工具,可用于呈现复杂的数据和概念,使人们能够更直观地理解信息。在当今数字化时代,三维可视化已经成为许多领域中不可或缺的技术,包括工程、医学、地理信息系统、游戏开发
    的头像 发表于 07-19 13:56 281次阅读

    3d场景建模可视化,场景1:1还原

    在当今数字化时代,3D场景建模可视化技术成为重要工具,为各行业提供了强大的展示和交互手段。从电影特效到建筑设计,从游戏开发到虚拟现实,3D场景建模
    的头像 发表于 07-12 14:49 291次阅读

    大屏数据可视化 开源

    在当今信息爆炸的时代,数据已经成为各个行业决策制定和业务发展的关键。为了更直观、准确地理解和利用海量数据, 大屏数据可视化 成为一种强大的工具。通过将数据以图表、图形等形式展示在大屏幕上,不仅
    的头像 发表于 06-27 16:06 406次阅读
    大屏数据<b class='flag-5'>可视化</b> 开源

    如何实现园区大屏可视化

    孪生可视化 构建平台利用Web三维可视化技术对现实场景进行仿真,实现园区级业务场景 的可视化呈现,助力企业快速完成项目的实施。实现园区场景立体可先,极致可视。那么,今天古河云科技就来给
    的头像 发表于 06-19 15:39 417次阅读
    如何实现园区大屏<b class='flag-5'>可视化</b>?

    上位机可视化界面编程软件有哪些

    上位机可视化界面编程软件是一类用于开发图形用户界面(GUI)的软件工具,它们通常提供了丰富的界面元素、易于使用的编程接口和强大的功能。这些软件可以帮助开发者快速构建出美观、易用且功能丰
    的头像 发表于 06-06 10:48 2464次阅读

    c语言怎么做可视化界面

    C语言是一种通用的编程语言,广泛应用于系统编程、嵌入式开发等领域。虽然C语言本身并不支持直接创建可视化界面,但通过结合一些图形库和工具,我们可以为C语言程序开发出直观、易用的
    的头像 发表于 06-06 10:46 2296次阅读

    大屏数据可视化的作用和意义

    大屏数据可视化是指利用大屏幕设备展示数据信息,通过图表、图像、动画等视觉手段将数据呈现出来,以便用户能够直观、清晰地理解数据背后的含义和关联。在信息化时代,数据已经成为企业决策和运营的重要依托,而
    的头像 发表于 06-03 17:56 666次阅读

    FUXA基于Web的过程可视化软件案例

    FUXA——基于Web的过程可视化软件
    发表于 04-24 18:32 2次下载

    一个嵌入式数据可视化工具——Serial Studio

    Serial Studio从名称就可以看的出来,它是一款串口(Serial)可视化(Studio)工具:主要用于嵌入式开发者的跨平台数据可视化工具(应用软件,或上位机软件)。
    的头像 发表于 03-04 10:12 6378次阅读