2023年12月1日下午,2023年度CCF中国软件大会“高可信嵌入式软件智能化开发与测试”论坛成功召开。

本次论坛由轩宇信息总经理江云松研究员致辞,由航天502所顾斌总师与轩宇信息副总经理陈睿研究员主持。论坛在上海国际会议中心5F会议室举行,邀请了来自学术界和工业界的9位专家学者作报告,聚焦高可信嵌入式软件智能化工程理论的最新研究进展和工业问题,加强学术界与工业界合作,研讨目前学术界的研究趋势、工业界的应用成果、主要问题和挑战等。

此次论坛吸引了近百名来自各界相关领域专家、师生和一线从业人员的广泛参与,论坛会场座无虚席,获得了较高的认可度和好评。

论坛第一阶段聚焦高可信嵌入式软件智能合成方法与工具研究。来自华东师范大学的陈小红副教授作了题为“基于软件IP的嵌入式软件需求描述语言”的报告,介绍了项目组依托重大项目所作的近期工作,包括嵌入式软件多维需求信息的自动提取方法,需求问题空间解耦和综合分析方法,以及从需求分析结果到基于软件IP需求描述语言的自动转换方法。

接下来,中科院软件所的王淑灵副研究员作了题为“面向嵌入式系统的软件IP知识建模与构造”的报告,从不同的使用关注点出发,介绍了软件IP的各种视图并展示了软件IP工具以及知识库等相关工作。

然后,西北工业大学的董云卫教授作了题为“面向控制软件合成的软件架构定义语言”的报告,结合航天器控制软件智能合成案例应用研究,介绍了语言定义的软件模型类型、实现的语义以及模型组合与精化的模型语法范式。

西安电子科技大学的马智博士作了题为“嵌入式软件合成过程及产品的质量保障”的报告,介绍了面向航天嵌入式软件的形式化性质挖掘技术,包括领域内规范化需求建模方法、形式化性质自动挖掘框架并展望了形式化方法在航天领域的应用前景。

最后,航天502所的李晓锋研究员作了题为“嵌入式软件智能合成验证与示范应用”的报告,概述了航天器嵌入式软件研制现状和存在的问题,并对软件智能合成技术未来的发展方向进行了展望。

论坛第二阶段聚焦高可信软件分析测试方向。北京大学的孙猛教授作了题为“深度神经网络的语义鲁棒性”的报告介绍了语义扰动和局部语义鲁棒性的形式化定义,以及一种基于统计的用于验证神经网络对于一般语义扰动的局部鲁棒性的方法。

接下来,中科院软件所的蔡彦研究员作了题为“基于真实事故数据集的自动驾驶场景重建”的报告,介绍了一种自动驾驶场景恢复及自动驾驶原型测试的方法和系统,能够全面的、跨系统的、高可扩展性的完成场景恢复和自动驾驶原型的测试。

然后,航天502所轩宇信息的陈睿研究员作了题为“安全攸关航天器智能软件的测试”的报告,以我国某探测器智能软件为背景,探讨了我国航天器智能软件测试面临的需求和科学挑战,并对近期团队开展的研究和实践进展进行了介绍。

最后,上海工业控制安全创新科技有限公司的冯劲草博士作了题为“基于嵌入式系统模型一致性分析与验证”的报告,介绍了基于领域特征的需求建模语言和相应的系统性建模方法,以及相应的软件支撑工具,能够解决分析过程自动化和适应真实工业项目的问题。

声明:本文来自CodeWisdom,版权归作者所有。文章内容仅代表作者独立观点,不代表安全内参立场,转载目的在于传递更多信息。如有侵权,请联系 anquanneican@163.com。