-
![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
-
![SkyEye Q&A ——第三期]()
-
![绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导]()
绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导
2022年9月22日上午，绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导，迪捷软件副总经理田娜及相关部门负责人出席接待。
2022-09-23 digiproto
-
![初探形式化方法基本原理]()
初探形式化方法基本原理
1.形式化方法基本概念形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理，其主要涵盖以下几个研究方向：定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格
2022-08-01 digiproto
-
![绍兴市越城区副区长侯宏伟一行赴迪捷软件走访考察]()
-
![【视频】SkyEye：奔“跑”吧！VxWorks]()
【视频】SkyEye：奔“跑”吧！VxWorks
VxWorks操作系统是美国WindRiver风河公司设计开发的一款嵌入式实时操作系统。因其良好的可靠性和实时性，被广泛运用于军事、航空航天领域。例如卫星通讯、弹道制导和飞机导航等。
2022-06-07 digiproto
-
助力中国高端装备制造业的腾飞
-
-
contact@digiproto.com
-
0575-88361699
-
19957518153（销售）/ 13260299730（合作）/ 13501153049
-
