-
![SkyEye助力飞控软件Debug]()
SkyEye助力飞控软件Debug
在嵌入式系统飞速发展的飞行控制领域，软硬件紧耦合的情况使得只有快速定位软件问题并找到问题出现的根本原因，才能最大程度地降低调试成本，缩短开发周期。
2023-05-15 digiproto
-
![Linux 操作系统中异常处理函数的实现]()
Linux 操作系统中异常处理函数的实现
每一个Linux C/C++开发人员都碰到过由内存访问引发的段错误 Segmentation fault (core dumped) 。通常这种错误是由于访问了错误的内存地址、内存不足、错误的类型访问等问题引起...
2023-05-15 digiproto
-
![GDB的工作原理及skyeye远程调试]()
-
![FMI在仿真软件SkyEye中的应用]()
FMI在仿真软件SkyEye中的应用
随着科技的发展，我国在安全攸关领域对于嵌入式软件的应用日益广泛，并且对于软硬件的性能及可靠性等方面要求变得更高。面对各种复杂的系统设计所提供的设计和分析手段也逐渐完善，其中仿真技术在近几年越来越受到重视，其在西方发达国家的多个工业领域中，都得到了广泛的应用。
2023-05-15 digiproto
-
![SkyEye仿真平台下的操作系统实验- 准备篇（一）]()
SkyEye仿真平台下的操作系统实验- 准备篇（一）
《一步步写嵌入式操作系统》从零开始实现了操作系统leeos，并在SkyEye虚拟机中进行了实验验证。 leeos是一个简单的多任务操作系统，进程调度方式为时间片轮询。leeos使用伙伴算法实现了动态内存分配，支持romfs文件系统，支持运行elf格式的可执行文件。leeos提供了一个简单的驱动程序框架，和一个统一的异常与中断处理架构，并通过使用中断嵌套的方法提高了中断效率。leeos支持mmu，使用两级页表结构实现虚拟地址到物理地址的转换。以上涉及到的技术都在《一步步写嵌入式操作系统》中有详细讲解。
2023-05-15 digiproto
-
![SkyEye图形化界面使用技巧篇（一）]()
SkyEye图形化界面使用技巧篇（一）
本文主要介绍SkyEye图形化界面中gp搭建功能的使用技巧，后续将持续更新更多使用技巧。SkyEye图形化界面，操作简单、易于理解、上手快，各功能模块区分明晰，且技术支持随时在线。若各位朋友感兴趣的话，可订阅迪捷数原公众号，也可联系官方获取试用版（迪捷软件 (http://digiproto.com)）进行试用。
2023-05-15 digiproto
-
![带你玩转基于SkyEye的TLE987 DMA控制器实现]()
带你玩转基于SkyEye的TLE987 DMA控制器实现
DMA，全称Direct Memory Access，即直接存储器访问。 DMA传输将数据从一个地址空间复制到另一个地址空间，提供在外设和存储器之间或者存储器和存储器之间的高速数据传输。当CPU初始化这个传输动作，传输动作本身是由DMA控制器来实现和完成的。DMA传输方式无需CPU直接控制传输，也没有中断处理方式那样保留现场和恢复现场过程，通过硬件为RAM和IO设备开辟一条直接传输数据的通道，使得CPU的效率大大提高。
2023-05-15 digiproto
-
![基于常微分方程初值问题的ModelCoder固定步长求解器分析]()
基于常微分方程初值问题的ModelCoder固定步长求解器分析
形式化验证的代码生成工具ModelCoder由迪捷软件自主开发，是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
