iSQE“数智时代 汇创未来”研讨会将于2024年1月12日在上海凯宾斯基酒店隆重启幕,届时线上将同步直播。
研讨会现场将邀请哪些大咖?有哪些精彩议程?现场有哪些不能错过的Tips?小编将为您逐一揭秘。
01 演讲阵容抢先看
张盟
克劳斯塔尔工业大学软件和系统工程所博士后研究员
演讲主题:信息物理系统的软件架构与系统质量管理:现状与未来发展
嘉宾简介:
德国慕尼黑工业大学工学硕士,克劳斯塔尔工业大学工业大学工学博士。现任德国克劳斯塔尔工业大学软件与系统工程研究所博士后研究员、可靠及自主信息物理系统研究组组长,主要从事软件系统及系统工程方向包含人工智能、智能化控制、大型分布式系统特别是自动驾驶安全方向的系统整体架构及内部组件、算法设计的研发、管理和咨询工作。同时也是国际软件架构认证委员会(iSAQB®)会员及高校工作组成员、 iSAQB®基础级认证讲师。曾在各类国际科研及教育会议发表近二十篇科研论文并担任演讲及审稿人,出版个人英文专著一本,中文译著一本(2024年出版)。同时兼任德诚(无锡)教育科技有限公司创始人兼CEO,主要从事系统架构方向特别是汽车及周边相关各类软件系统的咨询和研发以及 iSAQB®体系相关的软件架构培训工作。
演讲简介:
随着社会发展的需要和技术力量的革新,各类软件系统的复杂度愈发增高,特别是能够处理复杂运算任务并通过与物理世界发生交互来实现既定功能的嵌入式软件密集型系统,例如广泛应用于汽车、轨道交通及航空领域中的自动化智能控制系统。
伴随着技术的发展以及系统复杂度的持续增高,此类系统逐渐演变为信息物理系统,并逐渐呈现出网联化、分布式、开放式、自主化以及系统异质化(传统软件工程和基于数据的人工智能模型训练相结合)的特征。相应的,也对于这类系统的设计开发方法、技术及标准提出了挑战。以汽车无人驾驶为例,对于此类无人驾驶系统,因为系统设计开发前的相应需求,特别是与系统安全相关的需求无法完整提取,传统的V开发模型遇到了瓶颈,进而推动了迭代式开发流程的应用,并相应地也对流程中相关步骤及自动或半自动化工具链提出了要求,例如系统设计时的形式化验证及开发完成后测试和验证过程中的实时监控。
应对这一形势,在系统的软件架构设计中,也应做出相应考量,例如将可形式化验证的系统部分与不可形式化验证的系统部分分开,从而达到能够有计划的对于系统安全进行有效管理。针对软件系统架构的设计和开发,iSAQB®作为全球领先的软件架构专业团体,致力于推广软件架构的推广,并提出了相应的培训和认证体系。该体系计划于明年起,正式在大中华区进行推广,关于这个体系的一些相关介绍也会在演讲中提及。
01 线下参会报名方式
微信识别上方二维码即可进行线下报名。
线下名额有限,小伙伴可先报名。
工作人员收到您的报名信息后,将会联系您参会事宜。
02 线上直播观看指南
2024 iSQE研讨会将在线上同步播出
微信预约线上直播,精彩内容不容错过
03 日程安排