• 虚拟飞控计算机:飞行控制系统验证与优化的利器

    随着航空技术的飞速发展,飞行控制系统作为飞机的心脏,全面负责监测、调整和维持飞行器的姿态、航向、高度等参数,用以确保飞行的安全和稳定。为了满足这些要求,现代飞控系统通常采用先进的处理器和外设来确保其高效、稳定的运行。

    2024-02-06 digiproto

  • 多领域协同仿真——数据回放篇

    数据回放技术是数据采集技术的后续与衍生。20世纪90年代至今,数据采集与数据回放技术得到了前所未有的发展,应用领域已从最开始的实验室、工业方面迈向了军事领域、航空以及高端的电子设备,在雷达、通信、水声遥测、遥感、地震勘测等众多领域中得到了广泛应用。在很难实现或实现成本高的环境条件中,多用仿真技术进行研究,数据回放技术显得尤为重要。协同仿真中的数据回放功能是指记录仿真过程中产生的数据,并在仿真结束后

    2023-12-22 digiproto

  • 知识-基于混合模式的多余度飞控全数字仿真系统研究

    通过集成SkyEye和其他各类持续集成工具,将SkyEye虚拟硬件与DevOps工作流紧耦合,集项目管理和流水线于一体,可应用于嵌入式软件开发的全生命周期,打造持续集成全链路一站式平台。

    2023-12-15 digiproto

  • 数字孪生协同仿真:复杂电机篇

    时至今日,从传统的电动机到现代的电动汽车动力系统,电机仿真技术在电机设计、性能分析和控制策略开发领域发挥着关键作用。

    2023-10-30 digiproto

  • 如何确保安全关键领域多核嵌入式系统中的软件时序

    开发多核处理器的挑战往往在于软件的时序,软件时序不仅受软件运行和输入的影响,还会受到其他处理器核心上运行软件的影响。本文将从多核时序分析入手,探讨汽车领域嵌入式软件安全问题的解决方案。

    2023-05-15 digiproto

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

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

    2023-05-15 digiproto

  • ModelCoder中的超密时间模型

    许多仿真模型中都有时间的概念,这就意味着模块间的通信和模块所执行的计算是在一个逻辑时间轴上的,这两个动作在执行时要么按顺序执行,也就是说某个动作在另外一个动作之前;要么两个同时执行(并发执行)。

    2022-01-18 digiproto

  • 【视频】SkyEye仿真软件的仿真时间介绍

    仿真时间即虚拟目标系统运行的时间,SkyEye设计了一套专门的仿真时间机制,区别于真实的物理时间。所有虚拟目标系统运行时内部时钟皆基于该机制生成,CPU和外设采用统一的仿真时间以保证系统模块间的同步。

    2021-12-31 digiproto

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