基于投影的嵌入式系统需求分析方法.pdfVIP

软件学报

ISSN

1000-9825,

CODEN

RUXUEWE-mail:

jos@

2024,35(12):5397−5418

[doi:

10.13328/ki.jos.007081]

[CSTR:

32375.14.jos.007081]

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

+86-10

*

基于投影的嵌入式系统需求分析方法

112,344

王小齐,

陈小红,

金

芝,

顾

斌,

綦艳霞

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

上海

200062)

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

北京

100871)

3(北京大学

计算机学院,

北京

100871)

4(北京控制工程研究所,

北京

100190)

通信作者:

金芝,

E-mail:

zhijin@;

綦艳霞,

E-mail:

qiyanxia369@

摘要:

嵌入式系统正变得越来越复杂,

其软件系统的需求分析成为嵌入式系统开发的瓶颈问题.

设备依赖性和执

行逻辑的交织性是嵌入式软件系统的典型特征,

要求需求分析方法能根据所依赖的设备进行有效的需求解耦.

从

基于环境建模的需求工程思想出发,

针对嵌入式软件系统的特征,

提出一种基于投影的从系统需求到软件需求的

分析方法,

帮助需求工程师对需求进行有效解耦.

首先总结嵌入式软件系统的系统需求与软件需求描述,

基于交互

环境特性定义嵌入式软件系统的需求解耦策略,

并设计从系统需求到软件需求的规约过程.

在航天器太阳有哪些信誉好的足球投注网站系

统进行实际案例研究,

并通过耦合度与内聚性两个指标对5个代表性案例场景进行量化评估,

展示所提方法的有

效性.

关键词:

嵌入式系统;

需求分析;

需求解耦;

问题投影;

软件需求

中图法分类号:

TP311

中文引用格式:

王小齐,

陈小红,

金芝,

顾斌,

綦艳霞.

基于投影的嵌入式系统需求分析方法.

软件学报,

2024,

35(12):

5397–5418.

/1000-9825/7081.htm

英文引用格式:

Wang

XQ,

Chen

XH,

Jin

Z,

Gu

B,

Qi

YX.

Projection-based

Requirements

Analysis

Approach

for

Embedded

Systems.

Ruan

Jian

Xue

Bao/Journal

of

Software,

2024,

35(12):

5397–5418

(in

Chinese).

/1000-9825/7081.htm

Projection-basedRequirementsAnalysisApproachforEmbeddedSystems

112,344

WANG

Xiao-Qi,

CHEN

Xiao-Hong,

JIN

Zhi,

GU

Bin,

QI

Yan-Xia

1(Shanghai

Key

Laboratory

of

Trustworthy

Computing

(East

China

Normal

University),

Shanghai

200062,

China)

2(Key

Lab

of

High

Confidence

Software

Technologies

(Peking

University),

Ministry

of

Education,

Beijing

100871,

China)

3(School

of

Computer

Science,

Peking

Univers