ChinaSoft 论坛巡礼 | 软件智能合成理论与方法

?  +

+

论坛巡礼

论坛名称：软件智能合成理论与方法

时间: 2022年11月25日下午14:00-18:00

论坛简介：

       随着信息技术的快速发展，软件在国民经济各个领域发挥的作用越来越重要。面对软件需求日益多样、功能日趋复杂、规模持续提升的现状，迫切需要探索新的软件自动化开发模式和方法，以应对未来的软件发展需求。近年来人工智能技术快速发展，融合人工智能技术的软件智能合成，已成为一种备受关注的软件自动化技术。软件智能合成是指在传统的软件合成技术基础上，采用机器学习等人工智能技术，利用已有的大量代码知识自动合成满足用户意图的软件。人工智能为解决自动化软件开发提供了新契机，并在软件智能合成中取得了一定进展，但也带来了新的挑战。为推动软件自动化理论与方法创新，本论坛围绕软件智能合成理论与方法，聚焦提高合成效率、改善自动生成软件质量等核心问题，讨论国内外在解决软件智能合成的挑战过程中所取得的理论、技术或实验方面具有创新性、突破性的高水平研究成果，并探讨其在产业界的应用。

日程安排

Schedule

詹乃军

中国科学院软件研究所研究员、博士生导师、国家杰出青年科学基金获得者

    南京大学数学学士、计算机硕士，中国科学院软件研究所博士。研究领域为形式化方法，实时、嵌入式、混成系统，程序验证等。任《Formal Aspects of Computing》、《J. of Logical and Algebraic Methods in Programming》、《软件学 》、《电子学 》等期刊编委，国际会议MEMOCODE和SETTA的指导委员会委员，多个国际会议程序委员会共同主席（如FM 2021）和著名国际会议程序委员会委员（如CAV、RTSS、HSCC、ICCPS、EMSOFT等）；在著名国际会议和杂志发表论文100多篇，出版专著2部，编著4部。

沈博

西北工业大学计算机学院副教授

    2017年于西北工业大学获得博士学位，2017年至2018年于普林斯顿大学从事博士后研究。主要研究领域为人机物融合系统建模与分析、智能系统验证与评价、嵌入式软件智能合成等方面，在相关领域国内外著名会议和期刊发表论文20余篇，申请专利、软著10余项。主持国家自然基金、国家重点研发计划子课题等项目7项，担任SSCPS 21、22主席及多个国际会议和期刊评审人。

董威

国防科技大学计算机学院教授、博士生导师

主要研究方向为高可信软件技术、智能化软件开发方法，中国计算机学会形式化方法专委会秘书长。入选教育部新世纪优秀人才支持计划，曾获中国计算机学会首届NASAC青年软件创新奖、霍英东基金会高校青年教师奖等。先后主持国家自然科学基金重大项目课题、国家863和973课题、国防领域课题十余项，发表学术论文70余篇，出版国家级规划教材两部，相关成果应用于航空航天、装备控制、自主基础软件等关键领域。

告题目：

面向自主协同系统的软件智能合成

告摘要：

    随着人机物融合系统和泛在软件的迅速发展，如何自动、高效地生成满足任务要求的自主系统控制程序具有重要研究与应用价值，但也具有非常高的难度，尤其是对于需要协同的多自主系统更具有挑战性。该 告对我们近来自主系统控制程序的自动生成与安全确保一些工作进行了介绍，并对人机物融合场景中自主协同系统的软件智能合成关键技术发展进行探讨。

李晓锋

研究员、北京控制工程研究所软件中心副主任

航天五院软件专家，CCF软件工程专委执行委员、嵌入式系统专委执行委员。主要研究领域：可信软件、自适应软件演化、软件自动化等。长期从事星载嵌入式软件开发和相关研究工作，作为项目负责人，完成了深空探测系列、星 星座等多项国家航天重大工程的软件研制，先后主持和参加了10余个预研项目，获军队科技进步奖1项、国际发明展金奖2项，发表论文30余篇，获得专利40余项。

告题目：

空间飞行器控制软件在轨自适应演化框架及关键技术

告摘要：

    软件自适应演化是提升空间飞行器智能自主水平及在轨稳定运行能力的有效途径,也是当前软件工程领域的研究热点. 告首先概述空间飞行器软件自适应演化研究的现状和存在的问题;在此基础上,针对空间飞行器在轨运行环境开放、宿主计算资源受限和飞行任务实时响应等特点,提出了一种基于知识制导的可信自适应控制软件演化框架（MAPE-KV，,Monitor-Analyze-Plan-Execute over Knowledge and Verification）,并阐述在系统模型建立、调整策略自动生成以及在线实时验证三方面需要解决的关键技术;最后,对软件自适应演化技术未来的发展方向进行展望。