-
汽车ECU软件开发之应用层软件与底层软件
在汽车新能源与智能化的浪潮中，亚太地区汽车产量不断增大，高端化发展趋势明显，目前已成为全球最大的汽车ECU市场。点开原文，了解汽车ECU软件的应用层软件与底层软件。
2023-01-19 digiproto
-
基于模型的设计（MBD）在汽车ECU软件开发中的实践
基于模型的设计（MBD）是整车厂在当前激烈的竞争环境下的最优选，但如何选择一套应用MBD、以模型为核心，且能处理从需求、设计、代码生成到测试的开发工具？点击原文了解详情。
2022-12-09 digiproto
-
基于ModelCoder的汽车悬挂系统建模
悬挂系统主要功能为支持车身、改善乘坐感觉。悬挂系统综合多种作用力，决定着汽车行驶过程的稳定性、舒适性和安全性，是整车厂需要考量的重要汽车部件之一。
2022-11-25 digiproto
-
浙里工业软件声音 - 金问鼎：“MBSE+DevOps”两位一体，SkyEye助力卫星数字先行
天目全数字实时仿真软件SkyEye作为攻克“卡脖子”关键技术、国产替代和自主可控的工业软件，可构建卫星全生命周期的数字孪生系统，应用先进的“MBSE+DevOps”方法论，实现卫星姿态轨道控制软件的正确性、可靠性与高效性，为卫星保驾护航。
2022-10-26 digiproto
-
![陈颙院士一行莅临迪捷软件考察调研]()
-
![绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导]()
绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导
2022年9月22日上午，绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导，迪捷软件副总经理田娜及相关部门负责人出席接待。
2022-09-23 digiproto
-
![如何搭建点燃式发动机仿真模型]()
-
![初探形式化方法基本原理]()
初探形式化方法基本原理
1.形式化方法基本概念形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理，其主要涵盖以下几个研究方向：定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格
2022-08-01 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
