国产自主可控的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 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
标签：SkyEye,仿真,龙芯,支持,硬件,MBSE,软件 来源： https://blog.csdn.net/digiproto2020/article/details/113687983