-
![ModelCoder：实现汽车四轮转向控制系统的建模仿真]()
ModelCoder：实现汽车四轮转向控制系统的建模仿真
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具，支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于汽车控制系统、飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。
2022-04-27 digiproto
-
![【视频】基于SkyEye半物理仿真——网卡篇]()
【视频】基于SkyEye半物理仿真——网卡篇
网络适配器，又称网卡，是一块被设计用来允许计算机在计算机网络上进行通讯的计算机硬件。虚拟网络适配器，又称虚拟网卡，即用软件模拟网络环境，模拟网络适配器。为了实现基于网卡的半物理仿真项目，SkyEye从仿真网卡作为切入点，打破虚拟与真实的壁垒。
2022-04-22 digiproto
-
![SkyEye Q&A ——第一期]()
SkyEye Q&A ——第一期
Q1.什么是SkyEye？A1.SkyEye，中文全称天目全数字实时仿真软件，是基于可视化建模的硬件行为级仿真平台，运用软件仿真技术，逼真地模拟出被测软件运行的物理环境。理想情况下，嵌入式软件的二进制可以不加修改直接运行于全数字实时仿真系统，且其运行的动态特性与真实环境一致。Q2.全数字实时仿真又是什么？A2.全数字实时仿真，指仿真的全过程可完全脱离原有的真实硬件环境完成。它不仅能够解决全物理和半
2022-04-13 digiproto
-
![【视频】基于SkyEye仿真BM3803国产芯片]()
【视频】基于SkyEye仿真BM3803国产芯片
中央处理器（Central Processing Unit，简称CPU）作为计算机系统的运算和控制核心——如同大脑一样的存在，是计算机中最主要的部件之一。在计算机系统中，“大脑”的计算速度是一个重要指标。如今，CPU并不仅限于普通计算机，还应用于各种高端装备行业，如航空航天领域等。在该领域中使用的CPU是专门为特殊环境定制的，在保证高可靠性的前提下追求卓越性能。BM3803就是为满足该特殊环境下的国产芯片之一。
2022-04-01 digiproto
-
![ModelCoder模块系列：PID模块介绍]()
ModelCoder模块系列：PID模块介绍
ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder当前拥有9个基础模块库，40余个模块，PID Controller为ModelCoder实现PID控制算法的模块。
2022-03-17 digiproto
-
![小迪和小捷的太空之旅——地球篇]()
-
![迪捷软件荣登首版次产品目录]()
迪捷软件荣登首版次产品目录
近日，浙江省经济和信息化厅公布的《2021年浙江省首版次软件产品应用推广指导目录》中，浙江迪捷软件科技有限公司的“天目全数字实时仿真软件 V3.5”榜上有名，成为2021年度绍兴市唯一入围软件产品。
2022-03-03 digiproto
-
![【视频】基于SkyEye的数字卫星仿真平台]()
【视频】基于SkyEye的数字卫星仿真平台
众所周知，在太空中，卫星为了完成航天任务，在安全性与可靠性上有着极高的要求。为了确保卫星能够在太空中长时间安全地运转，卫星的各个系统本身不能有任何功能缺陷，而且需要适应各种特殊的环境，例如，适应巨大的温差变化，或者防止由于外太空高能量粒子冲击卫星太阳能板导致的程序反转等问题的发生。
2022-02-17 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
