2023年12月1日下午,2023年度CCF中国软件大会“高可信嵌入式软件智能化开发与测试”论坛成功召开。
✦ ✦
本次论坛由轩宇信息总经理江云松研究员致辞,由航天502所顾斌总师与轩宇信息副总经理陈睿研究员主持。论坛在上海国际会议中心5F会议室举行,邀请了来自学术界和工业界的9位专家学者作报告,聚焦高可信嵌入式软件智能化工程理论的最新研究进展和工业问题,加强学术界与工业界合作,研讨目前学术界的研究趋势、工业界的应用成果、主要问题和挑战等。
此次论坛吸引了近百名来自各界相关领域专家、师生和一线从业人员的广泛参与,论坛会场座无虚席,获得了较高的认可度和好评。
论坛第一阶段聚焦高可信嵌入式软件智能合成方法与工具研究。来自华东师范大学的陈小红副教授作了题为“基于软件IP的嵌入式软件需求描述语言”的报告,介绍了项目组依托重大项目所作的近期工作,包括嵌