?

?

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?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）的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。