-
TriCore处理器的上下文切换原理
我们通常说的上下文又叫CPU上下文，是CPU运行任何任务前，必须依赖的环境，包括CPU 寄存器和程序计数器。上下文切换：就是先把前一个任务的 CPU 上下文（也就是 CPU 寄存器和程序计数器）保存起来，然后加载新任务的上下文到这些寄存器和程序计数器，最后再跳转到程序计数器所指的新位置，运行新任务。
2022-01-13 digiproto
-
深入浅出MC/DC
随着计算机行业的发展，嵌入式系统在通讯、网络、工控、医疗、电子等领域都发挥着越来越重要的作用。尤其是在一些安全关键领域，如航空航天等，软件一旦出现故障，可能会产生灾难性的后果。这就要求在软件投入使用前，必须对其进行严格的测试、确认和验证。
2022-01-11 digiproto
-
走进C/C++函数的名字改编
现在的编程语言中，不同的变量或函数可以用相同的标识符命名，只要它们占据不同的命名空间（通常由模块、类或作用域定义）或有不同的签名（如在函数重载中）时，就可能会出现标识符重名的情况。另外，根据编译器和平台的不同，函数的调用方式在编译为机器代码后也可能使用不同的、专门的调用约定。
2022-01-10 digiproto
-
一文读懂UDP协议
数据分发服务（DDS™）是一个简单的面向数据报的通信协议，位于OSI模型的传输层。该协议在RFC 768中被规范。典型网络上的众多使用UDP协议的关键应用在一定程度上是相似的。
2022-01-05 digiproto
-
![ModelCoder中的代数环问题]()
ModelCoder中的代数环问题
2020年5月23日，美国商务部宣布，将共计33家中国公司和机构列入实体清单，哈工大、哈工程被禁用“工科神器”Matlab，而Simulink是Matlab软件的扩展，它是一个实现动态系统建模和仿真的软件。Matlab在国内知名院校和关键领域研究院所的禁用，给在国内坐了多年冷板凳，从事基础软件研究和产业化的我们，带来了机遇。
2021-12-30 digiproto
-
![漫谈Windows共享内存]()
漫谈Windows共享内存
在讲共享内存之前先来聊聊虚拟内存的那些事。 对于整个系统而言，主存与CPU的资源都是有限的，随着打开进程数量的增加，若是将所有进程运行所需的代码/数据/栈/共享库都存放在主存中，那么开启一部分进程就可以将主存占用完。
2021-12-23 digiproto
-
![浅谈ARMv7-A协处理器CP15]()
浅谈ARMv7-A协处理器CP15
协处理器，顾名思义就是协助型处理器，主要协助做一些主处理器无法执行或者执行效率不佳的事情，比如浮点、图像、音频处理这一类，随着硬件的发展，大多协处理器的功能都慢慢集成到主处理器中，但是某些特定的工作还是需要协处理器进行辅助。
2021-12-21 digiproto
-
![L2C中CtempGen层语义保持证明中环境匹配的定义]()
L2C中CtempGen层语义保持证明中环境匹配的定义
ModelCoder是一款由迪捷软件自主研发，支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2021-12-20 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
13818530826 (商务) / 13501153049 / 15600442810 (微信同号)
-
