嵌入式系统的需求描述综述
Survey on Requirements Description of Embedded System
陈小红 1刘少彬 1金芝2
作者信息
- 1. 上海市高可信计算重点实验室(华东师范大学),上海 200062
- 2. 高可信软件技术教育部重点实验室(北京大学),北京 100871;北京大学计算机学院,北京 100871
- 折叠
摘要
随着嵌入式系统的广泛应用,其需求正变得越来越复杂,需求分析成为嵌入式系统开发的关键阶段,如何准确地建模和描述需求成为首要问题.系统地调研嵌入式系统的需求描述,并进行全面的比较分析,以便更深入地理解嵌入式系统需求的核心关注点.首先采用系统化文献综述方法,对 1979 年 1 月-2023 年 11 月间发表的相关文献进行识别、筛选、汇总和分析.通过自动检索和滚雪球等检索过程,筛选出 150 篇与主题密切相关的文献,力求文献综述的全面性.其次,从需求描述关注点、需求描述维度、需求分析要素等方面,分析现有嵌入式需求描述语言的表达能力.最后,总结现有嵌入式系统软件需求描述所面临的挑战,并针对嵌入式软件智能合成任务,提出对嵌入式系统需求描述方法表达能力的要求.
Abstract
As embedded systems are widely applied,their requirements are becoming increasingly complex,making requirements analysis a critical stage in embedded system development.How to correctly describe and model requirements has become a primary issue.This study systematically investigates the current requirements descriptions of embedded systems and conducts a comprehensive comparative analysis to deepen the understanding of the core concerns of embedded system requirements.The study first applies the systematic literature review method to identify,retrieve,summarize,and analyze the relevant literature published between January 1979 and November 2023.Through the automatic retrieval and snowball processes,150 papers closely related to the topic are finally selected for the comprehensiveness of the review.The study analyzes the existing capabilities of embedded requirements description languages from their description concerns,description contents,requirements analysis elements,etc.Finally,it summarizes the challenges to the current requirements descriptions.Moreover,aiming at the task of intelligent synthesis of embedded software,it puts forward the need for the expressive ability of embedded system requirement description languages.
关键词
嵌入式系统/需求描述/需求描述语言/需求分析/系统需求Key words
embedded system/requirements description/requirements description language/requirements analysis/system requirements引用本文复制引用
出版年
2025
NETL
NSTL
万方数据