基于投影的嵌入式系统需求分析方法
作者:
作者单位:

作者简介:

王小齐(1998-), 男, 硕士生, 主要研究领域为嵌入式软件需求分析, 模型驱动开发. ;陈小红(1982-), 女, 博士, 副教授, CCF专业会员, 主要研究领域为需求工程, 基于知识的软件工程和形式化方法. ;金芝(1962-), 女, 博士, 教授, CCF会士, 主要研究领域为软件需求工程, 知识工程. ;顾斌(1968-), 男, 博士, 研究员, CCF高级会员, 主要研究领域为可信软件, 嵌入式系统, 计算机控制. ;綦艳霞(1973-), 女, 博士, 研究员, CCF专业会员, 主要研究领域为可信软件, 嵌入式系统, 计算机控制.

通讯作者:

金芝, E-mail: zhijin@pku.edu.cn;綦艳霞, E-mail: qiyanxia369@sina.com

中图分类号:

基金项目:

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


Projection-based Requirements Analysis Approach for Embedded Systems
Author:
Affiliation:

Fund Project:

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    嵌入式系统正变得越来越复杂, 其软件系统的需求分析成为嵌入式系统开发的瓶颈问题. 设备依赖性和执行逻辑的交织性是嵌入式软件系统的典型特征, 要求需求分析方法能根据所依赖的设备进行有效的需求解耦. 从基于环境建模的需求工程思想出发, 针对嵌入式软件系统的特征, 提出一种基于投影的从系统需求到软件需求的分析方法, 帮助需求工程师对需求进行有效解耦. 首先总结嵌入式软件系统的系统需求与软件需求描述, 基于交互环境特性定义嵌入式软件系统的需求解耦策略, 并设计从系统需求到软件需求的规约过程. 在航天器太阳搜索系统进行实际案例研究, 并通过耦合度与内聚性两个指标对5个代表性案例场景进行量化评估, 展示所提方法的有效性.

    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.

    参考文献
    相似文献
    引证文献
引用本文

王小齐,陈小红,金芝,顾斌,綦艳霞.基于投影的嵌入式系统需求分析方法.软件学报,2024,35(12):5397-5418

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2023-04-21
  • 最后修改日期:2023-07-20
  • 录用日期:
  • 在线发布日期: 2024-03-27
  • 出版日期: 2024-12-06
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号