-
诚邀 - 迪捷软件邀您参与2023年航电国际论坛
论坛背景近年来,伴随着新兴学科不断涌现,航空业也发生了以绿色、智能为特征的群体性技术革命,航空科技创新链条更加灵巧,技术更新和成果转化更加快捷,航空产品迎来了批量化生产、规模化运营、系列化发展的新阶段,升级换代不断加快。2023年(第十二届)飞机航空电子国际论坛将于6月28日至29日在上海举办。论坛自2012年以来,已经成功举办了11届,并已发展为亚太地区业内最受欢迎、规模最大的航电专业活动。本届
2023-06-20 digiproto
-
航电系统的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