• SkyEye图形化界面使用技巧篇(一)

    本文主要介绍SkyEye图形化界面中gp搭建功能的使用技巧,后续将持续更新更多使用技巧。SkyEye图形化界面,操作简单、易于理解、上手快,各功能模块区分明晰,且技术支持随时在线。若各位朋友感兴趣的话,可订阅迪捷数原公众号,也可联系官方获取试用版(迪捷软件 (http://digiproto.com))进行试用。

    2023-05-15 digiproto

  • 带你玩转基于SkyEye的TLE987 DMA控制器实现

    DMA,全称Direct Memory Access,即直接存储器访问。 DMA传输将数据从一个地址空间复制到另一个地址空间,提供在外设和存储器之间或者存储器和存储器之间的高速数据传输。当CPU初始化这个传输动作,传输动作本身是由DMA控制器来实现和完成的。DMA传输方式无需CPU直接控制传输,也没有中断处理方式那样保留现场和恢复现场过程,通过硬件为RAM和IO设备开辟一条直接传输数据的通道,使得CPU的效率大大提高。

    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

  • 初识CPS方法的连续动态建模

    信息物理融合系统(CPS)是对计算进程与物理进程进行集成所形成的综合系统,其行为由系统的信息部分及物理部分共同定义。嵌入式系统中的计算机与网络监测并控制物理进程,且在通常情况下这些物理进程与计算进程在反馈环路中相互影响。

    2023-05-15 digiproto

  • 基于模型的设计(MBD)在汽车ECU软件开发中的实践

    基于模型的设计(MBD)是整车厂在当前激烈的竞争环境下的最优选,但如何选择一套应用MBD、以模型为核心,且能处理从需求、设计、代码生成到测试的开发工具?点击原文了解详情。

    2023-05-15 digiproto

  • 概念:四种基于模型的嵌入式软件开发、测试与验证方法

    通过MBD提供的统一设计环境,开发人员可在软件的整个生命周期中使用同一套模型进行需求验证、数据分析、模型可视化、测试和验证,并进行最终的产品部署。

    2023-05-15 digiproto

首页
产品
新闻
联系