航空-媒体中心-迪捷软件-关键领域·国内领先的嵌入式数字样机提供商

L2C中CtempGen层语义保持证明中环境匹配的定义

ModelCoder是一款由迪捷软件自主研发，支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。

2023-05-15 digiproto 366

漫谈车载操作系统发展趋势

操作系统提供计算机硬件和应用程序之间的接口，通过遵循编程到操作系统中的规则和程序，限制应用程序使用硬件；提供简化应用程序开发和执行的服务，包括将程序加载到内存、与传感器和执行器通信、存储结果等各种硬件资源管理的功能，还包括如中间件、库及其他系统软件功能。

2023-05-15 digiproto 510

011553B总线简介1553B最初是美国军方专为飞机上设备制定的一种信息传输总线标准，具有双向传输的特性，实时性和可靠性高，现已广泛应用于航空、航天、船舶、电子等众多领域中，如飞机综合航电系统、舰船综合电子系统等。1553B总线系统主要有3部分组成，分别是总线控制器 BC（Bus Controler），远程终端RT（Remote Terminal）以及总线监视器 BM（Bus Monitor）。

2023-05-15 digiproto 702

SkyEye：航空发动机控制系统仿真

本文主要介绍了基于SkyEye对发动机控制系统进行模拟，用于解决真实物理环境发动机资源紧缺，测试验证成本过高等问题，并基于此系统提供多种定制总线开发等解决方案。

2023-05-15 digiproto 625

SkyEye仿真ZYNQ芯片，轻松运行国产操作系统ReWorks

加速通信设备的开发和测试是航空电子领域发展的关键方向。航空电子领域的嵌入式系统往往较为复杂，在软件开发与硬件研制相辅相成的情况下，复杂、耗时、高价的硬件环境搭建，成为软件开发滞后的重大阻碍。SkyEye全数字实时仿真平台，能够部署在桌面级Windows 和Linux 系统上，搭建硬件仿真目标系统，并运行嵌入式软件，大大改善了软件开发受硬件设备资源制约的问题。

2023-05-15 digiproto 543

基于SkyEye的GPU仿真——解决嵌入式仿真难题

飞机通常由机翼、机身、起落架和飞机操作系统组成，包含丰富的嵌入式应用系统，这其中最复杂的便是航空电子系统。不同类型飞机根据其任务、使命和应用环境的不同，其航电系统的组成、功能和配置也有一定的区别。大规模航电系统往往意味着极其高的系统安全系数要求，而其中某一子系统的嵌入式软件代码量，可能就有几十万、甚至几百万行，其庞大而复杂的功能体系，成为了安全测试的主要瓶颈之一。而航空电子系统不断加快的研发迭代速度无疑是雪上加霜，一旦遇到死机或者黑屏现象，追溯问题的过程将变得十分困难，因此迫切需要大规模集成化的测试手段，来辅助系统的研发并验证其安全性。

2023-05-15 digiproto 590

SkyEye与Trace32集成并搭建调试环境

本文基于PowerPC架构的GDB调试功能，主要介绍SkyEye与Trace32（仿真测试工具）集成并调试所需的环境搭建和操作过程。

2023-05-15 digiproto 405

基于SkyEye的CAN总线通信测试

总线（Bus）指计算机各部件间执行信息传输工作的公共通信干线，是由导线组成的传输线束，通常由数据线、地址线、控制线构成。如将主板比作一座城市，就可将总线理解为城市中的公共汽车，按照固定行车路线传输信息。常见的总线有RS422/RS485总线、I2C总线、SPI总线、CAN总线（常用于汽车电子控制系统）、1553B总线（常用于航空、航天、军事等领域的电子联网系统）、1394总线（常用于航空系统领域）、FC总线（常用于航空航天领域）等。

2023-05-15 digiproto 466

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷