形式化验证-媒体中心-迪捷软件-国内领先的嵌入式DevOps解决方案提供商

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

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

ModelCoder：实现汽车四轮转向控制系统的建模仿真

ModelCoder是一款支持多种嵌入式系统建模并可以自动生成高安全可靠的C代码的软件设计和开发工具，支持同步数据流以及状态机等嵌入式模型，其从模型生成代码的过程经过了形式化验证，以保证生成过程的正确无误性，能够用于汽车控制系统、飞行控制系统，航空电子系统，核电的DCS等多个安全关键领域的嵌入式软件的设计和开发。

2022-04-27 digiproto

迪捷软件受邀出席中车软件质量提升交流会

随着信息技术的飞速发展，软件产品已应用到社会各个领域，软件质量就是软件产品的灵魂，软件质量的保障也因此变得尤为重要。10月22日，以“形式化验证”为主题...

2021-06-03 迪捷软件

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷