-
![ModelCoder：实现汽车四轮转向控制系统的建模仿真]()
ModelCoder：实现汽车四轮转向控制系统的建模仿真
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具，支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于汽车控制系统、飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2022-04-27 digiproto
-
![ModelCoder模块系列：PID模块介绍]()
ModelCoder模块系列：PID模块介绍
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder当前拥有9个基础模块库，40余个模块，PID Controller为ModelCoder实现PID控制算法的模块。
2022-03-17 digiproto
-
![【视频】SkyEye仿真软件的仿真时间介绍]()
【视频】SkyEye仿真软件的仿真时间介绍
仿真时间即虚拟目标系统运行的时间，SkyEye设计了一套专门的仿真时间机制，区别于真实的物理时间。所有虚拟目标系统运行时内部时钟皆基于该机制生成，CPU和外设采用统一的仿真时间以保证系统模块间的同步。
2021-12-31 digiproto
-
![【视频】基于SkyEye仿真的远程调试]()
【视频】基于SkyEye仿真的远程调试
SkyEye全称天目全数字实时仿真软件，是真实物理硬件的数字孪生。SkyEye提供GDB远程调试功能，能够在没有真实硬件的情况下进行源码级别的调试，且整个调试过程，包括使用人员的操作习惯等与在真实硬件中调试完全一致，大大缩短开发过程中因硬件环境所带来的时间损耗。
2021-12-27 digiproto
-
![【视频】基于SkyEye的目标码覆盖率分析]()
【视频】基于SkyEye的目标码覆盖率分析
数字时代，嵌入式系统越来越复杂，功能迭代越来越多，代码中可能会存在部分无用代码，或者在执行过程中无法测试覆盖的分支，这可能会给软件带来各种漏洞，严重降低软件的可靠性。SkyEye提供的动态分析代码执行覆盖情况的功能，可以方便快捷地检测代码中未执行的覆盖情况。SkyEye还可以涵盖基于模型的系统工程（MBSE）的开发和仿真测试的各个环节。
2021-12-17 digiproto
-
![【视频】基于SkyEye的SoC仿真快速搭建测试用例]()
【视频】基于SkyEye的SoC仿真快速搭建测试用例
片上系统System on Chip，简称SoC，是一种集成电路（也称为“芯片”），集成了计算机或其他电子系统的所有或大部分组件。SkyEye内置了一些常用SoC，例如DSP架构的c6713、c2812，有助于用户模拟真实硬件环境以及快速搭建测试用例。用户也可以右键板子进行自定义的添加和更新SoC。
2021-12-15 digiproto
-
![【视频】SkyEye的“多开工程”功能]()
【视频】SkyEye的“多开工程”功能
一般编译运行程序类软件如eclipse、ccs等仅支持对单个工程的加载、运行、暂停、退出等操作，但SkyEye考虑到用户对工程进行批量测试的需求，故而提供多开工程功能。
2021-12-10 digiproto
-
![基于SkyEye的覆盖率测试]()
基于SkyEye的覆盖率测试
覆盖率测试是一种白盒测试手段，通常会在软件测试的早期阶段进行,也就是单元测试过程中。覆盖率测试这种测试方式需要对测试代码本身进行访问同时对代码进行插桩处理，再根据程序的内部结构完成测试工作。覆盖率测试的过程中需要做到有效覆盖程序的语句以及分支结构,尽量在测试过程中发现隐藏的软件缺陷从而保证软件的质量。
2021-10-28 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
