嵌入式系统的需求描述综述

作     者：陈小红 刘少彬 金芝 CHEN Xiao-Hong;LIU Shao-Bin;JIN Zhi

作者机构：上海市高可信计算重点实验室(华东师范大学) 高可信软件技术教育部重点实验室(北京大学) 北京大学计算机学院 

出 版 物：《软件学报》 (Journal of Software)

年 卷 期：2025年第36卷第1期

页      面：27-46页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金(62192731 62272166 62192730) 

主　　题：嵌入式系统 需求描述 需求描述语言 需求分析 系统需求 

摘      要：随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点.首先采用系统化文献综述方法,对1979年1月–2023年11月间发表的相关文献进行识别、筛选、汇总和分析.通过自动检索和滚雪球等检索过程,筛选出150篇与主题密切相关的文献,力求文献综述的全面性.其次,从需求描述关注点、需求描述维度、需求分析要素等方面,分析现有嵌入式需求描述语言的表达能力.最后,总结现有嵌入式系统软件需求描述所面临的挑战,并针对嵌入式软件智能合成任务,提出对嵌入式系统需求描述方法表达能力的要求.