形式化验证-媒体中心-国产MBSE工业软件,迪捷软件,ModelCoder,SkyEye,SysModeler

基于ModelCoder的汽车悬挂系统建模

悬挂系统主要功能为支持车身、改善乘坐感觉。悬挂系统综合多种作用力，决定着汽车行驶过程的稳定性、舒适性和安全性，是整车厂需要考量的重要汽车部件之一。

2022-11-25 digiproto

浙里工业软件声音 - 金问鼎：“MBSE+DevOps”两位一体，SkyEye助力卫星数字先行

天目全数字实时仿真软件SkyEye作为攻克“卡脖子”关键技术、国产替代和自主可控的工业软件，可构建卫星全生命周期的数字孪生系统，应用先进的“MBSE+DevOps”方法论，实现卫星姿态轨道控制软件的正确性、可靠性与高效性，为卫星保驾护航。

2022-10-26 digiproto

陈颙院士一行莅临迪捷软件考察调研

9月21日上午，中国科学院院士陈颙携南京大学相关专家一行莅临迪捷软件考察调研。

2022-09-23 digiproto

绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导

2022年9月22日上午，绍兴市越城区人大常委会主任徐荻一行莅临迪捷软件调研指导，迪捷软件副总经理田娜及相关部门负责人出席接待。

2022-09-23 digiproto

技术交流 - 漫谈嵌入式实时操作系统

软件产品作为航天型号的重要组成部分，直接影响航天任务成败，需要利用RTOS作为基础平台在机制上予以保障，完成任务实时调度、资源优化分配、设备有效管理、故障快速捕获与处理，从而降低上层应用软件复杂性，使之能专注于核心功能，提高软件产品质量，缩短研制周期，并提高系统的确定性、可靠性和灵巧性。

2022-09-13 digiproto

1.形式化方法基本概念形式化方法是基于严格的数学基础，通过采用数学逻辑证明来对计算机软硬件系统进行建模、规约、分析、推理和验证，是用于保证计算机软硬件系统正确性以及安全性的一种重要方法。形式化方法使用数学及逻辑证明的手段对计算机系统进行建模、规约、分析、推理，其主要涵盖以下几个研究方向：定理证明、形式模型、形式语义与形式建模、形式规约、形式验证技术。下面以高可信工业领域实际应用中最广泛的形式化规格

2022-08-01 digiproto

浙江省经信厅邬韶杭处长一行莅临迪捷软件调研座谈

2022年5月24日下午，浙江省经信厅软件和集成电路处处长邬韶杭携省软件行业协会、省半导体行业协会领导赴迪捷软件调研指导，市经信局领导陪同调研。

2022-05-27 digiproto

「迪捷软件」喜获Pre-A轮千万级融资，硬核科技打造安全关键领域嵌入式数字仿真平台

不积跬步，无以至千里。面对如此巨大的市场需求，潜心耕耘近20年的迪捷团队抓住机遇，厚积薄发，于2019年成立浙江迪捷软件科技有限公司，推出了基于模型的系统工程（MBSE）的自主研发产品。

2022-05-09 digiproto

产品与解决方案

媒体中心

人才战略

关于迪捷