摘要

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

全文