-
![嵌入式系统开发中的DevOps自动化： 工具、益处和挑战]()
-
![【视频】于SkyEye的内存查看功能]()
【视频】于SkyEye的内存查看功能
开发人员在调试程序时，往往会遇到程序实际运行结果和预期结果不一致的情况，或者需要在程序运行过程中检验某个地址是否写入了预期的值。此时就需要一个具备实时监控全局内存地址功能的软件。
2022-08-17 digiproto
-
![【视频】基于SkyEye仿真C6713处理器]()
【视频】基于SkyEye仿真C6713处理器
C6713是美国德州仪器公司推出的一款基于DSP架构的C6000系列处理器，作为32位高速浮点型DSP，其时钟频率最高可达300MHz，被广泛应用于工控、通信、电力等领域。C6713处理器的体系结构采用超长指令字结构（Very Long Instruction Word，VLIW），最大处理能力可以达到2400MIPS，具有高性能、低功耗、高可靠的特点。
2022-08-11 digiproto
-
![【视频】基于SkyEye的反汇编调试功能]()
【视频】基于SkyEye的反汇编调试功能
研发人员在调试二进制可执行文件时，经常需要查看二进制文件的反汇编指令，并通过动态调试功能分析反汇编指令，理解二进制文件的执行逻辑，分析文件中存在的漏洞和缺陷。本视频展示了如何基于SkyEye天目全数字实时仿真软件快速查看和调试反汇编的过程。首先，启动SkyEye界面，加载并运行一个工程。程序运行后点击“暂停”，即可在反汇编界面查看执行的二进制文件所对应的反汇编指令列表。该界面最上方显示的是目标程序
2022-08-03 digiproto
-
![初探形式化方法基本原理]()
初探形式化方法基本原理
1.形式化方法基本概念形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理，其主要涵盖以下几个研究方向：定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格
2022-08-01 digiproto
-
![ModelCoder状态机：对柴油机工况判断策略进行建模]()
ModelCoder状态机：对柴油机工况判断策略进行建模
1.柴油机ECU简介柴油机是用柴油作燃料的内燃机，属于压缩点火式发动机。柴油机ECU（Electronic Control Unit，电子控制单元）的主要功能有：接受来自柴油机上的各个传感器信号；进行工况判断；根据开发人员事先编写的控制策略与标定存储的各类MAP（汽车工程上常用的实验数据图），计算判断在当前工况下的所需的喷油量、喷油正时与喷射压力等控制参数；通过功率驱动模块控制执行器输出。柴油机E
2022-07-29 digiproto
-
![【视频】基于SkyEye仿真MPC8548处理器]()
【视频】基于SkyEye仿真MPC8548处理器
MPC8548是基于PowerPC架构的PowerQuicc III系列处理器，其强大的处理能力特别适合于高速低时延的数据处理，广泛应用于嵌入式设备、工业控制领域。MPC8548处理器最高工作频率可达1.5GHz，处理性能可达3065 MIPS。一级缓存分为指令缓存和数据缓存，容量各为32KB；二级缓存容量为512KB，支持DDR1和DDR2存储器控制器。该处理器还支持PCI、PCI-X、PCI
2022-07-28 digiproto
-
![DevOps在物联网解决方案中的应用]()
DevOps在物联网解决方案中的应用
物联网对生产生活的应用赋能体现在方方面面：通过传感器，即便远隔千里也能对设备进行运维监控；智能音箱普及之下，语音呼唤就能乐享智慧生活；覆盖道路的视频监控实时传输给行驶中的车辆，车路协同让无人驾驶成为可能……
2022-07-28 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
