| 本文已被：浏览 1790次 下载 5059次 |
码上扫一扫！ |
|
|
| 基于投影的嵌入式系统需求分析方法 |
|
王小齐1, 陈小红1, 金芝2,3, 顾斌4, 綦艳霞4
|
|
1.上海高可信计算重点实验室(华东师范大学), 上海 200062;2.高可信软件技术教育部重点实验室(北京大学), 北京 100871;3.北京大学 计算机学院, 北京 100871;4.北京控制工程研究所, 北京 100190
|
|
| 摘要: |
| 嵌入式系统正变得越来越复杂, 其软件系统的需求分析成为嵌入式系统开发的瓶颈问题. 设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征, 要求需求分析方法能根据所依赖的设备进行有效的需求解耦. 从基于环境建模的需求工程思想出发, 针对嵌入式软件系统的特征, 提出一种基于投影的从系统需求到软件需求的分析方法, 帮助需求工程师对需求进行有效解耦. 首先总结嵌入式软件系统的系统需求与软件需求描述, 基于交互环境特性定义嵌入式软件系统的需求解耦策略, 并设计从系统需求到软件需求的规约过程. 在航天器太阳搜索系统进行实际案例研究, 并通过耦合度与内聚性两个指标对5个代表性案例场景进行量化评估, 展示所提方法的有效性. |
| 关键词: 嵌入式系统 需求分析 需求解耦 问题投影 软件需求 |
| DOI：10.13328/j.cnki.jos.007081 |
| 分类号: |
| 基金项目:国家自然科学基金(62192731, 62272166, 62192730) |
|
| Projection-based Requirements Analysis Approach for Embedded Systems |
|
WANG Xiao-Qi1, CHEN Xiao-Hong1, JIN Zhi2,3, GU Bin4, QI Yan-Xia4
|
|
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 University, Beijing 100871, China;4.Beijing Institute of Control Engineering, Beijing 100190, China
|
| Abstract: |
| Embedded systems are becoming increasingly complex, and the requirements analysis of their software systems has become a bottleneck in embedded system development. Device dependency and interleaving execution logic are typical characteristics of embedded software systems, necessitating effective requirement analysis methods to decouple the requirements based on device dependencies. Starting from the idea of environment-based modeling in requirement engineering, this study proposes a projection-based requirement analysis approach from system requirements to software requirements for embedded software systems, helping requirement engineers to effectively decouple the requirements. The study first summarizes the system requirement and software requirement descriptions of embedded software systems, defines the requirement decoupling strategies of embedded software systems based on interactive environment characteristics, and designs the specification process from system requirements to software requirements. A real case study is carried out in the spacecraft sun search system, and five representative case scenarios are quantitatively evaluated through two metrics of coupling and cohesion, which demonstrate the effectiveness of the proposed approach. |
| Key words: embedded system requirement analysis requirement decoupling problem projection software requirement |
