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

「迪捷软件」喜获Pre-A轮千万级融资，硬核科技打造安全关键领域嵌入式数字仿真平台

不积跬步，无以至千里。面对如此巨大的市场需求，潜心耕耘近20年的迪捷团队抓住机遇，厚积薄发，于2019年成立浙江迪捷软件科技有限公司，推出了基于模型的系统工程（MBSE）的自主研发产品。

2022-05-09 digiproto

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

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

2022-04-27 digiproto

ModelCoder模块系列：PID模块介绍

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

2022-03-17 digiproto

【视频】SkyEye仿真软件的仿真时间介绍

仿真时间即虚拟目标系统运行的时间，SkyEye设计了一套专门的仿真时间机制，区别于真实的物理时间。所有虚拟目标系统运行时内部时钟皆基于该机制生成，CPU和外设采用统一的仿真时间以保证系统模块间的同步。

2021-12-31 digiproto

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

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

2021-12-27 digiproto

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

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

2021-12-17 digiproto

【视频】基于SkyEye的SoC仿真快速搭建测试用例

片上系统System on Chip，简称SoC，是一种集成电路（也称为“芯片”），集成了计算机或其他电子系统的所有或大部分组件。SkyEye内置了一些常用SoC，例如DSP架构的c6713、c2812，有助于用户模拟真实硬件环境以及快速搭建测试用例。用户也可以右键板子进行自定义的添加和更新SoC。

2021-12-15 digiproto

【视频】SkyEye的“多开工程”功能

一般编译运行程序类软件如eclipse、ccs等仅支持对单个工程的加载、运行、暂停、退出等操作，但SkyEye考虑到用户对工程进行批量测试的需求，故而提供多开工程功能。

2021-12-10 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷