-
![初识Web Component]()
初识Web Component
Web Components是为了解决HTML不支持组件导致的代码冗余。在没有组件的情况下，相同的HTML结构需要在代码出现多次，既不美观又严重影响维护，从而影响项目的开发进度。
2023-05-15 digiproto
-
![细数嵌入式开发与通用系统开发的不同]()
细数嵌入式开发与通用系统开发的不同
嵌入式开发指在嵌入式操作系统下进行开发，包括在系统化设计指导下的硬件和软件以及综合研发。而通用系统开发则是指在具有有多道批处理、分时、实时处理功能中的两种及以上功能的操作系统中进行开发。
2023-05-15 digiproto
-
![软件定义汽车带来的困境---如何破局？]()
软件定义汽车带来的困境---如何破局？
随着科技的发展，人们的生活正在发生翻天覆地的变化巨大改变，生活质量不断提高，这使得人们对智能化的服务体验的要求越来越高。传统的汽车行业单纯地的改变物理硬件，只能在局限的空间内改善舒适度，而无法适应人们对智能化的需求。
2023-05-15 digiproto
-
![SkyEye仿真ZYNQ芯片，轻松运行国产操作系统ReWorks]()
SkyEye仿真ZYNQ芯片，轻松运行国产操作系统ReWorks
加速通信设备的开发和测试是航空电子领域发展的关键方向。航空电子领域的嵌入式系统往往较为复杂，在软件开发与硬件研制相辅相成的情况下，复杂、耗时、高价的硬件环境搭建，成为软件开发滞后的重大阻碍。SkyEye全数字实时仿真平台，能够部署在桌面级Windows 和Linux 系统上，搭建硬件仿真目标系统，并运行嵌入式软件，大大改善了软件开发受硬件设备资源制约的问题。
2023-05-15 digiproto
-
![基于SkyEye的GPU仿真——解决嵌入式仿真难题]()
基于SkyEye的GPU仿真——解决嵌入式仿真难题
飞机通常由机翼、机身、起落架和飞机操作系统组成，包含丰富的嵌入式应用系统，这其中最复杂的便是航空电子系统。不同类型飞机根据其任务、使命和应用环境的不同，其航电系统的组成、功能和配置也有一定的区别。大规模航电系统往往意味着极其高的系统安全系数要求，而其中某一子系统的嵌入式软件代码量，可能就有几十万、甚至几百万行，其庞大而复杂的功能体系，成为了安全测试的主要瓶颈之一。而航空电子系统不断加快的研发迭代速度无疑是雪上加霜，一旦遇到死机或者黑屏现象，追溯问题的过程将变得十分困难，因此迫切需要大规模集成化的测试手段，来辅助系统的研发并验证其安全性。
2023-05-15 digiproto
-
![如何确保安全关键领域多核嵌入式系统中的软件时序]()
如何确保安全关键领域多核嵌入式系统中的软件时序
开发多核处理器的挑战往往在于软件的时序，软件时序不仅受软件运行和输入的影响，还会受到其他处理器核心上运行软件的影响。本文将从多核时序分析入手，探讨汽车领域嵌入式软件安全问题的解决方案。
2023-05-15 digiproto
-
![FMI在仿真软件SkyEye中的应用]()
FMI在仿真软件SkyEye中的应用
随着科技的发展，我国在安全攸关领域对于嵌入式软件的应用日益广泛，并且对于软硬件的性能及可靠性等方面要求变得更高。面对各种复杂的系统设计所提供的设计和分析手段也逐渐完善，其中仿真技术在近几年越来越受到重视，其在西方发达国家的多个工业领域中，都得到了广泛的应用。
2023-05-15 digiproto
-
![基于常微分方程初值问题的ModelCoder固定步长求解器分析]()
基于常微分方程初值问题的ModelCoder固定步长求解器分析
形式化验证的代码生成工具ModelCoder由迪捷软件自主开发，是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。
2023-05-15 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
