显控系统虚拟仿真的工程化路径

随着航空电子系统向高度集成化、智能化方向发展，飞机显控系统作为飞行信息交互的核心，其复杂性和重要性日益凸显。传统的依赖实物硬件的训练与测试方式，在成本、风险、灵活度等方面逐渐显出明显约束，而虚拟仿真技术通过构建高保真、可重构的数字孪生环境，为显控系统的设计、验证、训练与维护提供了创新解决方案。

2026-04-30 digiproto 57

告别台架依赖：SkyEye×CANoe实现汽车CAN通信软件在环验证

在汽车电子研发过程中，测试从来不是一个单纯发生在“开发完成之后”的动作。尤其是对于涉及车身控制、动力控制、底盘协同和域控制器开发的嵌入式软件来说，通信验证、逻辑联调和异常排查，往往在早期阶段就已经决定了后续项目推进的效率。

2026-04-27 digiproto 50

当太阳能板指向错误：一次软件失效的系统级验证反思

2025年2月26日，NASA发射月球轨道探测器“月球探路者”Lunar Trailblazer。这颗小卫星由美国宇航局JPL管理、加州理工学院领导，任务目标为获取月球水资源分布数据，绘制月球水资源分布图。探测器成功完成发射与部署，并在入轨初期与地面建立通信。

2026-02-28 digiproto 111

基于MBD的控制系统建模与仿真软件工具集

近年来，“基于模型的电子架构设计方式”逐步被业内所接受与推崇，已成为保证整车研发成功的必要措施之一。

2025-03-12 digiproto 712

CPU性能指标简览

SkyEye在处理器模型的支持方面做得尤为出色，这些处理器的性能是如何评估的呢？

2025-03-12 digiproto 2520

ModelCoder状态机中的State逻辑

ModelCoder可以进行状态机的搭建以及仿真，其支持的状态机是通过在Mealy和Moore有限状态机的基础上进行扩展来实现的。本文主要讲解状态机中状态（State）的部分逻辑。

2023-05-15 digiproto 647

编译器前端概述与可信编译器

Java程序员应该会非常熟悉Spring，在Spring框架中对注解的支持和字节码动态生成都属于编译技术；前端程序员通常会使用Babel这个工具，主要是为了将ES6语法编写的代码转换为做向后兼容的JS语法...

2023-05-15 digiproto 1254

L2C中Lustre语义的环境定义

随着计算机技术越来越多地应用于航空航天、核电、高速铁路等安全关键系统(SCS，Safety-Critical System)，对计算机技术的安全性要求也越来越高。安全关键系统中的丝毫错误都可能引发巨大的灾难。如何为安全关键系统构造一个基础的安全软件环境是需要面对的首要问题，尤其是对操作系统、编译器等基础软件。

2023-05-15 digiproto 775

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷