精彩回顾|迪捷软件先进装备软件技术研讨会之行圆满收官

本文主要是介绍精彩回顾|迪捷软件先进装备软件技术研讨会之行圆满收官,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

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

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

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

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

大会演讲

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

了解迪捷软件

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

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

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

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

这篇关于精彩回顾|迪捷软件先进装备软件技术研讨会之行圆满收官的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/438228

相关文章

Ubuntu 怎么启用 Universe 和 Multiverse 软件源?

《Ubuntu怎么启用Universe和Multiverse软件源?》在Ubuntu中,软件源是用于获取和安装软件的服务器,通过设置和管理软件源,您可以确保系统能够从可靠的来源获取最新的软件... Ubuntu 是一款广受认可且声誉良好的开源操作系统,允许用户通过其庞大的软件包来定制和增强计算体验。这些软件

软件设计师备考——计算机系统

学习内容源自「软件设计师」 上午题 #1 计算机系统_哔哩哔哩_bilibili 目录 1.1.1 计算机系统硬件基本组成 1.1.2 中央处理单元 1.CPU 的功能 1)运算器 2)控制器 RISC && CISC 流水线控制 存储器  Cache 中断 输入输出IO控制方式 程序查询方式 中断驱动方式 直接存储器方式(DMA)  ​编辑 总线 ​编辑

【STM32】SPI通信-软件与硬件读写SPI

SPI通信-软件与硬件读写SPI 软件SPI一、SPI通信协议1、SPI通信2、硬件电路3、移位示意图4、SPI时序基本单元(1)开始通信和结束通信(2)模式0---用的最多(3)模式1(4)模式2(5)模式3 5、SPI时序(1)写使能(2)指定地址写(3)指定地址读 二、W25Q64模块介绍1、W25Q64简介2、硬件电路3、W25Q64框图4、Flash操作注意事项软件SPI读写W2

免费也能高质量!2024年免费录屏软件深度对比评测

我公司因为客户覆盖面广的原因经常会开远程会议,有时候说的内容比较广需要引用多份的数据,我记录起来有一定难度,所以一般都用录屏工具来记录会议内容。这次我们来一起探索有什么免费录屏工具可以提高我们的工作效率吧。 1.福晰录屏大师 链接直达:https://www.foxitsoftware.cn/REC/  录屏软件录屏功能就是本职,这款录屏工具在录屏模式上提供了多种选项,可以选择屏幕录制、窗口

HomeBank:开源免费的个人财务管理软件

在个人财务管理领域,找到一个既免费又开源的解决方案并非易事。HomeBank 正是这样一个项目,它不仅提供了强大的功能,还拥有一个活跃的社区,不断推动其发展和完善。 开源免费:HomeBank 是一个完全开源的项目,用户可以自由地使用、修改和分发。用户友好的界面:提供直观的图形用户界面,使得非技术用户也能轻松上手。数据导入支持:支持从 Quicken、Microsoft Money

PDF 软件如何帮助您编辑、转换和保护文件。

如何找到最好的 PDF 编辑器。 无论您是在为您的企业寻找更高效的 PDF 解决方案,还是尝试组织和编辑主文档,PDF 编辑器都可以在一个地方提供您需要的所有工具。市面上有很多 PDF 编辑器 — 在决定哪个最适合您时,请考虑这些因素。 1. 确定您的 PDF 文档软件需求。 不同的 PDF 文档软件程序可以具有不同的功能,因此在决定哪个是最适合您的 PDF 软件之前,请花点时间评估您的

Java基础回顾系列-第七天-高级编程之IO

Java基础回顾系列-第七天-高级编程之IO 文件操作字节流与字符流OutputStream字节输出流FileOutputStream InputStream字节输入流FileInputStream Writer字符输出流FileWriter Reader字符输入流字节流与字符流的区别转换流InputStreamReaderOutputStreamWriter 文件复制 字符编码内存操作流(

Java基础回顾系列-第五天-高级编程之API类库

Java基础回顾系列-第五天-高级编程之API类库 Java基础类库StringBufferStringBuilderStringCharSequence接口AutoCloseable接口RuntimeSystemCleaner对象克隆 数字操作类Math数学计算类Random随机数生成类BigInteger/BigDecimal大数字操作类 日期操作类DateSimpleDateForma

Java基础回顾系列-第三天-Lambda表达式

Java基础回顾系列-第三天-Lambda表达式 Lambda表达式方法引用引用静态方法引用实例化对象的方法引用特定类型的方法引用构造方法 内建函数式接口Function基础接口DoubleToIntFunction 类型转换接口Consumer消费型函数式接口Supplier供给型函数式接口Predicate断言型函数式接口 Stream API 该篇博文需重点了解:内建函数式

Java基础回顾系列-第二天-面向对象编程

面向对象编程 Java类核心开发结构面向对象封装继承多态 抽象类abstract接口interface抽象类与接口的区别深入分析类与对象内存分析 继承extends重写(Override)与重载(Overload)重写(Override)重载(Overload)重写与重载之间的区别总结 this关键字static关键字static变量static方法static代码块 代码块String类特