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

转载:

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

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/566738.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

access求斐波拉契数列_打印目录,斐波那契数列的递归与循环,牧场牛数

实验报告1任务概述(任务说明)1 f(n)f(n-1)f(n-2)f(0)f(1)1,求斐波那契数列第20项,分别用循环和递归的方式,比较时间效率。提示:可以使用c函数clock取出当前系统时间,计算前后各一次,两次相减除以每秒的时钟…

国产自主可控的形式化验证代码自动生成工具ModelCoder可替代Matlab/Sumlink

在安全关键领域,基于模型的软件工程或者软件开发已逐渐进入了我国的装备研制过程中。使用SimuLink或者SCADE等嵌入式软件建模工具对算法或者控制逻辑进行可视化建模,然后生成高可靠的二进制代码逐渐成为了安全关键领域的主流软件开发方式。由我司自主开发…

自主可控的安全关键领域国产工业软件SkyEye

全球制造业正处于新一轮变革的浪潮中,大数据、云计算等新一代信息技术正加速向工业领域融合渗透,工业互联网、工业4.0、智能制造等战略理念不断涌现。传统产业数字化转型升级的需求强烈,工业软件缺乏自主可控成为横亘在我国发展工业4.0道路上…

weblogic中ssrf漏洞修复_Weblogic-SSRF漏洞复现

0x00简介WebLogic是美国Oracle公司出品的一个application server确切的说是一个基于JAVAEE架构的中间件,BEA WebLogic是用于开发、集成、部署和管理大型分布式Web应用、网络应用和数据库应用的Java应用服务器。SSRF简介服务端请求伪造(Server-Side Request Forgery)…

python 字符串unicode编码_python的string与Unicode转换,gbk字符串编码

问题一字串前面少了u。当遇见以下情况。返回字符串为\u82f9\u679c的unicode时候。str1 \u82f9\u679c # 这里没有u,当传入参数不是unicode的时候print str1 # 结果是 : \u82f9\u679cprint u\u82f9\u679c # 结果是 : 苹果解决方法:加上ustr1 \u82f9\u679…

应用在核电站DCS系统的代码自动生成工具ModelCoder

对标航空航天领域,核电新型号作为典型复杂系统在未来的发展趋势和任务变得十分明确,即正规化、标准化地应用MBSE从概念设计、初步设计、持续贯穿至详细设计、施工、调试、运维、退役的全生命周期各阶段,开发出符合核工业本身的需求&#xff0…

怎样在电脑上上传图片_电脑上回收站怎样恢复

把桌面上的文件删除,如果想再次找回,只要在电脑的回收站就可以原封不动的把文件找回来。但不小心删除了回收站的信息,怎么办呢?大家遇以这样的情况,也不要太着急,电脑上回收站怎样恢复呢?小编带分享一下解…

基于模型的系统工程设计软件ModelCoder在航空发动机控制设计中的应用

基于模型的系统工程(MBSE)使用数字模型的方式表达描述工程系统的完整生命周期中的需求和设计等活动,以无歧义、模块化等优点快速覆盖了如航空航天、船舶、卫星等相关安全关键领域。在系统工程的初期,系统产生的信息都以文档得形式…

python的字符编码叙述_Python: 熟悉又陌生的字符编码

字符编码是计算机编程中不可回避的问题,不管你用 Python2 还是 Python3,亦或是 C, Java 等,我都觉得非常有必要厘清计算机中的字符编码概念。本文主要分以下几个部分介绍:基本概念常见字符编码简介Python 的默认编码Python2 中的字…

基于模型的系统工程MBSE软件工具(ModelCoder)

我们一直致力于提供给航空航天制造商一套全数字的MBSE建模与仿真优化解决方案——基于模型的系统工程MBSE软件工具(ModelCoder)。我们的仿真验证技术可用于开发高复杂度和高保真度的模型,对飞机发动机,飞机的飞控进行预测性的虚拟…

面向航空航天工业领域的基于模型的仿真验证工具SkyEye

我们一直致力于提供给航空航天制造商一套全数字的优化方案——面向航空航天工业领域的基于模型的仿真验证工具SkyEye。我们的仿真验证技术可用于开发高复杂度和高保真度的模型,对发动机,飞机的飞控进行预测性的虚拟验证和测试。我们能够准确地进行全数字…

高性能高可靠性的全数字嵌入式仿真测试软件SkyEye

随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通、航空航天、核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题。最近比较火热的基于模型的系统工程&a…

二元一次函数最值问题_初二上学期,一次函数方案设计最值问题,两类题目解题思路不一样...

方案设计问题在一元一次方程实际问题中有所接触,在一次函数实际应用题中也有。一次函数中的方案设计问题,常与一次函数的性质、不等式(组)、方程组等知识点相结合,这类题目一旦掌握解题方法,难度不是很大。本篇文章主要介绍一次函…

rabiitmq卸载_RabbitMQ安装方式及常用命令

在ubuntu系统中安装rabbitmq# wget http://www.rabbitmq.com/releases/rabbitmq-server/v3.6.6/rabbitmq-server_3.6.6-1_all.deb# dpkg -i rabbitmq-server_3.6.6-1_all.deb如果提示依赖其他的包,执行如下命令安装依赖包# apt-get -f install然后# dpkg -i rabbitm…

高性能全数字嵌入式仿真测试软件SkyEye支持多达70余种核心

全数字仿真平台作为工业领域不可缺少的重要软件之一,除了可以与MATLAB或者Simulink集成外,还支持哪些优秀的功能?在了解新一代全数字仿真平台SkyEye之前,先来学习一下什么是全数字仿真平台。 什么是全数字仿真平台 全数字仿真平…

dalsa线扫相机调试文档_线阵相机调试文档

1.相机型号参数相机:线16k CL分辨率:16384 x 1像素大小:3.52 μm x 3.52 μm麦克斯行费率:48 千赫镜头安装(螺纹):M72 x 1产品编号:LA-CM-16K05A-xx-R注:现场采用的相机型号即为上表1.1型号参数…

SystemC 代码添加和测试方法

1.启动流程 在 code/utils/ 下添加 new_systemc 相关代码,启动流程如下: 2.调用关系 3.地址映射 假设有两个 systemc 设备:device1 和 device2,device1 的内存地址映射区域为 0x20000x2fff,device2 的内存映射区域为 …

channelsftp的put_JSch - Java实现的SFTP(文件上传详解篇)

public void put(String src, String dst)将本地文件名为src的文件上传到目标服务器,目标文件名为dst,若dst为目录,则目标文件名将与src文件名相同。采用默认的传输模式:OVERWRITEpublic void put(String src, String dst, int mo…

支持多达70余种嵌入式核心的嵌入式仿真软件SkyEye

SkyEye 介绍 SkyEye,中文全称天目全数字实时仿真软件,应用软件仿真技术,逼真地模拟出被测软件的物理环境。用图形化方式构建虚拟目标系统,有效降低了硬件工程师和软件工程师之间的沟通成本,软件工程师可以不依赖硬件工…

xxljob默认登录_xxl-job安装部署整理

xxl-job github源码地址:https://github.com/xuxueli/xxl-jobxxl-job 官方文档:https://www.xuxueli.com/xxl-job/#系统组成调度模块(调度中心):负责管理调度信息,按照调度配置发出调度请求,自身不承担业务代码。调度系…