中国空间科学技术

中国空间科学技术 ›› 2022, Vol. 42 ›› Issue (4): 1-7.doi: 10.16708/j.cnki.1000-758X.2022.0046

• 论文 •    下一篇

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

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

  1. 1.中国空间技术研究院,北京 100094;
    2.空间智能控制技术国家级重点实验室,北京 100094;
    3.北京控制工程研究所,北京 100190;
    4.西安电子科技大学 计算机科学与技术学院,西安 710071;
    5.北京大学 计算机学院,北京 100871;
    6.中国科学院 软件研究所 天基综合信息系统重点实验室,北京 100190;
    7.西北工业大学 计算机学院,西安 710072
  • 出版日期:2022-08-25 发布日期:2022-08-09

Intelligent program synthesis framework and key scientific problems for embedded software

YANGMengfei, GUBin, DUANZhenhua, JINZhi, ZHANNaijun, DONGYunwei,   

  1. 1.ChinaAcademyofSpaceTechnology,Beijing100094,China;
    2.National Laboratoryof SpaceInteligent Control,Beijing100094,China;
    3.Beijing Institute of Control Enginering,Beijing 100190,China;
    4.Schoolof ComputerScienceand Technology,Xidian University,Xi'an710071,China;
    5.SchoolofComputerScience,Peking University,Beijing100871,China;
    6.Science  TechnologyonIntegratedInformationSystem Laboratory,InstituteofSoftware,ChineseAcademyof Sciences,Beijing100190,China;
    7.SchoolofComputerScience,NorthwesternPolytechnicalUniversity,Xi'an710072,China
  • Published:2022-08-25 Online:2022-08-09

PDF (PC)

327

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

关键词: 嵌入式软件, 程序合成, 软件IP, 软件需求, 人工智能

Abstract: Program synthesis is an effective way to improve the efficiency of software development and the quality of software，and it is one of the most challenging problems in computer science.Firstly，the research status and existing problems of program synthesis methods were reviewed.Secondly，the concept of software IP（intellectual property）and an embedded software intelligent synthesis development method based on software IP（IP based embedded software intelligent synthesis，IPESIS）with its framework were proposed.Finally，the key scientific problems and main research contents that IPESIS needs to solve were discussed.IPESIS describes software requirement at a higher level of abstraction by defining the domain requirement description language，reduces the program search space with software IP as the granularity，and uses machine learning and other artificial intelligence technologies to automatically synthesize programs.It is expected to break through the limitations of existing methods，and then realize the transition of embedded software development from manual programming to software IP research and development plus intelligent synthesis based on software IP.

Key words: embeddedsoftware, programsynthesis, softwareIP, requirementspecification, artificialinteligence