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

软件学报

ISSN

1000-9825,

CODEN

RUXUEWE-mail:

jos@

2025,36(1):27−46

[doi:

10.13328/ki.jos.007157]

[CSTR:

32375.14.jos.007157]

©中国科学院软件研究所版权所有.Tel:

+86-10

*

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

112,3

陈小红,

刘少彬,

金

芝

1(上海市高可信计算重点实验室(华东师范大学),

上海

200062)

2(高可信软件技术教育部重点实验室(北京大学),

北京

100871)

3(北京大学

计算机学院,

北京

100871)

通信作者:

金芝,

E-mail:

zhijin@

摘要:

随着嵌入式系统的广泛应用,

其需求正变得越来越复杂,

需求分析成为嵌入式系统开发的关键阶段,

如何

准确地建模和描述需求成为首要问题.

系统地调研嵌入式系统的需求描述,

并进行全面的比较分析,

以便更深入地

理解嵌入式系统需求的核心关注点.

首先采用系统化文献综述方法,

对1979年1月–2023年11月间发表的相关文

献进行识别、筛选、汇总和分析.

通过自动检索和滚雪球等检索过程,

筛选出150篇与主题密切相关的文献,

力求

文献综述的全面性.

其次,

从需求描述关注点、需求描述维度、需求分析要素等方面,

分析现有嵌入式需求描述语

言的表达能力.

最后,

总结现有嵌入式系统软件需求描述所面临的挑战,

并针对嵌入式软件智能合成任务,

提出对

嵌入式系统需求描述方法表达能力的要求.

关键词:

嵌入式系统;

需求描述;

需求描述语言;

需求分析;

系统需求

中图法分类号:

TP311

中文引用格式:

陈小红,

刘少彬,

金芝.

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

软件学报,

2025,

36(1):

27–46.

/1000-9825/

7157.htm

英文引用格式:

Chen

XH,

Liu

SB,

Jin

Z.

Survey

on

Requirements

Description

of

Embedded

System.

Ruan

Jian

Xue

Bao/Journal

of

Software,

2025,

36(1):

27–46

(in

Chinese).

/1000-9825/7157.htm

SurveyonRequirementsDescriptionofEmbeddedSystem

CHEN

Xiao-Hong,

LIU

Shao-Bin,

JIN

Zhi112,3

1(Shanghai

Key

Laboratory

of

Trustworthy

Computing

(East

China

Normal

University),

Shanghai

200062,

China)

2(Key

Laboratory

of

High

Confidence

Software

Technologies

(Peking

University),

Ministry

of

Education,

Beijing

100871,

China)

3(School

of

Computer

Science,

Peking

University,

Beijing

100871,

China)

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

describ