2023年11月24日，为期3个月的先进装备软件高安全、高可靠、智能化验证技术系列研讨会在成都圆满收官。迪捷软件董事长康烁作为研讨会特邀专家，在西安、上海、成都站进行了演讲分享。

以航空航天、船舶、电力电子、汽车、医疗为代表的先进装备软件发展迅速，装备软件的安全性，可靠性和智能化要求达到了新的高度，相关技术也面临着新的挑战。

随着软件系统不断复杂，产生的数据不断增多，智能化程度不断加深，如何确保软件的安全性与可靠性成为热点话题。同时，AI技术的进步，在装备中应用的逐渐增多，也给智能化系统的验证及利用智能技术进行验证，提出了新的课题。

▲先进装备软件高安全、高可靠、智能化验证技术研讨会会议背景

大会演讲

迪捷软件董事长康烁在研讨会中作了关于“基于数字样机背景下的嵌入式全数字实时仿真的现状和发展机遇”的演讲报告，报告从“数字孪生概念、收益等现状”谈起，引入了嵌入式软件开发面临的挑战和仿真必要性，提出基于天目全数字实时仿真软件SkyEye的芯片级仿真解决方案并进行了详细解读和案例分享，赢得了与会嘉宾与现场同行的一致好评与高度认可。

了解迪捷软件

迪捷软件成立于2013年，专注于安全关键领域数字化转型，遵循中立开放的商业理念，致力于核心工业软件国产化研究，攻关【卡脖子】技术，为安全关键领域提供嵌入式DevOps、MBSE和数字装备产品及解决方案，以构建全生命周期的数字孪生系统。

创始团队和核心技术团队均来自清华大学计算机系的系统软件和软件工程研究所，在嵌入式虚拟化、形式化证明和符号执行等领域处于国内领先地位，发起的开源项目有SkyEye，L2C，Android_S2E等，俱在国内外有较高知名度。

经历近20年的持续深耕，迪捷软件已在我国C919、飞机发动机、载人航天、火星探测器以及核电站、船舶、汽车、轨交等领域有了深厚的积累，为安全关键领域与汽车电子领域软件开发和测试时硬件环境搭建成本高、资源调度难、研发周期长等问题提供了完整的解决方案，填补了国内嵌入式虚拟仿真领域空白。

未来，迪捷软件将继续夯实产品自主化核心技术，构建多元化的生态合作系统，帮助用户切实提升软件开发质量与效率，护航安全关键领域与汽车电子领域高端装备的不断发展。