航空-媒体中心-迪捷软件-关键领域·国内领先的嵌入式数字样机提供商

初探形式化方法基本原理

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

2022-08-01 digiproto

绍兴市越城区副区长侯宏伟一行赴迪捷软件走访考察

2022年6月21日下午，绍兴市越城区副区长侯宏伟、绍兴市越城区发展和改革局副局长刘伟赴迪捷软件走访考察。

2022-06-24 digiproto

【视频】SkyEye：奔“跑”吧！VxWorks

VxWorks操作系统是美国WindRiver风河公司设计开发的一款嵌入式实时操作系统。因其良好的可靠性和实时性，被广泛运用于军事、航空航天领域。例如卫星通讯、弹道制导和飞机导航等。

2022-06-07 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

SkyEye Q&A ——第一期

Q1.什么是SkyEye？A1.SkyEye，中文全称天目全数字实时仿真软件，是基于可视化建模的硬件行为级仿真平台，运用软件仿真技术，逼真地模拟出被测软件运行的物理环境。理想情况下，嵌入式软件的二进制可以不加修改直接运行于全数字实时仿真系统，且其运行的动态特性与真实环境一致。Q2.全数字实时仿真又是什么？A2.全数字实时仿真，指仿真的全过程可完全脱离原有的真实硬件环境完成。它不仅能够解决全物理和半

2022-04-13 digiproto

【视频】基于SkyEye仿真BM3803国产芯片

中央处理器（Central Processing Unit，简称CPU）作为计算机系统的运算和控制核心——如同大脑一样的存在，是计算机中最主要的部件之一。在计算机系统中，“大脑”的计算速度是一个重要指标。如今，CPU并不仅限于普通计算机，还应用于各种高端装备行业，如航空航天领域等。在该领域中使用的CPU是专门为特殊环境定制的，在保证高可靠性的前提下追求卓越性能。BM3803就是为满足该特殊环境下的国产芯片之一。

2022-04-01 digiproto

媒体中心

媒体中心

产品与解决方案

媒体中心

人才战略

关于迪捷