Chinese Space Science and Technology ›› 0, Vol. ›› Issue (): 1-7.doi: 10.16708/j.cnki.1000-758X.2022.0046

    Next Articles

Intelligent program synthesis framework and key scientific problems for embedded software

YANGMengfei,GUBin,DUANZhenhua,JINZhi,ZHANNaijun,DONGYunwei,TIANCong,LIGe, DONG Xiaogang ,LIXiaofeng   

  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
  • Online:2022-08-09 Published:2022-08-09

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