迪捷软件-媒体中心-迪捷软件-国内领先的嵌入式DevOps解决方案提供商

浅谈状态机

在工业生产中，常常会使用到建模软件，而建模的目的就是为了在制造的前期进行验证和试错，以确保制造出来的东西能够很好的使用。而在建模仿真的领域中，状态机又是逃不开的一个话题。

2023-05-15 digiproto

大家知道，CPU运行的基本单位其实是一条一条的指令，如今我们通过编译器就可以将代码生成为机器指令，也就是所谓的二进制文件，这些指令组成了程序。程序在装入内存中执行时被称之为任务，或者说是进程。随着处理器性能的日益强大，程序也越来越复杂，因此诞生了操作系统来帮助我们管理进程，更合理地分配处理器资源，这也就是任务调度的目标。而在VxWorks中，能够调度起这些任务，最核心的就是reschedule调度算法了。

2023-05-15 digiproto

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

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

2023-05-15 digiproto

漫谈Windows共享内存

在讲共享内存之前先来聊聊虚拟内存的那些事。对于整个系统而言，主存与CPU的资源都是有限的，随着打开进程数量的增加，若是将所有进程运行所需的代码/数据/栈/共享库都存放在主存中，那么开启一部分进程就可以将主存占用完。

2023-05-15 digiproto

软件定义汽车带来的困境---如何破局？

随着科技的发展，人们的生活正在发生翻天覆地的变化巨大改变，生活质量不断提高，这使得人们对智能化的服务体验的要求越来越高。传统的汽车行业单纯地的改变物理硬件，只能在局限的空间内改善舒适度，而无法适应人们对智能化的需求。

2023-05-15 digiproto

SkyEye——如何实现1553B总线仿真？

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

2023-05-15 digiproto

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

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

2023-05-15 digiproto

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

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

2023-05-15 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷