• 浅议嵌入式软件测试

    嵌入式系统的功能和复杂性不断增加带来的开发时间和成本压力在安全关键领域显得尤为突出,本文将具体分析嵌入式软件测试的特性及工具选择。

    2023-05-15 digiproto

  • 浅谈状态机

    在工业生产中,常常会使用到建模软件,而建模的目的就是为了在制造的前期进行验证和试错,以确保制造出来的东西能够很好的使用。而在建模仿真的领域中,状态机又是逃不开的一个话题。

    2023-05-15 digiproto

  • 设计模式六大原则你都知道吗?

    单一职责原则的核心是功能单一化,功能单一化后每个模块只受该功能的影响,不会出现其他功能的改变导致必须修改该模块。比方说登录模块和用户管理模块,如果合在一起,会导致如果需要增加一个临时登录的功能必然会影响用户管理模块,至少上线的时候用户管理模块也是断掉的。

    2023-05-15 digiproto

  • SkyEye携手Simulink实现全数字协同仿真

    电机广泛应用于家电、汽车以及航空航天等领域,与嵌入式芯片有着千丝万缕的联系。若能进一步提升电机与芯片之间的契合度,硬件设备的效能利用率也能得到提高。

    2023-05-15 digiproto

  • 基于常微分方程初值问题的ModelCoder固定步长求解器分析

    形式化验证的代码生成工具ModelCoder由迪捷软件自主开发,是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型,其从模型生成代码的过程经过了形式化验证,以保证生成过程的正确无误性,能够用于飞行控制系统,航空电子系统,核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。

    2023-05-15 digiproto

  • 细数SkyEye异构仿真的5大特色

    航天飞行器使用仿真器的重要性航天飞行器如卫星、载人飞船等需要在空中运行很长的时间,如果出现问题回收再调试可能要历时几个月,而且不得不中断任务,损失将是庞大的。

    2023-05-15 digiproto

  • ModelCoder中的代数环问题

    2020年5月23日,美国商务部宣布,将共计33家中国公司和机构列入实体清单,哈工大、哈工程被禁用“工科神器”Matlab,而Simulink是Matlab软件的扩展,它是一个实现动态系统建模和仿真的软件。Matlab在国内知名院校和关键领域研究院所的禁用,给在国内坐了多年冷板凳,从事基础软件研究和产业化的我们,带来了机遇。

    2023-05-15 digiproto

  • 嵌入式软件开发为什么需要DevOps?

    为什么嵌入式软件开发对DevOps的接受度越来越高?点击文章,一探究竟。

    2023-05-15 digiproto

上一页12下一页 转至第
首页
产品
新闻
联系