-
SkyEye携手Simulink实现全数字协同仿真
电机广泛应用于家电、汽车以及航空航天等领域，与嵌入式芯片有着千丝万缕的联系。若能进一步提升电机与芯片之间的契合度，硬件设备的效能利用率也能得到提高。
2022-03-07 digiproto
-
浅谈SkyEye虚拟ECU
随着汽车行业向着智能化、电动化、无人化的方向发展，汽车电子领域的研发复杂度急剧上升，汽车ECU(Electronic Control Unit，电子控制器单元)的软件规模也越来越大，其测量、标定等任务也在同比高速增加。如何能够在较短周期内高效地开发和测试 ECU 软件，同时维持较高的安全可靠水准，成为当前汽车电子开发亟需解决的难题之一。
2022-02-21 digiproto
-
【视频】基于SkyEye的数字卫星仿真平台
众所周知，在太空中，卫星为了完成航天任务，在安全性与可靠性上有着极高的要求。为了确保卫星能够在太空中长时间安全地运转，卫星的各个系统本身不能有任何功能缺陷，而且需要适应各种特殊的环境，例如，适应巨大的温差变化，或者防止由于外太空高能量粒子冲击卫星太阳能板导致的程序反转等问题的发生。
2022-02-17 digiproto
-
ModelCoder中的代数环问题
2020年5月23日，美国商务部宣布，将共计33家中国公司和机构列入实体清单，哈工大、哈工程被禁用“工科神器”Matlab，而Simulink是Matlab软件的扩展，它是一个实现动态系统建模和仿真的软件。Matlab在国内知名院校和关键领域研究院所的禁用，给在国内坐了多年冷板凳，从事基础软件研究和产业化的我们，带来了机遇。
2021-12-30 digiproto
-
![设计模式六大原则你都知道吗？]()
设计模式六大原则你都知道吗？
单一职责原则的核心是功能单一化，功能单一化后每个模块只受该功能的影响，不会出现其他功能的改变导致必须修改该模块。比方说登录模块和用户管理模块，如果合在一起，会导致如果需要增加一个临时登录的功能必然会影响用户管理模块，至少上线的时候用户管理模块也是断掉的。
2021-12-14 digiproto
-
![浅谈状态机]()
浅谈状态机
在工业生产中，常常会使用到建模软件，而建模的目的就是为了在制造的前期进行验证和试错，以确保制造出来的东西能够很好的使用。而在建模仿真的领域中，状态机又是逃不开的一个话题。
2021-12-13 digiproto
-
![基于常微分方程初值问题的ModelCoder固定步长求解器分析]()
基于常微分方程初值问题的ModelCoder固定步长求解器分析
形式化验证的代码生成工具ModelCoder由迪捷软件自主开发，是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。
2021-12-10 digiproto
-
![软件定义汽车带来的困境---如何破局？]()
软件定义汽车带来的困境---如何破局？
随着科技的发展，人们的生活正在发生翻天覆地的变化巨大改变，生活质量不断提高，这使得人们对智能化的服务体验的要求越来越高。传统的汽车行业单纯地的改变物理硬件，只能在局限的空间内改善舒适度，而无法适应人们对智能化的需求。
2021-10-20 digiproto
