嵌入式系统-媒体中心-迪捷软件-关键领域·国内领先的嵌入式数字样机提供商

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

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

2023-05-15 digiproto

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

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

2023-05-15 digiproto

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

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

2023-05-15 digiproto

DevOps：定义汽车软件新开发模式

汽车的系统开发以模型驱动开发为主（Model-based systems engineering，MBSE），快速迭代、持续集成、可靠性代码自动生成、测试自动化等改善开发流程的需求逐渐受到重视。

2023-05-15 digiproto

手把手教你！基于Jenkins的嵌入式软件持续集成方法

嵌入式软件就是嵌入在硬件中的操作系统和开发工具软件，它在产业中的关联关系体现为：芯片设计制造→嵌入式系统软件→嵌入式电子设备开发、制造。嵌入式软件与嵌入式系统是密不可分的，嵌入式系统一般由嵌入式微处理器、外围硬件设备、嵌入式操作系统以及用户的应用程序4个部分组成，用于实现对其他设备的控制、监视或管理等功能。嵌入式软件就是基于嵌入式系统设计的软件，它也是计算机软件的一种，同样由程序及其文档组成，是嵌入式系统的重要组成部分。

2023-05-15 digiproto

浅谈嵌入式系统的持续集成

持续集成（Continuous Integration(CI)）和持续交付（Continuous Delivery(CD)）是现代软件开发中两个非常重要的概念。集成是完成交付和部署的前置条件，实现持续交付最大的难点是如何配置正确的持续集成流程。

2023-05-15 digiproto

自行搭建嵌入式持续集成工具：从0到1

如何自行搭建嵌入式持续集成工具？点开文章了解答案。

2023-05-15 digiproto

清华大学陈渝老师受聘车用操作系统与泛在操作系统联合实验室操作系统首席科学家

汽车智能化已成为新一轮产业竞争的战略制高点。车用操作系统是智能网联汽车的灵魂，也是车路云一体化的基础。车用操作系统与芯片的协同变革将从根本上解决“缺芯少魂”问题，是实现国家战略的必经之路。2023年2月21日下午，中国汽车工程学会、中国计算机学会与国家智能网联汽车创新中心（简称“创新中心”）共同筹备的“车用操作系统与泛在操作系统联合实验室”（简称“联合实验室”）成立仪式在京成功举行。联合实验室汇集

2023-02-24 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷