-
![编译器前端概述与可信编译器]()
编译器前端概述与可信编译器
Java程序员应该会非常熟悉Spring，在Spring框架中对注解的支持和字节码动态生成都属于编译技术；前端程序员通常会使用Babel这个工具，主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...
2023-05-15 digiproto
-
![L2C中Lustre语义的环境定义]()
L2C中Lustre语义的环境定义
随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS，Safety-Critical System)，对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题，尤其是对操作系统、编译器等基础软件。
2023-05-15 digiproto
-
![SkyEye——如何实现1553B总线仿真？]()
SkyEye——如何实现1553B总线仿真？
011553B总线简介1553B最初是美国军方专为飞机上设备制定的一种信息传输总线标准，具有双向传输的特性，实时性和可靠性高，现已广泛应用于航空、航天、船舶、电子等众多领域中，如飞机综合航电系统、舰船综合电子系统等。1553B总线系统主要有3部分组成，分别是总线控制器 BC（Bus Controler），远程终端RT（Remote Terminal）以及总线监视器 BM（Bus Monitor）。
2023-05-15 digiproto
-
![SkyEye仿真ZYNQ芯片，轻松运行国产操作系统ReWorks]()
SkyEye仿真ZYNQ芯片，轻松运行国产操作系统ReWorks
加速通信设备的开发和测试是航空电子领域发展的关键方向。航空电子领域的嵌入式系统往往较为复杂，在软件开发与硬件研制相辅相成的情况下，复杂、耗时、高价的硬件环境搭建，成为软件开发滞后的重大阻碍。SkyEye全数字实时仿真平台，能够部署在桌面级Windows 和Linux 系统上，搭建硬件仿真目标系统，并运行嵌入式软件，大大改善了软件开发受硬件设备资源制约的问题。
2023-05-15 digiproto
-
![如何利用OpenGL巧妙实现GPU仿真]()
如何利用OpenGL巧妙实现GPU仿真
天目全数字实时仿真软件SkyEye能够以半物理化的形式实现GPU仿真，可通过SkyEye将虚拟机上对OpenGL库的调用“映射”到真实GPU上进行操作。
2023-05-15 digiproto
-
![基于SkyEye的GPU仿真——解决嵌入式仿真难题]()
基于SkyEye的GPU仿真——解决嵌入式仿真难题
飞机通常由机翼、机身、起落架和飞机操作系统组成，包含丰富的嵌入式应用系统，这其中最复杂的便是航空电子系统。不同类型飞机根据其任务、使命和应用环境的不同，其航电系统的组成、功能和配置也有一定的区别。大规模航电系统往往意味着极其高的系统安全系数要求，而其中某一子系统的嵌入式软件代码量，可能就有几十万、甚至几百万行，其庞大而复杂的功能体系，成为了安全测试的主要瓶颈之一。而航空电子系统不断加快的研发迭代速度无疑是雪上加霜，一旦遇到死机或者黑屏现象，追溯问题的过程将变得十分困难，因此迫切需要大规模集成化的测试手段，来辅助系统的研发并验证其安全性。
2023-05-15 digiproto
-
![SkyEye在航电系统冗余设计中的应用前景]()
SkyEye在航电系统冗余设计中的应用前景
冗余设计又称余度设计技术，指在系统或设备完成任务的关键之处增加一套及以上能够完成相同功能的功能通道、工作元件或部件，以保证此处出现故障时，系统或设备仍能正常工作，从而减少故障概率，提高系统可靠性。生活中存在着各式各样的冗余设计，如道路上常见的重型卡车，其载重的任意一个后轮轴承单侧至少有两个轮胎。事实上，一个轮胎就可满足重型卡车正常行驶需求，多余的轮胎便属于冗余设计。
2023-05-15 digiproto
-
![细数SkyEye异构仿真的5大特色]()
细数SkyEye异构仿真的5大特色
航天飞行器使用仿真器的重要性航天飞行器如卫星、载人飞船等需要在空中运行很长的时间，如果出现问题回收再调试可能要历时几个月，而且不得不中断任务，损失将是庞大的。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
