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

ModelCoder：实现汽车四轮转向控制系统的建模仿真

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

2022-04-27 digiproto

ModelCoder模块系列：PID模块介绍

ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder当前拥有9个基础模块库，40余个模块，PID Controller为ModelCoder实现PID控制算法的模块。

2022-03-17 digiproto

小迪和小捷的太空之旅——地球篇

飞船撞地归途难料，SkyEye仿真保驾护航

2022-03-08 digiproto

【视频】SkyEye设备设计器

SkyEye设备设计器是一款外设框架代码生成器，能够帮助开发人员自动生成外设框架代码，大大缩短工程开发周期。通过UI界面设置外设需要的interface接口、connection接口、寄存器、定时器和属性，一键构建外设代码，可以实现快速完成外设框架的搭建工作。

2022-01-25 digiproto

【视频】基于SkyEye仿真的异常触发功能

异常（exception）是指程序在运行过程中发生了意外的情况，这往往会导致处理器暂停当前执行流程，跳转到异常处理函数中进行异常处理。

2022-01-06 digiproto

【视频】基于SkyEye仿真的CPU和外设介绍

近年来，随着软硬件协同设计的需求，全系统实时仿真建模的重要性逐渐体现出来。软硬件协同设计思想于1990年代提出，在这一时期，微处理器已经产生了约 20 年，所有基于微处理器的系统都是板级系统。系统设计者不必理解集成电路设计，只需将微处理器和标准化的硬件集成在电路板上，再编制程序构成应用。本视频将为大家展示嵌入式芯片外设和CPU在SkyEye上对应的仿真模型。

2021-12-29 digiproto

【视频】基于SkyEye仿真的远程调试

SkyEye全称天目全数字实时仿真软件，是真实物理硬件的数字孪生。SkyEye提供GDB远程调试功能，能够在没有真实硬件的情况下进行源码级别的调试，且整个调试过程，包括使用人员的操作习惯等与在真实硬件中调试完全一致，大大缩短开发过程中因硬件环境所带来的时间损耗。

2021-12-27 digiproto

【视频】基于SkyEye的目标码覆盖率分析

数字时代，嵌入式系统越来越复杂，功能迭代越来越多，代码中可能会存在部分无用代码，或者在执行过程中无法测试覆盖的分支，这可能会给软件带来各种漏洞，严重降低软件的可靠性。SkyEye提供的动态分析代码执行覆盖情况的功能，可以方便快捷地检测代码中未执行的覆盖情况。SkyEye还可以涵盖基于模型的系统工程（MBSE）的开发和仿真测试的各个环节。

2021-12-17 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷