?

?

2020年6月，哈工大、哈工程被美國商務(wù)部列入實體清單，禁用MATLAB事件頻繁登上熱搜，工業(yè)軟件被稱為「卡脖子」技術(shù)。

?

截止到2020年12月，中國已有超過300家企業(yè)和機構(gòu)被列入美國“實體名單”，被列入名單的大部分是從事安全關(guān)鍵領(lǐng)域的軍工企業(yè)、通信和高性能計算的公司和研究所，美國想以此來打壓中國工業(yè)和科技的發(fā)展，其中就包括Matlab等工業(yè)軟件的限制。

?

2020年8月，國務(wù)院隨即出臺軟件產(chǎn)業(yè)扶持新政，發(fā)布《新時期促進集成電路產(chǎn)業(yè)和軟件產(chǎn)業(yè)高質(zhì)量發(fā)展的若干政策》，出臺了40項支持政策推動我國集成電路產(chǎn)業(yè)和軟件產(chǎn)業(yè)發(fā)展，加速工業(yè)軟件國產(chǎn)替代。

?

工業(yè)軟件為什么如此重要？

?

其實工業(yè)軟件是一個很大的范疇，這里面不僅涉及到航空航天、汽車電子、機械制造、軍工等垂直領(lǐng)域，還涉及到工業(yè)生產(chǎn)制造的設(shè)計、研發(fā)、管理、測試等各個流程和環(huán)節(jié)，不同環(huán)節(jié)所需要用到的工業(yè)軟件也不一樣。

?

在產(chǎn)品正式投入生產(chǎn)之前，我們要借助軟件可視化模擬出產(chǎn)品的全生命周期，通過模塊化、可視化、形式化驗證等技術(shù)實現(xiàn)產(chǎn)品的虛擬制造，相當于在虛擬世界里仿真出一個物理世界的產(chǎn)品。

?

這就意味著工業(yè)軟件的先進程度決定了是否能高質(zhì)量高效率的完成制造。而擁有國產(chǎn)自主可控的工業(yè)軟件，更是加速我國工業(yè)制造核心能力的重要體現(xiàn)。迪捷軟件團隊早在2013年便開始了嵌入式設(shè)備硬件仿真的研究工作，經(jīng)過多年的積累，研發(fā)出一整套基于模型的系統(tǒng)工程（MBSE）解決方案，其中就包括國產(chǎn)自主可控的MBSE建模與仿真平臺SkyEye，并積極在國內(nèi)相關(guān)領(lǐng)域推廣應(yīng)用。

?

SkyEye 簡介

?

SkyEye，中文全稱天目全數(shù)字實時仿真軟件，是基于可視化建模的硬件行為級仿真平臺，支持用戶通過拖拽的方式對硬件進行行為級別的仿真和建模。

?

SkyEye目前支持主流的嵌入式硬件平臺，可以運行主流的操作系統(tǒng)，此外還能適配國內(nèi)自主研發(fā)的操作系統(tǒng)天脈。通過利用基于LLVM的動態(tài)二進制翻譯技術(shù)，使虛擬處理器在典型的桌面計算機上運行速度可以達到2000MIPS以上。

?

SkyEye功能和特點

?

• 支持ARM、TI DSP、PowerPC、X86、SPARC，龍芯，飛騰等多種處理器體系架構(gòu)。
• 實現(xiàn)CPU、總線、外設(shè)等硬件模塊的仿真。
• 通過圖形化拖拽快速搭建目標系統(tǒng)。
• 目標系統(tǒng)搭建完成后，可在界面工具欄進行運行控制。
• 可直接運行原始的二進制代碼——引導(dǎo)程序、BIOS、操作系統(tǒng)、BSP、應(yīng)用程序。
• 提供真實的全系統(tǒng)現(xiàn)場保存和恢復(fù)，暫停，查看狀態(tài)，逆向運行等功能。
• 提供硬件級故障注入。
• 提供豐富的系統(tǒng)級調(diào)試工具，包括運行狀態(tài)控制、CPU寄存器查看、設(shè)備寄存器查看、仿真內(nèi)存查看等系統(tǒng)級功能調(diào)試。
• 提供GDB Server模塊，并支持多種架構(gòu)處理器的GDB調(diào)試功能。
• 提供目標碼及源碼的覆蓋率統(tǒng)計，可生成統(tǒng)計報告并導(dǎo)出。
• 提供自動化測試功能，可以采用Python編寫自動化測試腳本，實現(xiàn)獲取仿真時間、注入故障、刪除故障、查看故障、運行控制、讀取/寫入寄存器值、日志輸出。
• 支持仿真硬件設(shè)備模型讀取激勵數(shù)據(jù)文件，達到閉環(huán)測試需求。
• 支持全局變量讀寫功能，可以對程序中的全局變量進行讀取/寫入操作。
• 支持指令流記錄功能，支持記錄程序執(zhí)行過的PC地址信息。
• 支持地址監(jiān)視功能，可以對指定地址進行讀寫監(jiān)視功能，可以在讀取/寫入指定地址時調(diào)用相應(yīng)回調(diào)函數(shù)。

?

SkyEye性能

?

SkyEye采用LLVM計算進行翻譯加速，可以達到上千MIPS，慢速CPU（sparc）的仿真速度可以加速到真實硬件的20倍。

?

SkyEye支持的處理器模型

?

架構(gòu)	處理器核心	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?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

?

?

轉(zhuǎn)載于：http://www.digiproto.com/archives/2700

?

?

總結(jié)

以上是生活随笔為你收集整理的国产自主可控的MBSE解决方案和全数字仿真平台（SkyEye）的全部內(nèi)容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。