• 漫谈Windows共享内存

    在讲共享内存之前先来聊聊虚拟内存的那些事。 对于整个系统而言,主存与CPU的资源都是有限的,随着打开进程数量的增加,若是将所有进程运行所需的代码/数据/栈/共享库都存放在主存中,那么开启一部分进程就可以将主存占用完。

    2023-05-15 digiproto

  • 细数嵌入式开发与通用系统开发的不同

    嵌入式开发指在嵌入式操作系统下进行开发,包括在系统化设计指导下的硬件和软件以及综合研发。而通用系统开发则是指在具有有多道批处理、分时、实时处理功能中的两种及以上功能的操作系统中进行开发。

    2023-05-15 digiproto

  • 软件定义汽车带来的困境---如何破局?

    随着科技的发展,人们的生活正在发生翻天覆地的变化巨大改变,生活质量不断提高,这使得人们对智能化的服务体验的要求越来越高。传统的汽车行业单纯地的改变物理硬件,只能在局限的空间内改善舒适度,而无法适应人们对智能化的需求。

    2023-05-15 digiproto

  • 嵌入式软件调试的发展历程

    从20世纪70年代单片机的出现发展至今,随着高性能的计算平台和多核系统的引入,更复杂的处理器架构被应用于高度复杂的程序中,嵌入式软件调试的需求也随之增加。

    2023-05-15 digiproto

  • SkyEye仿真ZYNQ芯片,轻松运行国产操作系统ReWorks

    加速通信设备的开发和测试是航空电子领域发展的关键方向。航空电子领域的嵌入式系统往往较为复杂,在软件开发与硬件研制相辅相成的情况下,复杂、耗时、高价的硬件环境搭建,成为软件开发滞后的重大阻碍。SkyEye全数字实时仿真平台,能够部署在桌面级Windows 和Linux 系统上,搭建硬件仿真目标系统,并运行嵌入式软件,大大改善了软件开发受硬件设备资源制约的问题。

    2023-05-15 digiproto

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

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

    2023-05-15 digiproto

  • SkyEye助力飞控软件Debug

    在嵌入式系统飞速发展的飞行控制领域,软硬件紧耦合的情况使得只有快速定位软件问题并找到问题出现的根本原因,才能最大程度地降低调试成本,缩短开发周期。

    2023-05-15 digiproto

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

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

    2023-05-15 digiproto

首页
产品
新闻
联系