首页|嵌入式软件智能合成框架及关键科学问题

嵌入式软件智能合成框架及关键科学问题

扫码查看
程序合成是提高软件开发效率和质量的有效途径,也是计算机科学重要的前沿方向之一.首先,概述了程序合成方法的国内外研究现状及其存在的问题.在此基础上,提出了软件知识产权(intellectual property,IP)的概念和一种基于软件IP的嵌入式软件智能合成开发模式(IP-based embedded software intelligent synthesis,IPESIS)及其框架.最后,阐述了IPESIS需要解决的关键科学问题和主要研究内容.IPESIS通过定义领域需求描述语言,在更高的抽象层次上对目标软件进行刻画,以软件IP为粒度缩小程序搜索空间,采用机器学习等人工智能技术自动合成程序,有望突破现有方法的局限,进而实现嵌入式软件开发从手工编程模式到软件IP研发和基于软件IP的智能合成模式的转变.
Intelligent program synthesis framework and key scientific problems for embedded software

杨孟飞、顾斌、段振华、金芝、詹乃军、董云卫、田聪、李戈、董晓刚、李晓锋

展开 >

中国空间技术研究院,北京 100094

空间智能控制技术国家级重点实验室,北京 100094

北京控制工程研究所,北京 100190

西安电子科技大学 计算机科学与技术学院,西安 710071

北京大学 计算机学院,北京 100871

中国科学院 软件研究所 天基综合信息系统重点实验室,北京 100190

西北工业大学 计算机学院,西安 710072

展开 >

嵌入式软件 程序合成 软件IP 软件需求 人工智能

国家自然科学基金重大项目

62192730:62192731~62192735

2022

中国空间科学技术
中国空间技术研究院

中国空间科学技术

CSTPCDCSCD北大核心
影响因子:0.404
ISSN:1000-758X
年,卷(期):2022.42(4)
  • 4
  • 1