国产自主可控的MBSE建模与仿真平台SkyEye

最新推荐文章于 2024-05-16 00:06:55 发布
最新推荐文章于 2024-05-16 00:06:55 发布
阅读量2.1k 收藏 1
点赞数
分类专栏： 转载 SkyEye
原文链接：http://www.digiproto.com
版权

转载：

2020年6月，哈工大、哈工程被美国商务部列入实体清单，禁用MATLAB事件频繁登上热搜，工业软件被称为「卡脖子」技术。

截止到2020年12月，中国已有超过300家企业和机构被列入美国“实体名单”，被列入名单的大部分是从事安全关键领域的军工企业、通信和高性能计算的公司和研究所，美国想以此来打压中国工业和科技的发展，其中就包括Matlab等工业软件的限制。

2020年8月，国务院随即出台软件产业扶持新政，发布《新时期促进集成电路产业和软件产业高质量发展的若干政策》，出台了40项支持政策推动我国集成电路产业和软件产业发展，加速工业软件国产替代。

工业软件为什么如此重要？

其实工业软件是一个很大的范畴，这里面不仅涉及到航空航天、汽车电子、机械制造、军工等垂直领域，还涉及到工业生产制造的设计、研发、管理、测试等各个流程和环节，不同环节所需要用到的工业软件也不一样。

在产品正式投入生产之前，我们要借助软件可视化模拟出产品的全生命周期，通过模块化、可视化、形式化验证等技术实现产品的虚拟制造，相当于在虚拟世界里仿真出一个物理世界的产品。

这就意味着工业软件的先进程度决定了是否能高质量高效率的完成制造。而拥有国产自主可控的工业软件，更是加速我国工业制造核心能力的重要体现。迪捷软件团队早在2013年便开始了嵌入式设备硬件仿真的研究工作，经过多年的积累，研发出一整套基于模型的系统工程（MBSE）解决方案，其中就包括国产自主可控的MBSE建模与仿真平台SkyEye，并积极在国内相关领域推广应用。

SkyEye 简介

SkyEye，中文全称天目全数字实时仿真软件，是基于可视化建模的硬件行为级仿真平台，支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模。

SkyEye目前支持主流的嵌入式硬件平台，可以运行主流的操作系统，此外还能适配国内自主研发的操作系统天脉。通过利用基于LLVM的动态二进制翻译技术，使虚拟处理器在典型的桌面计算机上运行速度可以达到2000MIPS以上。

SkyEye功能和特点
  • 支持ARM、TI DSP、PowerPC、X86、SPARC，龙芯，飞腾等多种处理器体系架构。
  • 实现CPU、总线、外设等硬件模块的仿真。
  • 通过图形化拖拽快速搭建目标系统。
  • 目标系统搭建完成后，可在界面工具栏进行运行控制。
  • 可直接运行原始的二进制代码——引导程序、BIOS、操作系统、BSP、应用程序。
  • 提供真实的全系统现场保存和恢复，暂停，查看状态，逆向运行等功能。
  • 提供硬件级故障注入。
  • 提供丰富的系统级调试工具，包括运行状态控制、CPU寄存器查看、设备寄存器查看、仿真内存查看等系统级功能调试。
  • 提供GDB Server模块，并支持多种架构处理器的GDB调试功能。
  • 提供目标码及源码的覆盖率统计，可生成统计报告并导出。
  • 提供自动化测试功能，可以采用Python编写自动化测试脚本，实现获取仿真时间、注入故障、删除故障、查看故障、运行控制、读取/写入寄存器值、日志输出。
  • 支持仿真硬件设备模型读取激励数据文件，达到闭环测试需求。
  • 支持全局变量读写功能，可以对程序中的全局变量进行读取/写入操作。
  • 支持指令流记录功能，支持记录程序执行过的PC地址信息。
  • 支持地址监视功能，可以对指定地址进行读写监视功能，可以在读取/写入指定地址时调用相应回调函数。
SkyEye性能

SkyEye采用LLVM计算进行翻译加速，可以达到上千MIPS，慢速CPU（sparc）的仿真速度可以加速到真实硬件的20倍。

SkyEye支持的处理器模型
架构处理器核心SOC芯片
ARMARM7系列S3C44BOX、S3C4510、AT91FR40162、EP73xx
ARM9系列S3C2510、EP93xx、S3C2410、AT91RM9200、OMAPL138
ARM10E系列PXA255、PXA263
ARM11系列S3C6410、S3C6430、IMX31
CORTEX-M系列STM32、STM32F0、LPC43xx
CORTEX-R系列RM48L952、TMS570
CORTEX-A系列AM335x、IMX6Q、OMAP335
FTC662FT-2000A
DSPC28xC2812、F28335
C54xC5416、C5441
C55xC5510、C5517
C62xC6201、C6203
C64xC6416、C6455、C6472、C6474
C66xC6670、C6674、C6678
C67xC6713、C6748
POWERPCMPC603EMPC8245
E300MPC8378、MPC5121
E500MPC8560、P1010、P2020
E600MPC755、MPC8641D
E5500T1040
E6500T2080、T4240
SPARCSPARC V7TSC695F
SPARC V8LEON2、LEON3、BM3803、MB86904、MB86907
X86ATOMN270
PENTIUMP2、P3、P4
COREI3、I5、I7
龙芯GS232龙芯1E
GS464龙芯3A1000
GS464E龙芯3A2000、龙芯3A3000
LS132R龙芯1J

转载于：http://www.digiproto.com

每天造轮子
关注
  • 0
    点赞
  • 踩
  • 1
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
迪捷软件团队研发的国产替代MBSE系统建模仿真软件
digiproto2020的博客
04-21 2012
今年来，系统工程的概念越来越火热。其中MBSE（基于模型的系统工程）是最受大家推崇的。在复杂系统和安全关键的开发领域，如果你不能说出一些跟MBSE有关的一些词儿，那么你是无法号称自己站在时代前沿的。 与传统的系统工程相比较，基于模型的系统工程(MBSE)充分发挥了模型的优势，提高了系统全周期信息表示的一致性，增强了系统功能性能预验证和多学科协同优化设计的能力。 国外把基于MBSE视为系统工程的“革命”、“系统工程的未来”、“系统工程的转型”等。国内的很多大型组织和团队也已经在开展了相关研究和应用了。
国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink
digiproto2020的博客
02-07 949
在安全关键领域，基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模，然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流软件开发方式。由我司自主开发的国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过
第一章 MBSE概览
u010021014的博客
01-30 7098
目 录第一章 基于模型的系统工程概览MBSE三大支柱   这是《SysML精粹》的读书笔记，记录SysML语言学习及自己的思考。 第一章 基于模型的系统工程概览 MBSE三大支柱 参考资料链接： 《SysML Distilled》 OMG系统建模语言（Sysml）教程 OMG官网：http://www.omgsysml.org/ INCOSE官网：http://www.incose.org/ ...
2024年最新智睿思维基于模型的系统工程软件 （MBSES）_mbse建模工具(3)，膜拜
2401_84905061的博客
05-16 712
模块定义图定义系统的结构。通过定义系统中各种类型的元素，以及元素之间的关系，形成系统的结构关系。
MBSE咨询服务与工具——MBSE在汽车行业的应用
经纬恒润的官方博客
08-05 1234
MBSE咨询服务与工具——MBSE在汽车行业的应用 概述 为应对汽车电气化、智能网联化的挑战，业界的主流方向为：由分布式的控制单元向中央域控制器转变，汽车软件架构向SOA架构发展。传统的整车开发过程在面对多学科综合、功能安全需求、产品功能追溯、复杂多核异构等问题时，便显得力不从心。 将基于模型的系统工程（Model Based System Engineering, MBSE）方法应用于整车开发过程中，可解决传统整车研发过程中的工程数据一致性、可验证性、可追溯性的问题，降低整车产品开发难度、尽早发现和避免潜
干货分享 基于模型的系统工程（MBSE）介绍(1)，顺利通过阿里Golang岗面试
2401_84281629的博客
04-16 815
已剪辑自: https://icv.51cto.com/posts/426汽车智能化主要体现在车辆自身功能的数字化与自动化及车辆与外界（路、云、网、图等）的信息交互与深度耦合。其本质在于：将“数字虚体”强大的实时映射和计算推演能力，深度融入传统车路组成的“物理实体”之中，形成一个“虚实”结合的复杂大系统。该系统是具有跨学科、跨领域、跨地域的高度复杂性与异构互操作性等特征的信息物理系统（Cyber-Physical Systems，CPS）的典型特征，可称为智能网联汽车信息物理系统（ICV CPS）。
航电系统MBSE设计与验证平台
01-27
航电系统MBSE设计与验证平台为研发人员提供了一套完整的面向系统工程的航电系统设计和验证工具，支持航电系统功能分解和建模实现，提供符合V流程的ICD、DD、POP迭代设计和验证环境，提供仿真模型实时运行和解算的...
中文版、国产化MBSE、SysML建模软件工具 MBSES 2.3版
06-06
包含模块定义图（bdd）、内部模块图（ibd）、参数图（par）、包图（pkg）、用例图（uc）、活动图（act）、序列图（sd）、状态机图（stm）、需求图（req）9种SysML图，具有仿真功能。
MBSE实践：SysML语言用例建模实例
01-27
使用用例的方法来描述系统的功能需求的过程就是用例建模，用例模型主要包括以下两部分内容：用例图(UseCaseDiagram)确定系统中所包含的参与者、用例和两者之间的对应关系，用例图描述的是关于系统功能的一个概述。...
MBSE如何实现系统级动态仿真
01-27
MBSE数字化系统模型提供了以往基于文档的方案设计所不具备的能力–系统级动态仿真验证。在数字化系统模型基础上直接进行模拟仿真，可以准确评估设计方案的合理性，在设计前期根除可能的设计漏洞。系统动态仿真的实现...
基于模型的系统工程 | MBSE
qq_41854911的博客
05-02 1955
系统（System）是相互关联的元素或部分组合在一起构成的整体。正是由于组成元素之间的关联性，当它们组合在一起时，通常会在系统层面涌现出新的特性，比如新功能的出现、已有功能的增强等，这种特性被称为系统的涌现性。要完整的定义一个系统，一般从系统的结构特征和行为特征两个角度进行。系统的结构特征包括：组成结构、接口、性能指标、物理特征等。系统的行为特征包括：系统的功能、收发的消息、状态等。随着科学技术的不断发展和应用，现实系统正变得越来复杂，比如军用飞机、航母、手机、分布式信息系统等。
基于模型的系统工程（MBSE）
01-27
系统工程师是系统工程实施过程的关键因素，然而他们总是疲于沟通和协调，被海量的文档和无尽的变更所淹没。有什么办法可以帮助系统工程师真正发挥他们在复杂产品研发中的重要作用，同时也使其自身逐步成长为“宽频带、高振幅”的复合型人才？这个解决方案就是基于模型的系统工程（MBSE，Model BasedSystemsEngineering）。 MBSE在2007年的INCOSE（系统工程国际委员会）国际研讨会上首次被提出。MBSE是一种正规化的建模应用，它为系统工程过程各阶段的活动
在组织中实践基于模型的系统工程
02-24
基于模型的系统工程（MBSE）要解决复杂系统工程的问题，需要通过信息、计算和软件来架设传统系统与各领域工程（嵌入式、安全、结构等）之间的桥梁。综合产品团队使MBSE的有效方式可以有效降低实践风险，同时MBSE工具链和集成开发环境的成熟度也是制约实践效果的重要影响因素。经过近50年来的发展，国际范围内系统工程先后经历了从传统系统工程（1.0）到流程结构化（2.0）和工具信息化（3.0）的发展，目前正在向系统工程4.0（知识模型化）方向快速演进提升。新一轮工业革命首先带来的是制造业的重构，无论是“第四次工业革命”“工业4.0”，还是“再工业化”“信息化与工业化的深度融合”，新一轮工业革命的共同基础
MBSE方法学
08-13
MBSE方法学介绍PPT，适合于对MBSE进行初步了解和学习阶段使用。
simulink仿真，提供MBSE的无人机开发解决方案及仿真模型
m0_73304532的博客
08-16 445
3、模型自动化测试（规范、缺陷、功能、覆盖率、MIL、SIL、PIL、HIL）、自动报告生成。5、代码到硬件部署（FPGA Zynq 、DSP、STM32、ARM）simulink仿真，提供MBSE的无人机开发解决方案及仿真模型；2、Matlab/simulink/stateflow建模详细设计。1、SysML语言系统架构设计。4、自动代码生成优化。...
[转]SkyEye硬件模拟平台，第三部分: 硬件仿真实现之五
Hunnad的专栏
11-22 1156
SkyEye硬件模拟平台，第三部分: 硬件仿真实现之五LCD/TouchScreen仿真文档选项<!--document.write(打印本页);//-->打印本页<!--document.write(将此页作为电子邮件发送);
高性能高可靠性的全数字嵌入式仿真测试软件SkyEye
digiproto2020的博客
03-04 545
随着科技的发展，系统工程的设计体量逐渐庞大起来，尤其是对于轨道交通、航空航天、核电站等安全关键领域中，如何在复杂度逐年变大的同时保证其安全性和可靠性，是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程（MBSE）技术则给大家提供了一种全新的技术方向，分享一种全数字实时仿真的安全关键领域解决方案，提供一种新的解决思路。 一种全数字实时仿真的安全关键领域解决方案 国产自主可控的航空航天全系统仿真平台SkyEye是能够满足模拟或仿真外部硬件行为进行软件运行和测试需求的工具。该工具运用国际流行的仿真、
基于模型的系统工程 MBSE_mbse建模工具，阿里P7级别面试经验总结
2401_84265571的博客
04-13 1021
传统上，人们在采用SE过程进行系统设计时，是以文档为中心开展的。每一阶段的工作成果都是以文档作为载体，不同团队间的交互也都是基于文档展开的。但是随着系统复杂性的日益提升，这种以文档为中心的系统工程（Text Based Systems Engineering，TBSE）方法暴露了很多缺陷，如不能保证信息的一致性、更改困难、难以描述活动等。
MBSE方法学简介
10-10 3631
本文对MBSE方法学进行了汇总，并对各种方法学进行了简单介绍，是学习MBSE读者的入门读物。加深大家对MBSE的理解。
十大MBSE仿真平台
最新发布
06-07
MBSE（Model Based Systems Engineering）是一种基于模型的系统工程方法，它强调系统工程的过程和结果中使用模型来描述、分析和设计系统。而仿真是MBSE的一个重要组成部分，可以用来验证和测试系统模型，评估系统性能和功能等。以下是十大MBSE仿真平台的介绍： 1. SysML Simulation Framework（SSF）：SSF是一个基于SysML模型的仿真工具，它支持多种仿真引擎，包括MATLAB、Simulink、Modelica等。 2. Modelio：Modelio是一款面向对象的建模工具，可以用来创建和管理系统模型，并支持多种模型仿真。 3. MagicDraw：MagicDraw是一款商业化的MBSE建模工具，它支持多种系统建模语言，包括SysML、UML等，并提供多种模型仿真功能。 4. Cameo Simulation Toolkit：Cameo Simulation Toolkit是一款基于Eclipse的MBSE仿真工具，它支持多种建模语言和仿真引擎，包括SysML、UML、MATLAB等。 5. OpenModelica：OpenModelica是一款开源的Modelica仿真工具，它提供了多种建模工具和仿真引擎，并支持多种系统建模语言。 6. MapleSim：MapleSim是一款商业化的物理建模和仿真软件，它支持多种物理系统建模，并提供了多种仿真引擎和分析工具。 7. ANSYS Simplorer：ANSYS Simplorer是一款商业化的多物理场建模和仿真软件，它支持多种建模语言和仿真引擎，并提供了多种分析工具。 8. Simulink：Simulink是一款商业化的MATLAB扩展工具，它提供了多种建模和仿真功能，并支持多种系统建模语言。 9. Modelica Library：Modelica Library是一款开源的Modelica库，包含了多种物理系统建模和仿真功能。 10. Altair HyperWorks：Altair HyperWorks是一款商业化的多物理场建模和仿真软件，它提供了多种建模语言和仿真引擎，并提供了多种分析工具。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值