-
航电系统的GPU虚拟化仿真
SkyEye,中文全称天目全数字实时仿真软件,是基于可视化建模的硬件行为级仿真平台,支持用户通过拖拽的方式对硬件进行行为级别的仿真和建模,完美解决航电系统虚拟化的难题。
2023-05-15 digiproto
-
编译器前端概述与可信编译器
Java程序员应该会非常熟悉Spring,在Spring框架中对注解的支持和字节码动态生成都属于编译技术;前端程序员通常会使用Babel这个工具,主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...
2023-05-15 digiproto
-
L2C中Lustre语义的环境定义
随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS,Safety-Critical System),对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题,尤其是对操作系统、编译器等基础软件。
2023-05-15 digiproto
-
SkyEye——如何实现1553B总线仿真?
011553B总线简介1553B最初是美国军方专为飞机上设备制定的一种信息传输总线标准,具有双向传输的特性,实时性和可靠性高,现已广泛应用于航空、航天、船舶、电子等众多领域中,如飞机综合航电系统、舰船综合电子系统等。1553B总线系统主要有3部分组成,分别是总线控制器 BC(Bus Controler),远程终端RT(Remote Terminal)以及总线监视器 BM(Bus Monitor)。
2023-05-15 digiproto
-
SkyEye仿真ZYNQ芯片,轻松运行国产操作系统ReWorks
加速通信设备的开发和测试是航空电子领域发展的关键方向。航空电子领域的嵌入式系统往往较为复杂,在软件开发与硬件研制相辅相成的情况下,复杂、耗时、高价的硬件环境搭建,成为软件开发滞后的重大阻碍。SkyEye全数字实时仿真平台,能够部署在桌面级Windows 和Linux 系统上,搭建硬件仿真目标系统,并运行嵌入式软件,大大改善了软件开发受硬件设备资源制约的问题。
2023-05-15 digiproto
-
如何利用OpenGL巧妙实现GPU仿真
天目全数字实时仿真软件SkyEye能够以半物理化的形式实现GPU仿真,可通过SkyEye将虚拟机上对OpenGL库的调用“映射”到真实GPU上进行操作。
2023-05-15 digiproto