-
![基于常微分方程初值问题的ModelCoder固定步长求解器分析]()
基于常微分方程初值问题的ModelCoder固定步长求解器分析
形式化验证的代码生成工具ModelCoder由迪捷软件自主开发，是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具。ModelCoder支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。对标产品有国外ANSYS公司的SCADE或者MathWorks公司的MATLAB/Simulink。
2023-05-15 digiproto
-
![概念：四种基于模型的嵌入式软件开发、测试与验证方法]()
概念：四种基于模型的嵌入式软件开发、测试与验证方法
通过MBD提供的统一设计环境，开发人员可在软件的整个生命周期中使用同一套模型进行需求验证、数据分析、模型可视化、测试和验证，并进行最终的产品部署。
2023-05-15 digiproto
-
![DevOps：定义汽车软件新开发模式]()
DevOps：定义汽车软件新开发模式
汽车的系统开发以模型驱动开发为主（Model-based systems engineering，MBSE），快速迭代、持续集成、可靠性代码自动生成、测试自动化等改善开发流程的需求逐渐受到重视。
2023-05-15 digiproto
-
![浙里工业软件声音 - 金问鼎：“MBSE+DevOps”两位一体，SkyEye助力卫星数字先行]()
浙里工业软件声音 - 金问鼎：“MBSE+DevOps”两位一体，SkyEye助力卫星数字先行
天目全数字实时仿真软件SkyEye作为攻克“卡脖子”关键技术、国产替代和自主可控的工业软件，可构建卫星全生命周期的数字孪生系统，应用先进的“MBSE+DevOps”方法论，实现卫星姿态轨道控制软件的正确性、可靠性与高效性，为卫星保驾护航。
2023-05-15 digiproto
-
![嵌入式软件开发新趋势：DevOps]()
嵌入式软件开发新趋势：DevOps
一种新趋势正在全球嵌入式软件开发者之间悄然发生：小至家庭办公室，大至集团公司的尖端科研实验室，开发者们正在尝试新的改变——将“DevOps”实践到嵌入式软件开发中。
2023-05-15 digiproto
-
![故障注入的方法与工具]()
故障注入的方法与工具
测试软件可靠性的诸多方法中，较为常见的一种为故障注入测试——根据选定的故障模型选择故障注入工具，人为地将故障注入系统并采集系统反应行为信息，从而进行可靠性分析。
2023-04-14 digiproto
-
![SkyEye Q&A ——第三期]()
-
![绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导]()
绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导
2022年9月22日上午，绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导，迪捷软件副总经理田娜及相关部门负责人出席接待。
2022-09-23 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
