国产自主可控的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芯片
ARM	ARM7系列	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
	FTC662	FT-2000A
DSP	C28x	C2812、F28335
	C54x	C5416、C5441
	C55x	C5510、C5517
	C62x	C6201、C6203
	C64x	C6416、C6455、C6472、C6474
	C66x	C6670、C6674、C6678
	C67x	C6713、C6748
POWERPC	MPC603E	MPC8245
	E300	MPC8378、MPC5121
	E500	MPC8560、P1010、P2020
	E600	MPC755、MPC8641D
	E5500	T1040
	E6500	T2080、T4240
SPARC	SPARC V7	TSC695F
SPARC	SPARC V8	LEON2、LEON3、BM3803、MB86904、MB86907
X86	ATOM	N270
	PENTIUM	P2、P3、P4
	CORE	I3、I5、I7
龙芯	GS232	龙芯1E
	GS464	龙芯3A1000
	GS464E	龙芯3A2000、龙芯3A3000
	LS132R	龙芯1J

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

国产自主可控的MBSE解决方案和全数字仿真平台（SkyEye）相关推荐

国产自主可控的MBSE建模与仿真平台SkyEye
转载: 2020年6月,哈工大.哈工程被美国商务部列入实体清单,禁用MATLAB事件频繁登上热搜,工业软件被称为「卡脖子」技术. 截止到2020年12月,中国已有超过300家企业和机构被列入美国&qu ...
国产自主可控的嵌入式仿真软件SkyEye和同步数据流语言高阶运算消去的可信翻译
同步数据流语言高阶运算消去的可信翻译同步数据流语言(例如Lustre,Signal等)广泛应用于工业界的核心安全级控制系统,如航空.核电等高安全等级的关键领域,与语言相关的软件的安全性也越来越受到人 ...
国产自主可控的代码自动生成工具SkyEye
传统的系统开发过程,都是由工程师根据项目需求书来编写代码完成系统的开发,但随着功能的扩充和版本的迭代,系统中庞大的代码量很难确保正确无误,给后期测试和仿真带来了很大的压力和成本,在航空航天.卫星系统. ...
支持国产处理器仿真的全数字实时仿真平台SkyEye与可信编译器L2C的核心翻译步骤
1.核心翻译步骤示例本节我们以第2节提到的Lustre语言的主要特性为线索来解释L2C在翻译过程中的关键节点是如何处理的, 并以图 1的实例来解释Lustre程序是如何被一步步地翻译到Clight语 ...
全数字实时仿真软件SkyEye与可信编译器L2C的核心翻译步骤的设计与实现
有关翻译正确性验证的重点疑难问题及其设计实现方案在L2C可信编译器的设计与实现中, 对于实线所对应的翻译过程 (CompCert编译器除外) 均借助于Coq证明了正确性 (语义保持性), 然后得出L ...
汽车软件开发的8种颠覆性趋势及国产自主可控的多领域全数字实时仿真平台SkyEye
汽车工业中产生的断层正引起人们对创新的日益渴望,而创新又极大地增加了汽车中的软件功能.这种创新正在自动驾驶.高级驾驶员辅助系统 (ADAS).数字驾驶舱技术.车辆电气化等领域进行. 目前影响汽车电子产 ...
自主可控的全数字实时仿真软件SkyEye支持PowerPC指令级仿真
随着科技的发展,系统工程的设计体量逐渐庞大起来,尤其是对于轨道交通.航空航天.核电站等安全关键领域中,如何在复杂度逐年变大的同时保证其安全性和可靠性,是近年来各大公司需要研究的课题.最近比较火热的基于 ...
联想国产化业务客户经理聂耘鑫：联想国产自主可控业务
编者按:为进一步推广上海市国企应用自主可控信息技术,9月26日,由上海市国有资产管理委员会.上海市经济和信息化委员会.上海市版权局指导,上海市国有资产信息中心主办,畅享网提供媒体支持的"自主 ...
中国自主可控的全数字实时仿真软件SkyEye支持龙芯CPU指令级仿真
传统的系统开发过程,都是由工程师根据项目需求书来编写代码完成系统的开发,但随着功能的完善和版本迭代,系统中庞大的代码量很难确保正确无误,给后期测试和仿真带来了很大的压力和成本,在航空航天.卫星系统.核 ...

国产自主可控的MBSE解决方案和全数字仿真平台（SkyEye）

国产自主可控的MBSE解决方案和全数字仿真平台（SkyEye）相关推荐

最新文章

热门文章