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

VxWorks任务调度

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

2023-05-15 digiproto

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

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

2023-05-15 digiproto

浅谈ARMv7-A协处理器CP15

协处理器，顾名思义就是协助型处理器，主要协助做一些主处理器无法执行或者执行效率不佳的事情，比如浮点、图像、音频处理这一类，随着硬件的发展，大多协处理器的功能都慢慢集成到主处理器中，但是某些特定的工作还是需要协处理器进行辅助。

2023-05-15 digiproto

漫谈Windows共享内存

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

2023-05-15 digiproto

细数嵌入式开发与通用系统开发的不同

嵌入式开发指在嵌入式操作系统下进行开发，包括在系统化设计指导下的硬件和软件以及综合研发。而通用系统开发则是指在具有有多道批处理、分时、实时处理功能中的两种及以上功能的操作系统中进行开发。

2023-05-15 digiproto

SkyEye图形化界面使用技巧篇（二）

本文主要介绍SkyEye图形化界面（V3.2.5）中覆盖率测试的使用技巧，后续将持续更新更多使用技巧。SkyEye图形化界面，操作简单、易于理解、上手快，各功能模块区分明晰，且技术支持随时在线。若各位朋友感兴趣的话，可订阅迪捷软件公众号，也可联系官方获取试用版（迪捷软件 (digiproto.com)）进行试用。

2023-05-15 digiproto

如何确保安全关键领域多核嵌入式系统中的软件时序

开发多核处理器的挑战往往在于软件的时序，软件时序不仅受软件运行和输入的影响，还会受到其他处理器核心上运行软件的影响。本文将从多核时序分析入手，探讨汽车领域嵌入式软件安全问题的解决方案。

2023-05-15 digiproto

SkyEye助力飞控软件Debug

在嵌入式系统飞速发展的飞行控制领域，软硬件紧耦合的情况使得只有快速定位软件问题并找到问题出现的根本原因，才能最大程度地降低调试成本，缩短开发周期。

2023-05-15 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷