软件学报

作者：王小齐，陈小红，金芝，顾斌，綦艳霞

单位：王小齐，上海高可信计算重点实验室(华东师范大学), 上海 20006211,陈小红，上海高可信计算重点实验室(华东师范大学), 上海 20006202,金芝，高可信软件技术教育部重点实验室(北京大学), 北京 100871;北京大学 计算机学院, 北京 10087103,顾斌，北京控制工程研究所, 北京 10019004,綦艳霞，北京控制工程研究所, 北京 10019005

关键词：嵌入式系统;需求分析;需求解耦;问题投影;软件需求

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

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

来源：2024年第12期

《软件学报》期刊编辑部

查看软件学报杂志2024年第12期